Code Annotation for Safe and Efficient Dynamic Object Resolution

• Published in: Electronic notes in theoretical computer science 2004-04, Vol.82 (2), p.362-376
• Main Authors: Hartmann, Andreas, Amme, Wolfram, von Ronne, Jeffery, Franz, Michael
• Format: Article
• Language: English
• ISSN: 1571-0661; 1571-0661
• DOI: 10.1016/S1571-0661(05)82597-6

The execution time of object oriented programs can be drastically reduced by transforming “non escaping” objects into a collection of its component scalar data fields. But for languages that support dynamic linking, this kind of optimization (which we call “object resolution”) can usually only be performed at runtime, when the entire program is available for analysis. In such cases, the resulting performance increases will be offset by the additional costs that arise during the analysis and restructuring phases. In this paper, we describe work in progress, which provides an annotation technique that reduces the runtime overhead required for performing object resolutions. Our method performs a partial static escape analysis of each class at compile-time and then annotates the intermediate representation of that class with information which the just-in-time (JIT) compiler can use for object resolution. We apply this technique to the safe TSA intermediate representation, producing a simple extension to safe TSA's type system that guarantees a safe and verifiable transmission of the annotated program.