Election de leader dans les protocoles de population
Peva Blanchard (séminaire ParSys)
05 November 2013, 10h30 - 05 November 2013, 12h00 Salle/Bat : 465/PCRI-N
Contact :
Activités de recherche : Algorithmique distribuée
Résumé :
Nous étudions le problème de l'élection de leader auto-stabilisante
(Self-Stabilizing Leader Election, SSLE) dans le modèle des protocoles
de population. Dans ce modèle, un nombre inconnu d'agents mobile à
états finis, asynchrones et anonymes interagissent deux à deux selon
un graphe de communication donné. Il a été montré que SSLE était
impossible dans le modèle original. Cette impossibilité peut être
contournée en ajoutant au système un oracle. Fischer et Jiang ont construit des
solutions de SSLE pour les graphes de communications complets et les
anneaux, en utilisant l'oracle Ω?, appelé eventual leader
detector. Dans ce travail, nous présentons une solution fonctionnant
sur un graphe quelconque, en utilisant deux copies de Ω?. Nous
prouvons également que la difficulté est essentiellement liée à
l'autostabilisation. En effet, en supposant qu'une initialisation uniforme est
possible, nous donnons une solution sans oracle sur des graphes
arbitraires.
