Reachability analysis on distributed executions

Claire Diehl 1 Claude Jard 1 Jean-Xavier Rampon 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The work described in this paper belongs to the general context of distributed program debugging. For the goal of verification, the expected behaviour or the suspected errors of the system under test , is described by a global property : basically a global predicate on variables, or the possible occurences orders of observable events. The problem is to verify wether this property is satisfied or not during the execution. In the context of asynchronous parallelism on distributed architectures that we are considering, the correct evaluation of global properties requires a careful analysis of the causal structure of the execution. The basis of the method is a reachability analysis of the state space associated to a distributed execution. We study on-line algorithms dedicated to trace checking which are efficient both in time and memory. We show that the state space can be linearly built due to its algebraic structure of lattice.
Type de document :
Rapport
[Research Report] RR-1720, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00076958
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:41:17
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:14:26

Fichiers

Identifiants

  • HAL Id : inria-00076958, version 1

Citation

Claire Diehl, Claude Jard, Jean-Xavier Rampon. Reachability analysis on distributed executions. [Research Report] RR-1720, INRIA. 1992. 〈inria-00076958〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

82