ocp-memprof: un profileur mémoire pour OCaml - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

ocp-memprof: un profileur mémoire pour OCaml

Grégoire Henry
  • Function : Author
  • PersonId : 962750
Mohamed Iguernelala
  • Function : Author
  • PersonId : 962751
Michel Mauny

Abstract

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.
Fichier principal
Vignette du fichier
jfla15_submission_22.pdf (1.22 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01099134 , version 1 (31-12-2014)

Identifiers

  • HAL Id : hal-01099134 , version 1

Cite

Ç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⟩
259 View
151 Download

Share

Gmail Facebook Twitter LinkedIn More