PROPOSITION D'UN SUJET DE STAGE M2 TITRE: Detection de fuites de memoire dans les programmes Objective-Caml Encadrant: Fabrice LE FESSANT Nom de l'equipe : ASAP Centre de recherche : INRIA Saclay-- Ile-de-France Contexte: L'equipe ASAP est une des meilleures equipes francaises de recherche dans les systemes distribues et pair-a-pair. Le travail de Fabrice Le Fessant a l'INRIA Saclay porte sur la programmation d'applications pair-a-pair, en particulier dans le langage Objective-Caml developpe a l'INRIA Rocquencourt. Des programmes repartis comme Peerple ou MLdonkey peuvent s'executer pendant des semaines, voir des mois, et posent donc le probleme des fuites de memoire, qui augmentent lentement mais surement la memoire utilisee par l'application, jusqu'a ce qu'il devienne necessaire de tuer l'application. Il y a donc un reel besoin pour fournir aux developpeurs des outils leur permettant de mieux comprendre l'utilisation memoire de leurs applications en Objective-Caml et en particulier de detecter les fuites de memoire. Objectifs: Le but de ce stage est de developper des outils permettant d'observer la consommation memoire d'un programme ecrit en Objective-Caml sans avoir a le modifier. Pour cela, l'etudiant devra: - modifier le compilateur et la machine virtuelle d'Objective-Caml pour qu'un programme puisse exporter sa consommation memoire, en fournissant le maximum d'informations au programmeur (types des donnees allouees, points d'allocation, historique, etc) - developper des outils pour analyser les informations exportees par le programme, en particulier pour y deceler de potentiels problemes (fuites de memoire dues a des donnees accumulees dans une table, etc). Ainsi, il pourra etre interessant de developper un outil permettant d'inferer automatiquement les types des donnees a partir d'un graphe de ces donnees et du source de l'application. - tester ces outils sur differents exemples de programmes, presentant ou pas des problemes de fuites de memoire. DIVERS: Les etudiants sont incites a prendre directement contact avec Fabrice LE FESSANT pour discuter des sujets.