Sequence-based global predicates for distributed computations : definitions and detection algorithms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

Sequence-based global predicates for distributed computations : definitions and detection algorithms

Abstract

We consider the problem of detecting sequences of predicates defined over global states of distributed computation. We introduce two new global predicate classes called simple sequences and interval-constrained sequences that define causally-ordered sets of desirable states along with intervening forbidden states. Our formalism is more general than former proposals and permits concise and intuitive expression of many interesting system properties. Algorithms are given for verifying formulas belonging to these predicate classes in an on-line and observer-independent manner during distributed computations. We illustrate the utility of our results by applying them to examples drawn from programs testing, debugging and dynamic reconfiguration in distributed systems.

Domains

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

Dates and versions

inria-00074712 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074712 , version 1

Cite

Ozalp Babaoglu, Michel Raynal. Sequence-based global predicates for distributed computations : definitions and detection algorithms. [Research Report] RR-1961, INRIA. 1993. ⟨inria-00074712⟩
81 View
36 Download

Share

Gmail Facebook Twitter LinkedIn More