Re: JIT optimization framework (was: Re: [Sablevm-user] bug report...)

[Etienne M. G. <eg...@j-...>]

Adrew,

Andrew Purtell wrote:
> "Etienne M. Gagnon" wrote:
> > Have you looked at the "Soot" framework
> > (http://www.sable.mcgill.ca/soot/)?  ...
> 
> Thanks!
> 
> And now I guess I know where the name "SableVM" comes from...

To tell you a little more about Soot.  Soot has not only scalar
optimizations, but also OO analyses/transformations.  It does things
like changing virtual method calls into static calls (invokevirtual ->
invokespecial), changing interface calls into virtual calls, it also
implements inlining (which is key for good optimization of OO code with
many small methods), etc.   Currently, Soot does .class -> .class
optimization.  You would think that Sun's HotSpot would not get any gain
from such a static optimizer, but you would be wrong (as we have
unexpectedly discovered); statically optimized class files were faster
on many vms and many platforms (Linux,WinNT,...).  You can give a look
at the CC'2000 paper on the Sable web page
(http://www.sable.mcgill.ca/), under publications.

OK.  That was it for the commercial;-)  As you are programming the
thing, you get to decide whatever tools you will to use:-)))

Etienne
-- 
----------------------------------------------------------------------
Etienne M. Gagnon, M.Sc.                     e-mail: eg...@j-...
Author of SableVM:                             http://www.sablevm.org/
----------------------------------------------------------------------