pdf - Verimag

Introduction ` a l’autostabilisation
St´ ephane Devismes
Universit´ e Joseph Fourier, Grenoble I
4 octobre 2016

Plan
Introduction
Mod` ele ` a´ etats
Preuve du 1er algorithme de Dijkstra
Les avantages de l’autostabilisation
Les inconv´ enients de l’autostabilisation

Plan
Introduction
Mod` ele ` a´ etats
Preuve du 1er algorithme de Dijkstra
Les avantages de l’autostabilisation
Les inconv´ enients de l’autostabilisation

D´ efinition
Un algorithme distribu´
e est dit autostabilisant dans un
syst` eme donn´ e si ` a partir d’une configuration quelconque du
syst` eme, toute ex´ ecution de l’algorithme atteint en un temps fini
(et sans intervention ext´ erieure) une configuration, dite
l´ egitime,` a partir de laquelle tous les suffixes d’ex´ ecution
possibles sont corrects, c’est-` a-dire qu’ils v´ erifient tous la
sp´ ecification du probl` eme pour lequel l’algorithme a ´ et´ e
conc¸u. Dijkstra, 1974

Syst` eme de transitions : rappel
Soit Pun algorithme distribu´ e d´ eploy´ e sur un r´ eseau de
processus R.
On peut d´ efinir l’ensemble Cdes configurations possibles de P
dans R.
On peut aussi d´ efinir les transitions possibles entres les
diff´ erentes configurations de C: la relation 7→⊆ C × C.
Parmi l’ensemble des configurations possibles, certaines sont
caract´ eris ´ ees comme initiales :I ⊆ C.