Profilage mémoire d’applications OCaml

Automatic memory reclaim is a common feature of programminglanguages. It offers to the programmers some guarantees aboutreliability, but, by taking them away from the implementation detailsof the memory management, it makes it more difficult to understand andcontrol memory allocations.OCaml is a multi-paradigm statically typed programming languagedeveloped at INRIA. It uses a garbage collector (GC) in charge of theautomatic reclaim of unused memory and OCaml users need tools foranalyzing the memory behavior of their programs.As part of this thesis, we studied the memory behavior of applicationswritten in OCaml and more specifically the case of memory leaks: stillaccessible memory blocks (hence not reclaim by the GC) that are nolonger needed for the computation.In this thesis, after describing some known methods for analyzing thememory behavior of applications, we present an instrumentation methodof the OCaml toolchain and runtime. This instrumentation then is usedby tools that we have designed and implemented, and used tocategorize, visualize and locate memory allocations.Results and tools presented in this thesis were obtained as part of acollaboration between ENSTA ParisTech, INRIA and OCamlPro SAS, andhave been successfully used in an industrial context.La récupération automatique de la mémoire est une caractéristiquecommune des langages de programmation. Elle offre certes auprogrammeur des garanties de fiabilité, mais, en éloignant ce dernierdes détails de la gestion de la mémoire, elle rend plus difficile lacompréhension et, a fortiori, la maîtrise des allocations de mémoire.OCaml, langage multi-paradigme statiquement typé développé àl'INRIA. utilise un ramasse-miettes (GC) en charge du recyclageautomatique de la mémoire et ses utilisateurs réclament des outilsd'analyse du comportement mémoire de leurs programmes.Dans le cadre de cette thèse, nous avons étudié d'une façon généralele problème de comportement mémoire des applications écrites en OCamlet plus précisément le cas des fuites mémoires, c'est-à-dire des blocsalloués et non recyclés bien qu'ils soient devenus inutiles au calcul.Cette thèse présente, après un rappel des méthodes connues d'analysedu comportement mémoire des applications, une méthoded'instrumentation de la chaîne de compilation et de la bibliothèqued'exécution des programmes. Cette instrumentation est à la based'outils que nous avons conçus et mis en oeuvre, et qui permettent decatégoriser, visualiser et localiser les allocations de mémoire.Les résultats et outils présentés dans cette thèse ont été obtenusdans le cadre d'une collaboration entre l'ENSTA-ParisTech, l'INRIA etla société OCamlPro SAS, et ont été utilisés avec succès dans uncontexte industriel