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.
Domaines
Théorie et langage formel [cs.FL]
Fichier principal
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 |
---|