Detecting atomic sequences of predicates in distributed computations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

Detecting atomic sequences of predicates in distributed computations

Abstract

This paper deals with a class of unstable non-monotonic global predicates, called herein atomic sequences of predicates. Such global predicates are defined for distributed programs built with message-passing communication only (no shared memory) and they describe global properties by causal composition of local predicates augmented with atomicity constraints. These constraints specify forbidden properties, whose occurrence invalidate causal sequences. This paper defines formally these atomic sequences of predicates, proposes a distributed algorithm to detect their occurences and gives a sketch of a proof of correctness of this algorithm.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00074801 , version 1

Cite

Michel Hurfin, Noël Plouzeau, Michel Raynal. Detecting atomic sequences of predicates in distributed computations. [Research Report] RR-1872, INRIA. 1993. ⟨inria-00074801⟩
375 View
153 Download

Share

Gmail Facebook Twitter LinkedIn More