Skip to Main content Skip to Navigation
Reports

Dérivation d'un algorithme réparti de détection de la terminaison d'une application répartie

Jean-Michel Hélary 1 Michel Raynal 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : La construction méthodique d'algorithmes répartis est un élément fondamental de la maitrise du parallèlisme ; les algorithmes de contrôle en constituent une classe importante, par le rôle qu'ils sont amenés à jouer dans les systèmes répartis. Ces algorithmes reposent souvent sur l'évaluation d'un prédicat global, qui ne peut être mise en oeuvre que de manière non simultanée et retardée. Après avoir défini formellement ce type d'évaluation, cet article présente une construction méthodique d'un algorithme réparti de détection de la terminaison (il s'agit là d'un des paradigmes de l'observation dans un contexte réparti). Cette construction est obtenue par étapes successives, chacune de ces étapes constituant un pas de dérivation. L'approche suivie ici constitue donc un pas vers l'extension au contexte réparti d'une methode analogue a celle proposée par Gries dans le contexte séquentiel pour la dérivation de programmes.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075411
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:09:51 PM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 11:00:20 PM

Identifiers

  • HAL Id : inria-00075411, version 1

Citation

Jean-Michel Hélary, Michel Raynal. Dérivation d'un algorithme réparti de détection de la terminaison d'une application répartie. [Rapport de recherche] RR-1148, INRIA. 1989. ⟨inria-00075411⟩

Share

Metrics

Record views

228

Files downloads

98