HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:41:17 AM
Last modification on : Friday, February 4, 2022 - 3:21:55 AM
Long-term archiving on: : Friday, May 13, 2011 - 10:14:26 PM


  • HAL Id : inria-00076958, version 1


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



Record views


Files downloads