Exploiting array manipulation habits to optimize garbage collection and type flow analysis

Abstract : A widespread practice to implement a flexible array is to consider the storage area into two parts: the used area which is already available for read/write operations and, the supply area, which is used in case of enlargement of the array. The main purpose of the supply area is to avoid as much as possible the reallocation of the whole storage area in case of enlargement. As the supply area is not used by the application, the main idea of the paper is to convey the information to the garbage collector, making it possible to avoid completely the marking of the supply area. We also present a simple method to analyze the types of objects which are stored in an array as well as the possible presence of null values within the array. This allows us to better specialize the work of the garbage collector when marking the used area, and also, by transitivity, to improve overall results for type analysis of all expressions of the source code. After introducing several abstract data types which represent the main arrays concerned by our technique (i.e. zero or variable indexing, circular arrays and hash maps), we measure its impact during the bootstrap of two compilers whose libraries are equipped with these abstract data types. We then measure, on various software products we have not written, the frequency of certain habits of manipulation of arrays, to assess the validity of our approach.
Type de document :
Article dans une revue
Software: Practice and Experience, Wiley, 2014, 18 p. 〈10.1002/spe.2300〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01116288
Contributeur : Dominique Colnet <>
Soumis le : vendredi 13 février 2015 - 08:33:24
Dernière modification le : mardi 25 octobre 2016 - 17:01:03

Identifiants

Collections

Citation

Dominique Colnet, Benoit Sonntag. Exploiting array manipulation habits to optimize garbage collection and type flow analysis. Software: Practice and Experience, Wiley, 2014, 18 p. 〈10.1002/spe.2300〉. 〈hal-01116288〉

Partager

Métriques

Consultations de la notice

157