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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01099134
Contributor : David Baelde <>
Submitted on : Wednesday, December 31, 2014 - 3:36:44 PM
Last modification on : Thursday, February 7, 2019 - 5:49:41 PM
Document(s) archivé(s) le : Saturday, April 15, 2017 - 12:24:11 PM

File

jfla15_submission_22.pdf
Files produced by the author(s)

Identifiers

  • 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. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. ⟨hal-01099134⟩

Share

Metrics

Record views

403

Files downloads

179