Expressing and Detecting Control Flow Properties of Distributed Computations

Abstract : Properties of distributed computations can be either on their global states or on their control flows. This paper addresses control flow properties. It first presents a simple yet powerful logic for expressing general properties on control flows, seen as sequences of local states. Among other properties, we can express invariance, sequential properties (to satisfy such a property a control flow must match a pattern described as a word on some alphabet) and non-sequential properties (these properties are on several control flows at the same time). A decentralized detection algorithm for properties described by this logic is then presented. This algorithm, surprisingly simple despite the power of the logic, observes the underlying distributed computation, does not alter its control flows and uses message tags to carry detection-related information.
Type de document :
Rapport
[Research Report] RR-2384, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074293
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:59:30
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:08:13

Fichiers

Identifiants

  • HAL Id : inria-00074293, version 1

Citation

Vijay Garg, Alex Tomlinson, Eddy Fromentin, Michel Raynal. Expressing and Detecting Control Flow Properties of Distributed Computations. [Research Report] RR-2384, INRIA. 1994. 〈inria-00074293〉

Partager

Métriques

Consultations de la notice

192

Téléchargements de fichiers

210