Escape analysis of object-oriented languages determines, for every program point, the creation points of the objects reachable from the variables. This information is useful to stack allocate dynamically created objects and to reduce the overhead of synchronisation in Java-like languages. We formalise the escape property E as a property of concrete states. We define the optimal abstract operations induced by E for a framework of analysis known as watchpoint semantics. The implementation of E inside that framework is a formally correct abstract semantics (analyser) for escape analysis. We claim that E is the basis for more refined and precise domains for escape analysis.

A Foundation of Escape Analysis

SPOTO, Nicola Fausto
2002

Abstract

Escape analysis of object-oriented languages determines, for every program point, the creation points of the objects reachable from the variables. This information is useful to stack allocate dynamically created objects and to reduce the overhead of synchronisation in Java-like languages. We formalise the escape property E as a property of concrete states. We define the optimal abstract operations induced by E for a framework of analysis known as watchpoint semantics. The implementation of E inside that framework is a formally correct abstract semantics (analyser) for escape analysis. We claim that E is the basis for more refined and precise domains for escape analysis.
abstract interpretation; escape analysis; object-oriented language
File in questo prodotto:
File Dimensione Formato  
FoundationOfEscapeAnalysis.pdf

solo utenti autorizzati

Tipologia: Versione dell'editore
Licenza: Accesso ristretto
Dimensione 452.56 kB
Formato Adobe PDF
452.56 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/34
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact