[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Question re. compilation of exceptions/monitors in Jimple (fwd)
Hello
Jean-Pierre,
I see
that you are using the StaticInliner. I have been having problems with the VTA
and CHA. In fact I found that JDK 1.4.0 class library trips up VTA and
CHA (and therefore dependent analysis such as StaticInliner), though I
doubt we are having the same problem. JDK 1.4.0 class library would cause
CHA to throw an exception and quit, where as in your case Soot is not quitting
but producing incorrect optimised code.
I have found resolveXxxDispatch(), VTA
and CHA somewhat buggy and incorporating some questionable
design/assumptions. For example the method reachability analysis is coded
with a default fixed sets of entry points. This may produce incorrect
result for RTJ library. The VTA also has a VTANativeAdjuster which adjusts the
invoke graph based on the knowledge of native methods in the libraries.
Obviously the built-in VTANativeAdjuster is library dependent (on what
version of rt.jar, Sable people?) and may not appropriate for a RTJ
library.
I have
been cataloging a list of bugs/design issues in
resolveXxxDispatch(), CHA and VTA, which I am currently preparing in response to
Ondrej's email (I will post it tomorrow). My initial impression after doing a
first pass analysis is to avoid any whole program optimisation on production
systems until the bugs are fixed.
Regards,
Stephen Cheng
-----Original Message-----
From:
Jean-Pierre.Talpin@irisa.fr [mailto:Jean-Pierre.Talpin@irisa.fr]
Sent:
26 April 2002 09:59
To: Stephen Cheng
Cc: Feng QIAN;
soot-list@sable.mcgill.ca
Subject: Re: Question re. compilation of
exceptions/monitors in Jimple (fwd)
Hi
Stephen,
The command line was
java soot.Main MEE -J -W -O --app -p wjop.si
expansion-factor:50,max-container-size:50000,max-inlinee-size:200 -i
javax.realtime
Regards,
Jean-Pierre.
Stephen Cheng wrote:
Hello
Jean-Pierre,Could you please detail the
command-line options you have used to generate the Jimple file?
Thanks.Regards,Stephen