Expressing and Detecting Control Flow Properties of 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 : 1994

Expressing and Detecting Control Flow Properties of Distributed Computations

Résumé

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.
Fichier principal
Vignette du fichier
RR-2384.pdf (241.4 Ko) Télécharger le fichier

Dates et versions

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

Identifiants

  • HAL Id : inria-00074293 , version 1

Citer

Vijay K. Garg, Alex Tomlinson, Eddy Fromentin, Michel Raynal. Expressing and Detecting Control Flow Properties of Distributed Computations. [Research Report] RR-2384, INRIA. 1994. ⟨inria-00074293⟩
92 Consultations
235 Téléchargements

Partager

Gmail Facebook X LinkedIn More