Observation temps-réel de programmes Caml - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Observation temps-réel de programmes Caml

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.
Fichier principal
Vignette du fichier
ocamlviz-jfla2010.pdf (507.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : inria-00535644 , version 1

Citer

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⟩
224 Consultations
78 Téléchargements

Partager

Gmail Facebook X LinkedIn More