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.
Type de document :
Rapport
[Rapport de recherche] RR-1148, INRIA. 1989
Liste complète des métadonnées

https://hal.inria.fr/inria-00075411
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:09:51
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mardi 12 avril 2011 - 23:00:20

Fichiers

Identifiants

  • HAL Id : inria-00075411, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

189

Téléchargements de fichiers

62