On-the-Fly Analysis of Distributed Computations - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 1995

On-the-Fly Analysis of Distributed Computations

Résumé

At some abstraction level a distributed computation can be modeled as a partial order on a set of observable events. This paper presents an analysis technique which can be superimposed on distributed computations to analyze the structure of control flows terminating at observable events. A general algorithm working on the longest control flows of distributed computations is introduced. Moreover it is shown how this algorithm can be simplified according to the distribution of observable events or to the kind of property we want to recognize.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00074088 , version 1

Citer

Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal. On-the-Fly Analysis of Distributed Computations. [Research Report] RR-2595, INRIA. 1995. ⟨inria-00074088⟩
94 Consultations
204 Téléchargements

Partager

More