Incrementalized Pointer and Escape Analysis

Abstract : We present a new pointer and escape analysis. Instead of analyzing the whole program, the algorithm incrementally analyzes only those parts of the program that may deliver useful results. An analysis policy monitors the analysis results to direct the incremental investment of analysis resources to those parts of the program that offer the highest expected optimization return. Our experimental results show that almost all of the objects are allocated at a small number of allocation sites and that an incremental analysis of a small region of the program surrounding each site can deliver almost all of the benefit of a whole-program analysis. Our analysis policy is usually able to deliver this benefit at a fraction of the whole-program analysis cost.
Type de document :
Communication dans un congrès
PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Jun 2001, Snowbird, United States. 36 (5), pp.35--46, 2001, 〈10.1145/381694.378804〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00808284
Contributeur : Equipe Roma <>
Soumis le : dimanche 14 octobre 2018 - 22:05:35
Dernière modification le : lundi 15 octobre 2018 - 09:18:51

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Vivien, Martin Rinard. Incrementalized Pointer and Escape Analysis. PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Jun 2001, Snowbird, United States. 36 (5), pp.35--46, 2001, 〈10.1145/381694.378804〉. 〈hal-00808284〉

Partager

Métriques

Consultations de la notice

86

Téléchargements de fichiers

3