Dérivation d'un algorithme réparti de détection de la terminaison d'une application répartie - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1989

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1148.pdf (677.18 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00075411 , version 1

Cite

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⟩
120 View
51 Download

Share

Gmail Facebook Twitter LinkedIn More