On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

Karine Altisen
  • Fonction : Auteur
  • PersonId : 1055858
Stéphane Devismes
Anaïs Durand
Colette Johnen
Franck Petit

Résumé

In this paper, we consider self-stabilization and its weakened form called pseudo-stabilization. We study conditions under which (pseudo-and self-) stabilizing leader election is solvable in networks subject to frequent topological changes. To model such an high dynamics, we use the dynamic graph (DG) paradigm and study a taxonomy of nine important DG classes. Our results show that self-stabilizing leader election can be achieved only in the classes where all processes are sources. However, we also show that, among those classes, the convergence time of pseudo-and so self-stabilizing solutions can only be bounded in the class where all sources are actually timely. Furthermore, even pseudo-stabilizing leader election cannot be solved in all remaining classes, except in the class where at least one process is a timely source. We illustrate this latter claim by proposing a pseudo-stabilizing leader election algorithm for this class. We also show that in this class, the convergence time of pseudo-stabilizing leader election algorithms cannot be bounded. Nevertheless, we show that our solution is speculative since its convergence time can be bounded when the dynamics is not too erratic, precisely when all processes are timely sources.
Fichier principal
Vignette du fichier
evolvingSourceElection.pdf (421.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02979166 , version 1 (27-10-2020)
hal-02979166 , version 2 (12-02-2021)
hal-02979166 , version 3 (01-06-2021)

Identifiants

  • HAL Id : hal-02979166 , version 3

Citer

Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. [Research Report] Université Grenoble Alpes, VERIMAG, UMR 5104, France; LIMOS, Université Clermont Auvergne, CNRS, UMR 6158, France; Université de Bordeaux, LaBRI, UMR 5800, France; Sorbonne Université, Paris, LIP6, UMR 7606, France. 2020. ⟨hal-02979166v3⟩
216 Consultations
213 Téléchargements

Partager

Gmail Facebook X LinkedIn More