-E/1f S-Erlfi.tt--wlAI lVlI/tJA
2i' " arrrlnêe
fflière informatique
Algorithmique Distribuée
Année 201G201I
(durée
th.)
(documents manuscrits autorisés)
On ne considère que des graphes simples, non orientés, connexes
et sans boucle.
1) Domer la définition d'un vecteur d'horloges associé
à un système distribué. Expliquer son utilité. Illustrer
son calcul à l'aide d'un exemple
dans un système
avec 3 processeurs.
2) Donner la définition d'un état global d"ns un système distribué. Expliquer l'utilité du calcul d'un état
global.
3) Donner les conditions permetta,rf,t d'utiliser l'algorithrne SSP pour détecter localement la terminaison
globale. Donner cet algorithme et les éléments de sa preuve.
4) On suppose que chaque processeur connait le diamètre du réseau. Expliquer commert chaque processus
peut calculer son état local et les états de ses ca.:raux incidents en utilisant certaines idées de I'algorithme de
Chandy-La,rnport (permetta,nt de caLculer un état global). Expliquer comment on peut fabriquer des points
de reprise d'un système distribué en combina,nt le calcul par chaque processus
de son état local et les états
de ses canaux incidents avec I'algoritbme de SSP qui permet de détecter localement Ia terrrinaison d'un
algoritbme (sous certaines conditions à preciser).