Detecting atomic sequences of predicates in distributed computations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1993

Detecting atomic sequences of predicates in distributed computations

Résumé

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00074801 , version 1

Citer

Michel Hurfin, Noël Plouzeau, Michel Raynal. Detecting atomic sequences of predicates in distributed computations. [Research Report] RR-1872, INRIA. 1993. ⟨inria-00074801⟩
376 Consultations
159 Téléchargements

Partager

Gmail Facebook X LinkedIn More