cours10_rsd_reparti_termi

Badr Benmammar
[e-mail]
Algorithmique des systèmes et
applications réparties
Propriété stable : terminaison distribuée
d’une application répartie
Master Réseaux et Systèmes Distribués (RSD)

2
Plan
Terminaison : propriété stable
Processus actif vs passif
Terminaison : définition
Exemple d’utilisation
Modèle de calcul réparti
Méthodes pour détecter la terminaison
Méthode générale
Méthodes spécifiques
Sur un anneau
Algorithme de Misra en 1983
Sur un arbre

3
Terminaison : propriété stable
Le problème de la terminaison est celui de la détection de la fin d’un calcul
réparti.
La terminaison, comme l’interblocage, est une propriété stable : une fois la
propriété vraie, elle restera toujours vraie au cours du temps.
Le problème est le suivant : l’arrêt de tous les processus correspond-il à
l’arrêt définitif de l’application ou n’est-ce qu’un état transitoire ?
C’est-à-dire un message peut être en transit et provoquer le redémarrage
d’un, puis de tous les processus.

4
Processus actif vs passif
Un processus est soit actif soit passif : il est actif s’il exécute du code, il est
passif s’il n’a rien à faire.
Un processus ne peut passer d’un état passif à un état actif que sur réception
d’un message : à tout message correspond du code a exécuter. Par contre, il
peut passer de l’état actif à passif à tout moment (il a fini son code ou en
attente d’un message).
Tous les processus sont actifs au lancement de l’application.
Actif Passif
Le processus a fini son code ou en attente d’un message
Réception d’un message

5
Terminaison : définition
L’algorithme distribué est dit terminé lorsque tous les processus sont passifs
et qu’il n’y a pas de message en transit.
La terminaison distribuée est la conjonction des terminaisons locales.
P1 et P2 sont passifs à t1 et t2.
P1
P2
m1 m2
t1 t2
On peut parler
de terminaison
Pas de terminaison
Passif Actif