Communication Dans Un Congrès Année : 2015

Élection autostabilisante en un nombre polynomial de pas de calcul

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.

Fichier principal
Vignette du fichier
main.pdf (113.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01145472 , version 1 (24-04-2015)

Licence

Identifiants

  • HAL Id : hal-01145472 , version 1

Citer

Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit. Élection autostabilisante en un nombre polynomial de pas de calcul. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. ⟨hal-01145472⟩
671 Consultations
434 Téléchargements

Partager

  • More