implementing escape analysis

Tue Feb 21 00:15:00 GMT 2006

>>>>> "David" == David Daney <ddaney@avtrex.com> writes:

David> Is is possible to do a conversion of a heap allocation to a stack 
David> allocation in a language independent manner in GCC?
We may need some additional attributes to tell GCC that various
functions are memory allocators. But we want this kind of thing for
other reasons as well.
For Java it is also interesting to do thread escape analysis, where
you omit locking if you can prove that an object does not escape a
thread. There's an IBM Jalapeno paper on this topic (both kinds of
escape analysis really).
Tom