harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "clara" <clarazh...@gmail.com>
Subject Re: [drlvm][jitrino]Are there any static type checking and type propagation?
Date Wed, 04 Jul 2007 01:48:25 GMT
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" <mike.fursov@gmail.com>
To: <dev@harmony.apache.org>
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 <clarazhang@gmail.com> 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
>
Mime
View raw message