Élection autostabilisante en un nombre polynomial de pas de calcul

Karine Altisen; Alain Cournier; Stéphane Devismes; Anaïs Durand; Franck Petit

Élection autostabilisante en un nombre polynomial de pas de calcul

Karine Altisen ¹ Alain Cournier ² Stéphane Devismes ¹ Anaïs Durand ¹ Franck Petit ³

1 SYNCHRONE

VERIMAG - IMAG - VERIMAG

2 MIS - Modélisation, Information & Systèmes

3 Regal - Large-Scale Distributed Systems and Applications

LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt

Résumé : Cet article est un résumé étendu de [1] dans lequel nous présentons un algorithme distribué autostabilisant et silencieux d'élection de leader. Cet algorithme est écrit dans le modèle à états et prouvé sous l'hypothèse d'un démon distribué inéquitable, le démon le plus général du modèle. Il stabilise en Θ(n) rondes, Θ(n^3) pas et nécessite Θ(log n) bits par processus, où n est le nombre de processus. C'est à notre connaissance le premier algorithme autostabilisant asynchrone d'élection pour lequel une borne supérieure sur le temps de stabilisation en nombre de pas de calcul est prouvée.

Mots-clés : Démon inéquitable Élection de leader Autostabilisation Algorithmes distribués Tolérance aux pannes

Document type :

Conference papers

Domain :

Computer Science [cs] / Networking and Internet Architecture [cs.NI]

Liste complète des métadonnées

Cited literature [8 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-01145472
Contributor : Anaïs Durand <>
Submitted on : Friday, April 24, 2015 - 12:12:09 PM
Last modification on : Thursday, March 21, 2019 - 1:13:07 PM
Document(s) archivé(s) le : Wednesday, April 19, 2017 - 4:54:17 AM

main.pdf

Files produced by the author(s)

Élection autostabilisante en un nombre polynomial de pas de calcul

File

Identifiers

Collections

Citation

Export

Metrics

276

182

Contact

Élection autostabilisante en un nombre polynomial de pas de calcul

File

Identifiers

Collections

Citation

Export

Share

Metrics

276

182

Contact