Reachability analysis on distributed executions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

Reachability analysis on distributed executions


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1720.pdf (803.54 Ko) Télécharger le fichier

Dates and versions

inria-00076958 , version 1 (29-05-2006)


  • 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⟩
175 View
110 Download


Gmail Facebook Twitter LinkedIn More