Reachability analysis on distributed executions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

Reachability analysis on distributed executions

Résumé

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00076958 , version 1

Citer

Claire Diehl, Claude Jard, Jean-Xavier Rampon. Reachability analysis on distributed executions. [Research Report] RR-1720, INRIA. 1992. ⟨inria-00076958⟩
176 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More