Algorithmique Distribuée

Algorithmique Distribu´ee
Cours 4
Shantanu Das
http://pageperso.lif.univ-mrs.fr/˜shantanu.das
Aix-Marseille Universit´e
5 Fevrier 2014
Shantanu Das (Aix-Marseille Universit´e) Algorithmique Distribu´ee 5 Fevrier 2014 1 / 37

Rappel
Rappel: Dernier Cours
R´eseaux Synchrone
Calculs Synchrones
(Complexit´e en temps contre complexit´e en bits)
Synchronisation de horloges, Horloge logique
Detection de Propri´et´es Globales
Deadlock Detection
Terminaison Detection
Tolerance aux Pannes
(Fautes permanents : D´efaillances ou Byzantine)
Shantanu Das (Aix-Marseille Universit´e) Algorithmique Distribu´ee 5 Fevrier 2014 2 / 37

Tol´erance au Pannes
Tol´erance au Pannes
R´eseaux Synchrones:
Fautes Permanents (Crash)
D´efaillances de processus
D´efaillances de liens
Fautes Temporaires
omissions de messages
additions de messages
corruptions de messages
Fautes Byzantins
Est-ce qu’on peut tol´erer des pannes dans les r´eseaux
asynchrone?
Shantanu Das (Aix-Marseille Universit´e) Algorithmique Distribu´ee 5 Fevrier 2014 3 / 37

Tol´erance au Pannes
Consensus avec D´efaillances
Rappel: Probl`eme de Consensus
Le but: Etre d’accord sur un valeur {0,1}.
(Seulement les correct processus doit ˆetre d’accord)
Validit´e: Doit choisir une valeur propos´e.
Terminaison: Doit d´ecider dans un temps fini.
Th´eor`eme (FLP : Fischer, Lynch, Paterson ’85)
Le consensus est impossible pour des processus
asynchrones s’il peut se produire au moins une
d´efaillance de type crash.
Le faute peut survenir `a tout moment pendant l’ex´ecution.
Shantanu Das (Aix-Marseille Universit´e) Algorithmique Distribu´ee 5 Fevrier 2014 4 / 37

Tol´erance au Pannes
Preuve de la theor `me FLP
Supposons qu’il existe un algorithme correct Apour
consensus.
Pendant l’execution de l’algorithme, un ´ev´enement e
au Pest soit
Processus Pa envoy´e un message.
Processus Pa re¸cu un message.
Processus Pa fait un calcul interne.
On consid`ere un adversaire qui va jouer contre
l’algorithme.
L’adversaire peut ralentir un ´ev´enement dans un
processus P.
Shantanu Das (Aix-Marseille Universit´e) Algorithmique Distribu´ee 5 Fevrier 2014 5 / 37