[Truffle] who's in charge of escape-analysis?

[Thomas Wuerthinger]

Miguel,

The escape analysis currently only works on the Java level without additional "hints" via the Truffle API. The main possible hint we've been thinking about so far is to tell the compiler that it does not have to provide correct results for the "==" operator for instances of a specific class. This would be a first step towards value types and open more opportunities for the partial escape analysis of those instances.

I'm not familiar with the concept of "ownership type systems", but it sounds like something that would be expressed as part of one particular Truffle language implementation.

- thomas

On Aug 22, 2013, at 11:04 AM, Garcia Gutierrez Miguel Alfredo <miguelalfredo.garcia at epfl.ch> wrote:

> 
> In particular, whether the Truffle "runtime" tracks any additional "ownership information" (as in "ownership type systems") is tracked as part of Truffle nodes.
> 
> (with that information "reified" as runtime values, usages beyond those supported by Graal's EA are conceivable, for example parallelism)
> 
> 
> Miguel
> http://magarciaepfl.github.io/scala/
> 
> 
> --
> Miguel Garcia
> Swiss Federal Institute of Technology
> EPFL - IC - LAMP1 - INR 328 - Station 14
> CH-1015 Lausanne - Switzerland
> http://lamp.epfl.ch/~magarcia/