Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Dominique Colnet Connect in order to contact the contributor
Submitted on : Saturday, July 14, 2012 - 11:56:55 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Monday, October 15, 2012 - 2:20:16 AM


Files produced by the author(s)


  • HAL Id : hal-00714875, version 1



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⟩



Record views


Files downloads