1 / 11

Algorithme à vague

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

aretha
Télécharger la présentation

Algorithme à vague

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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) m m m m m m Ingénierie des protocoles

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

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

  5. Introduction • Ces problèmes ont plusieurs points communs • D’où, l’idée de trouver un algorithme général • Les algorithmes à vague Ingénierie des protocoles

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

  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 protocoles

  8. Exemples • Parcours • Largeur • Profondeur (à l’aide d’un jeton) • Propagation d’Information avec Retour (PIR) • Applications : snapshot, détection de terminaison, calcul d’infimum, etc. Ingénierie des protocoles

  9. Instanciation • Spécificité une (vague de) circulation de jeton • Décision (de terminaison) • Unique • Par l’initiateur • Dépendance • Circulation : séquentielle (ordre causal total) Ingénierie des protocoles

  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 protocoles

  11. Remarque • Il existe aussi des algorithmes qui exécutent une infinité de vagues • E.g., circulation de jeton perpétuelle pour l’exclusion mutuelle Ingénierie des protocoles

More Related