Skip to Main content Skip to Navigation
Reports

Self-stabilizing Systems in Spite of High Dynamics

Abstract : 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.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02376832
Contributor : Colette Johnen <>
Submitted on : Monday, February 17, 2020 - 6:15:22 PM
Last modification on : Sunday, May 17, 2020 - 1:54:00 AM

File

ADDJP20.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02376832, version 2

Citation

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⟩

Share

Metrics

Record views

54

Files downloads

32