Fast Escape Analysis for Region-based Memory Management

Guillaume Salagnac 1 Sergio Yovine 2 Diego Garbervetsky 3
1 ARES - Architectures of networks of services
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : 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.
Type de document :
Communication dans un congrès
1st International Workshop on Abstract Interpretation of Object-Oriented Languages, 2005, Paris, France. 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00602874
Contributeur : Guillaume Salagnac <>
Soumis le : jeudi 23 juin 2011 - 15:46:55
Dernière modification le : mercredi 11 avril 2018 - 01:55:25
Document(s) archivé(s) le : samedi 24 septembre 2011 - 02:26:01

Identifiants

  • HAL Id : inria-00602874, version 1

Collections

Citation

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. 2005. 〈inria-00602874〉

Partager

Métriques

Consultations de la notice

252

Téléchargements de fichiers

188