ocp-memprof: un profileur mémoire pour OCaml

Résumé : La récupération automatique de la mémoire est une caractéristique commune des langages de programmation. Elle offre certes au programmeur des garanties de fiabilité, mais, en éloignant ce dernier des détails de la gestion de la mémoire, elle rend plus difficile la compréhension et, a fortiori, la maîtrise des allocations de mémoire. Dans ce papier, nous présentons les résultats de nos travaux sur l'analyse du comportement mémoire des programmes OCaml. Nous présentons une technique basée sur la modification des en-têtes des blocs permettant de récupérer une information de type partielle sur chaque bloc tout en préservant le même comportement mémoire que le programme original. Ces informations de type sont enrichies ultérieurement par une technique de reconstruction de type par unification. Des algorithmes de graphes peuvent ensuite être appliqués dans le but d'obtenir des informations plus fines. Nous présentons également quelques cas d'usage montrant comment l'utilisation de ces techniques a permis d'optimiser plusieurs logiciels tel que Alt-Ergo et Ocsigen.
Type de document :
Communication dans un congrès
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), <http://jfla.inria.fr/2015>
Liste complète des métadonnées


https://hal.inria.fr/hal-01099134
Contributeur : David Baelde <>
Soumis le : mercredi 31 décembre 2014 - 15:36:44
Dernière modification le : samedi 18 février 2017 - 01:12:40
Document(s) archivé(s) le : samedi 15 avril 2017 - 12:24:11

Fichier

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

Identifiants

  • HAL Id : hal-01099134, version 1

Citation

Çagdas Bozman, Grégoire Henry, Mohamed Iguernelala, Fabrice Le Fessant, Michel Mauny. ocp-memprof: un profileur mémoire pour OCaml. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), <http://jfla.inria.fr/2015>. <hal-01099134>

Partager

Métriques

Consultations de
la notice

332

Téléchargements du document

133