Observation temps-réel de programmes Caml - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Observation temps-réel de programmes Caml

(1, 2) , (1, 2) , (3) , (1, 2) , (1, 2)
1
2
3

Abstract

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.
Fichier principal
Vignette du fichier
ocamlviz-jfla2010.pdf (507.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00535644 , version 1 (12-11-2010)

Identifiers

  • HAL Id : inria-00535644 , version 1

Cite

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⟩
215 View
73 Download

Share

Gmail Facebook Twitter LinkedIn More