Our objective is to exploit a more accurate inter-procedural k-layer EA, which will guide the JIT-assisted GC (a bit like free-me [1]) or concurrency analysis.
Our EA is dependant on SSA, and a rough inter-procedural k-layer EA has been implemented ( by writing a optpass ). We need type propagation to obtain and analyze more related method. But we could not know how this kind of type propagation cost, and why jitrino implement inter-procedural analysis by inlining and not by cross-procedural infomation transfer. Another problem is there are many objects referenced by many container objects in applications. Do you have some good advices on analyzing such objects? [1] Samuel Z. Guyer, Kathryn S. McKinley, and Daniel Frampton. Free-Me: a static analysis for automatic individual object. In PLDI 2006, Ottawa, Ontario, Canada reclamation, 2006. ----- Original Message ----- From: "Mikhail Fursov" <[EMAIL PROTECTED]> To: <[email protected]> Sent: Tuesday, July 03, 2007 5:43 PM Subject: Re: [drlvm][jitrino]Are there any static type checking and type propagation? > On 7/3/07, clara <[EMAIL PROTECTED]> wrote: >> >> Thanks. >> >> We are exploiting an inter-procedural k-layer escape analysis, which are >> not dependent on inlining. So we will do some cross-procedure type >> propagation ourselves. :-) >> Could you give us some advices on it according to your experiences? >> >> > First of all you can use JavaBytecodeTranslator to produce HIR for the > methods you are interested to analyze. Drop this HIR (do not inline it) > after you checked the data you need. > > Could you describe your task and proposed solution in more details, so we > can think about more precise advices? > > -- > Mikhail Fursov >
