Fast Escape Analysis for Region-based Memory Management - Centre of Innovation in Telecommunications and Integration of services Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Fast Escape Analysis for Region-based Memory Management

Résumé

We present an algorithm for escape analysis inspired by, but more precise than, the one proposed by Gay and Steensgaard [11]. The primary purpose of our algorithm is to produce useful information to allocate memory using a region-based memory manager. The algorithm combines intraprocedural variable-based and interprocedural points-to analyses. This is a work in progress towards achieving an application-oriented trade-off between precision and scalability. We illustrate the algorithm on several typical programming patterns, and show experimental results of a first prototype on a few benchmarks.
Fichier principal
Vignette du fichier
SYG-aiool05.pdf (208.85 Ko) Télécharger le fichier
SYG-aiool05-slides.pdf (596.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Dates et versions

inria-00602874 , version 1 (23-06-2011)

Identifiants

  • HAL Id : inria-00602874 , version 1

Citer

Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky. Fast Escape Analysis for Region-based Memory Management. 1st International Workshop on Abstract Interpretation of Object-Oriented Languages, 2005, Paris, France. ⟨inria-00602874⟩
190 Consultations
218 Téléchargements

Partager

Gmail Facebook X LinkedIn More