Pour être César, il faut que tous les chemins viennent de la Domus Augustana
Résumé
Nous considérons des réseaux dirigés où chaque processus est identifié et connait une borne supérieure sur l’écart maximum des processus à leur descendants. Dans ce type de réseaux, nous étudions les conditions topologiques nécessaires et suffisantes pour résoudre de manière autostabilisante deux problèmes fondamentaux : l’élection de leader et l’unisson synchrone. Cette condition contraint le réseau à n’avoir qu’une seule composante source (c’est-à-dire, une composante fortement connexe où aucun nœud n’a de prédécesseur hors de la composante). Pour démontrer que notre condition est suffisante pour les deux problèmes cités, nous proposons deux algorithmes autostabilisants, dont nous étudions également la complexité.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|