On-the-Fly Analysis of Distributed Computations

Eddy Fromentin 1 Claude Jard 2 Guy-Vincent Jourdan 2 Michel Raynal 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-2595, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00074088
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:28:46
Dernière modification le : vendredi 16 novembre 2018 - 01:23:56
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:11:54

Fichiers

Identifiants

  • HAL Id : inria-00074088, version 1

Citation

Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal. On-the-Fly Analysis of Distributed Computations. [Research Report] RR-2595, INRIA. 1995. 〈inria-00074088〉

Partager

Métriques

Consultations de la notice

227

Téléchargements de fichiers

215