Analyse simple de types dans les tableaux et optimisation du ramasse-miettes.

Dominique Colnet 1, * Benoit Sonntag 2
* Corresponding author
1 KIWI - Knowledge Information and Web Intelligence
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This article starts with the presentation of a simple technique, using type flow analysis and filling up order, to predict the {\it{}content} of arrays. Applied first on low-level arrays indexed from 0, our technique is then extended to deal with higher level data structures using arrays, like variable index arrays as well as circular arrays and hash-maps. The main aim of our technique is to allow the propagation of the type flow information through array read-write expressions, thus opening the last gate to a global type flow analysis. Beside the improvement of type prediction useful for dynamic binding and type security of object-oriented languages, our technique makes it possible to optimize memory management. Indeed, thanks to the filling up order, the garbage collector (GC) only inspects the used part of arrays, avoiding collection of unused objects referenced by the supply part of arrays. Furthermore, the supply part of arrays does not even require initialization or cleaning after use. Measurements we present show the global improvement on type flow analysis and the real gain during the mark and sweep of arrays.
Document type :
Conference papers
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-00714875
Contributor : Dominique Colnet <>
Submitted on : Saturday, July 14, 2012 - 11:56:55 AM
Last modification on : Tuesday, April 24, 2018 - 1:35:22 PM
Long-term archiving on : Monday, October 15, 2012 - 2:20:16 AM

File

ArrayTypeFlow-FR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00714875, version 1

Collections

Citation

Dominique Colnet, Benoit Sonntag. Analyse simple de types dans les tableaux et optimisation du ramasse-miettes.. Conférence en IngénieriE du Logiciel - CIEL 2012, Jun 2012, Rennes, France. pp.1-15. ⟨hal-00714875⟩

Share

Metrics

Record views

247

Files downloads

86