[Soot-list] Loop Finder: Identify Synchronized Block as Loops

[Kelvin Tian]

OK, sure. Here's a simple test example. To see the result, just use the
LoopFinder to transform it.  Thanks for the consistent help.


class TestLoop {

    public TestLoop() throws Exception {

        synchronized (System.out) {
            ;
        }
        synchronized (System.err) {
            ;
        }

    }


    public static void main(String[] args) {

        int loopcnt = 0;

        for (int i = 0; i < 5; i++) {
            int j=0;

            while(j<3){
                loopcnt++;
                j++;
            }
        }
    }

}



--
Best regards,
Kelvin



On Tue, Aug 18, 2009 at 2:27 AM, Eric Bodden <
bodden at st.informatik.tu-darmstadt.de> wrote:

> Hi Kelvin.
>
> This sounds like a bug to me. There is certainly no transformation
> into loops as you describe it.
>
> Can you please send a minimal example to the list where this occurs?
>
> Eric
>
> 2009/8/17 Kelvin Tian <kevinn.tian at gmail.com>:
> > Hi,
> >
> >      I need to collect some profiling information based on loops, and I
> > reused the LoopFinder class to find loops, but when I tried to collect
> some
> > information from the Dacapo benchmark, I found a lot of problems. One
> major
> > problem is that LoopFinder always took synchronized block as multiple
> loops
> > (normally 3 loops from one synchronized block).  Is this a possible bug
> or
> > Synchronized block is translated to be some kind of loops in Soot?
> >
> >
> > --
> > Best regards,
> > Kelvin
> >
> >
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >
> >
>
>
>
> --
> Eric Bodden
> Software Technology Group
> Technical University Darmstadt, Germany
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090818/0c9c9405/attachment.html