Observation temps-réel de programmes Caml

Sylvain Conchon 1, 2 Jean-Christophe Filliâtre 1, 2 Fabrice Le Fessant 3 Julien Robert 1, 2 Guillaume Von Tokarski 1, 2
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
3 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
UR1 - Université de Rennes 1, Inria Saclay - Ile de France, INSA - Institut National des Sciences Appliquées, CNRS - Centre National de la Recherche Scientifique : UMR
Résumé : Pour mettre au point un programme, tant du point de vue de sa correction que de ses performances, il est naturel de chercher à observer son exécution. On peut ainsi chercher à observer la gestion de la mémoire, le temps passé dans une certaine partie du code, ou encore certaines valeurs calculées par le programme. De nombreux outils permettent de telles observations (moniteur système, profiler ou debugger génériques ou spécifiques au langage, instrumentation explicite du code, etc.). Ces outils ne proposent cependant que des analyses << après coup >> ou des observations très limitées. Cet article présente Ocamlviz, une bibliothèque pour instrumenter du code OCaml et des outils pour visualiser ensuite son exécution, en temps-réel et de manière distante.
Type de document :
Communication dans un congrès
Micaela Mayero / Sylvain Conchon. JFLA (Journées Francophones des Langages Impératifs), Jan 2010, Vieux-Port La Ciotat, France. Hermann Informatique, pp.195-216, 2010, Studia Informatica Universalis
Liste complète des métadonnées

https://hal.inria.fr/inria-00535644
Contributeur : Jean-Christophe Filliâtre <>
Soumis le : vendredi 12 novembre 2010 - 19:31:20
Dernière modification le : vendredi 10 novembre 2017 - 14:52:01
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:30:27

Fichier

ocamlviz-jfla2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00535644, version 1

Collections

Citation

Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski. Observation temps-réel de programmes Caml. Micaela Mayero / Sylvain Conchon. JFLA (Journées Francophones des Langages Impératifs), Jan 2010, Vieux-Port La Ciotat, France. Hermann Informatique, pp.195-216, 2010, Studia Informatica Universalis. 〈inria-00535644〉

Partager

Métriques

Consultations de la notice

391

Téléchargements de fichiers

147