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

Dominique Colnet 1, * Benoit Sonntag 2
* Auteur correspondant
1 KIWI - Knowledge Information and Web Intelligence
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cet article commence en présentant une technique très simple, par analyse de flots de types et ordre de remplissage imposé, permettant de prédire le {\it{}contenu} des tableaux. D'abord présentée pour les tableaux primitifs indexés à partir de 0, notre technique est ensuite étendue pour prendre en compte les autres structures de données de plus haut niveau: tableaux à indexation variable, tableaux circulaires et tables de hachage. Le résultat essentiel consiste à pouvoir faire suivre l'information de flots de types déjà collectée pour le reste du code source au travers des expressions qui manipulent des tableaux, permettant ainsi de procéder à une analyse de flots de types vraiment globale. En plus de l'amélioration de la prédiction de types utile pour la liaison dynamique et la sécurité des langages à objets, notre technique permet d'optimiser la gestion mémoire. En effet, grâce à la technique de remplissage utilisée, le ramasse-miettes (GC) n'inspecte que les zones utiles des tableaux en évitant de collecter des objets inaccessibles, référencés par les zones de réserve. Ces zones de réserve n'ont par ailleurs nullement besoin d'être initialisées avant utilisation ni nettoyées aprés usage. Les mesures présentées permettent de se rendre compte de l'impact de cette technique, aussi bien en terme de qualité de l'analyse de flots, qu'en terme de gain au niveau de la gestion mémoire durant le marquage et le balayage des tableaux.
Type de document :
Communication dans un congrès
Philippe Collet and Philippe Merle. Conférence en IngénieriE du Logiciel - CIEL 2012, Jun 2012, Rennes, France. pp.1-15, 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00714875
Contributeur : Dominique Colnet <>
Soumis le : samedi 14 juillet 2012 - 11:56:55
Dernière modification le : samedi 13 janvier 2018 - 01:03:00
Document(s) archivé(s) le : lundi 15 octobre 2012 - 02:20:16

Fichier

ArrayTypeFlow-FR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00714875, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

211

Téléchargements de fichiers

71