La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Algorithme à vague Stéphane Devismes. Introduction Dans un système distribué, on a (parfois) besoin de : – Diffuser des informations (à tous les processus)

Présentations similaires


Présentation au sujet: "Algorithme à vague Stéphane Devismes. Introduction Dans un système distribué, on a (parfois) besoin de : – Diffuser des informations (à tous les processus)"— Transcription de la présentation:

1 Algorithme à vague Stéphane Devismes

2 Introduction Dans un système distribué, on a (parfois) besoin de : – Diffuser des informations (à tous les processus) (Broadcast) Ingénierie des protocoles2 m m m m mm

3 Introduction Dans un système distribué, on a (parfois) besoin de : – Synchroniser (globalement) les processus E.g., létape i-1 est elle finie ? Ingénierie des protocoles3 i i i i i i i i i-1

4 Introduction Dans un systèmes distribué, on a (parfois) besoin de : – Calculer des fonctions globales E.g., quelle est la plus petite identité ? Ingénierie des protocoles

5 Introduction Ces problèmes ont plusieurs points communs Doù, lidée de trouver un algorithme général Les algorithmes à vague Ingénierie des protocoles5

6 Définition Un algorithme à vague vérifie les trois propriétés suivantes : – Terminaison – Décision – Dépendance Ingénierie des protocoles6

7 Définition Terminaison : Toutes ses exécutions sont finies Décision : Chacune de ses exécutions contient au moins un évènement particulier appelé décision Dépendance : Chaque évènement de décision est causalement précédé (au sens de Lamport) par au moins un évènement sur chaque processus Ingénierie des protocoles7

8 Exemples Parcours – Largeur – Profondeur (à laide dun jeton) Propagation dInformation avec Retour (PIR) Applications : snapshot, détection de terminaison, calcul dinfimum, etc. Ingénierie des protocoles8

9 Instanciation Spécificité une (vague de) circulation de jeton – Décision (de terminaison) Unique Par linitiateur – Dépendance Circulation : séquentielle (ordre causal total) Ingénierie des protocoles9

10 Instanciation Une (vague de) circulation de jeton – Sûreté : Il existe au plus un jeton dans le réseau Au plus une décision est prise (Décision) Si une décision est prise, alors tous les processus ont été visités par le jeton (Dépendance) – Vivacité L'exécution termine (Terminaison) L'initiateur finit par décider (Décision) Ingénierie des protocoles10

11 Remarque Il existe aussi des algorithmes qui exécutent une infinité de vagues – E.g., circulation de jeton perpétuelle pour lexclusion mutuelle Ingénierie des protocoles11


Télécharger ppt "Algorithme à vague Stéphane Devismes. Introduction Dans un système distribué, on a (parfois) besoin de : – Diffuser des informations (à tous les processus)"

Présentations similaires


Annonces Google