Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics

Karine Altisen
Stéphane Devismes
Franck Petit

Résumé

We initiate research on self-stabilization in highly dynamic identified message-passing systems where dynamics is modeled using time-varying graphs (TVGs). More precisely, we address the self-stabilizing leader election problem in three wide classes of TVGs: the class $TC^B(∆)$ of TVGs with temporal diameter bounded by $∆$, the class $TC^Q(∆)$ of TVGs with temporal diameter quasi-bounded by $∆$, and the class $TC^R$ of TVGs with recurrent connectivity only, where TC^B(∆) ⊆ $TC^Q(∆) ⊆ TC^R$. We first study conditions under which our problem can be solved. Precisely, we introduce the notion of size-ambiguity to show that the assumption on the knowledge of the number n of processes is central. Our results reveal that, despite the existence of unique process identifiers, any deterministic self-stabilizing leader election algorithm working in the TVG class $TC^Q(∆)$ or $TC^R$ cannot be size-ambiguous, justifying why our solutions for those classes assume the exact knowledge of n. We then present three self-stabilizing leader election algorithms for the TVG classes $TC^B(∆)$, $TC^Q(∆)$, and $TC^R$, respectively.
Fichier principal
Vignette du fichier
mainShortPodc20.pdf (156.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02911071 , version 1 (03-08-2020)

Identifiants

Citer

Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit. Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩. ⟨hal-02911071⟩
154 Consultations
150 Téléchargements

Altmetric

Partager

More