Systèmes et algorithmes répartis

Exclusion mutuelle
D´etection de la terminaison
D´etection de l’interblocage
La diffusion fiable
Syst`emes et algorithmes r´epartis
Probl`emes g´en´eriques
Philippe Qu´einnec, G´erard Padiou
D´epartement Informatique et Math´ematiques Appliqu´ees
ENSEEIHT
31 aoˆut 2016
Syst`emes et algorithmes r´epartis – IV 1 / 39

Exclusion mutuelle
D´etection de la terminaison
D´etection de l’interblocage
La diffusion fiable
plan
1Exclusion mutuelle
Le probl`eme
Jeton circulant
Algorithme de Ricart-Agrawala
Algorithme `a base d’arbitres
2D´etection de la terminaison
Le probl`eme
Terminaison sur un anneau
Algorithme des quatre compteurs
Algorithme des cr´edits
3D´etection de l’interblocage
Le probl`eme
Caract´erisation de l’interblocage
Algorithme de Chandy, Misra, Haas
4La diffusion fiable
Syst`emes et algorithmes r´epartis – IV 2 / 39

Exclusion mutuelle
D´etection de la terminaison
D´etection de l’interblocage
La diffusion fiable
Le probl`eme
Jeton circulant
Algorithme de Ricart-Agrawala
Algorithme `a base d’arbitres
Plan
1Exclusion mutuelle
Le probl`eme
Jeton circulant
Algorithme de Ricart-Agrawala
Algorithme `a base d’arbitres
2D´etection de la terminaison
Le probl`eme
Terminaison sur un anneau
Algorithme des quatre compteurs
Algorithme des cr´edits
3D´etection de l’interblocage
Le probl`eme
Caract´erisation de l’interblocage
Algorithme de Chandy, Misra, Haas
4La diffusion fiable
Syst`emes et algorithmes r´epartis – IV 3 / 39

Exclusion mutuelle
D´etection de la terminaison
D´etection de l’interblocage
La diffusion fiable
Le probl`eme
Jeton circulant
Algorithme de Ricart-Agrawala
Algorithme `a base d’arbitres
Sp´ecification du probl`eme
process P(int i) :
. . . ; Entrer(i) ; <SC>; Sortir(i) ; . . .
Diagramme d’´etat
hors
candidat
exclusion
Entrer(i)
Sortir(i)
Fin de Entrer
B
CD
A
Dest en exclusion
Aest candidat
Sˆuret´e : Un processus au plus en exclusion
∀i,j:: Pi.exclusion ∧Pj.exclusion ⇒i=j
Vivacit´e faible : pas d’interblocage (certains candidats
finissent par entrer)
Vivacit´e forte : Tout candidat finit par entrer
Protocole : Tout processus en exclusion finit par sortir
Syst`emes et algorithmes r´epartis – IV 4 / 39

Exclusion mutuelle
D´etection de la terminaison
D´etection de l’interblocage
La diffusion fiable
Le probl`eme
Jeton circulant
Algorithme de Ricart-Agrawala
Algorithme `a base d’arbitres
´
Election vs exclusion mutuelle
Probl`emes similaires
Isoler un processus parmi tous : introduire une asym´etrie
Probl`emes bien diff´erents
´
Election d’un quelconque des processus mais exclusion
mutuelle parmi les candidats
L’´election est d´efinitive mais l’exclusion mutuelle se termine et
se transmet ⇒´evolution dynamique
Syst`emes et algorithmes r´epartis – IV 5 / 39