1. Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative.
- Author
-
Blin, Lélia and Tixeuil, Sébastien
- Subjects
- *
STABILITY theory , *WIRELESS localization , *DISTRIBUTED computing , *GEOGRAPHICAL positions , *ELECTRONIC data processing - Abstract
This paper focuses on
compact deterministic self-stabilizing solutions for the leader election problem. When the solution is required to besilent (i.e., when the state of each process remains fixed from some point in time during any execution), there exists a lower bound of Ω(logn)bits of memory per participating node, where n denotes the number of nodes in the system. This lower bound holds even in rings. We present a new deterministic (non-silent) self-stabilizing protocol forn -node rings that uses only O(loglogn)memory bits per node, and stabilizes in O(nlog2n) rounds. Our protocol has several attractive features that make it suitable for practical purposes. First, it assumes an execution model that is used by existing compilers for real networks. Second, the size of the ring (or any upper bound on this size) does not need to be known by any node. Third, the node identifiers can be of various sizes. Finally, no synchrony assumption, besides weak fairness, is assumed. Our result shows that, perhaps surprisingly, silence can be traded for an exponential decrease in memory space without significantly increasing stabilization time or introducing restrictive assumptions. [ABSTRACT FROM AUTHOR] - Published
- 2018
- Full Text
- View/download PDF