Detecting atomic sequences of predicates in distributed computations

Michel Hurfin 1 Noël Plouzeau 1 Michel Raynal 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
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.
Type de document :
Rapport
[Research Report] RR-1872, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074801
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:27:15
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : mardi 12 avril 2011 - 19:25:45

Fichiers

Identifiants

  • HAL Id : inria-00074801, version 1

Citation

Michel Hurfin, Noël Plouzeau, Michel Raynal. Detecting atomic sequences of predicates in distributed computations. [Research Report] RR-1872, INRIA. 1993. 〈inria-00074801〉

Partager

Métriques

Consultations de la notice

309

Téléchargements de fichiers

91