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.
Complete list of metadatas

https://hal.inria.fr/inria-00535644
Contributor : Jean-Christophe Filliâtre <>
Submitted on : Friday, November 12, 2010 - 7:31:20 PM
Last modification on : Friday, October 26, 2018 - 10:34:53 AM
Long-term archiving on : Friday, October 26, 2012 - 3:30:27 PM

File

ocamlviz-jfla2010.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00535644, version 1

Citation

Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume von Tokarski. Observation temps-réel de programmes Caml. JFLA (Journées Francophones des Langages Impératifs), INRIA, Jan 2010, Vieux-Port La Ciotat, France. pp.195-216. ⟨inria-00535644⟩

Share

Metrics

Record views

487

Files downloads

180