Self-stabilizing Systems in Spite of High Dynamics - IMAG Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2019

Self-stabilizing Systems in Spite of High Dynamics

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

Résumé

We initiate research on self-stabilization in highly dynamic message-passing systems by addressing the self-stabilizing leader election problem in three wide classes of time-varying graphs (TVGs): the class of TVGs with temporal diameter bounded by Delta (boundDiam), the class of TVGs with temporal diameter quasi-bounded by Delta (quasiBoundDiam), and the class of TVGs with recurrent connectivity only (recur). We first study conditions under which our problem can be solved. We introduce the notion of size-ambiguity to show that the assumption on the knowledge of the number $n$ of processes is crucial. Our results show that any deterministic self-stabilizing leader election algorithm working in the class quasiBoundDiam or recur cannot be size-ambiguous, justifying then the necessity of assuming the exact knowledge of network size in those classes. We then present three self-stabilizing leader election algorithms for Classes boundDiam, quasiBoundDiam, and recur, respectively. Our algorithm for boundDiam stabilizes in at most 2.Delta rounds. In quasiBoundDiam and recur, stabilization time cannot be bounded. However, we show that our solutions are speculative in the sense that their stabilization time in boundDiam is O(Delta) rounds.
Fichier principal
Vignette du fichier
ADDJP20.pdf (580.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02376832 , version 1 (22-11-2019)
hal-02376832 , version 2 (17-02-2020)
hal-02376832 , version 3 (15-05-2020)

Identifiants

  • HAL Id : hal-02376832 , version 2

Citer

Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit. Self-stabilizing Systems in Spite of High Dynamics. [Research Report] LaBRI, CNRS UMR 5800. 2019. ⟨hal-02376832v2⟩
279 Consultations
216 Téléchargements

Partager

Gmail Facebook X LinkedIn More