Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative

Abstract : This paper focuses on compact deterministic self-stabilizing solutions for the leader election problem. When the protocol is required to be silent (i.e., when communication content remains fixed from some point in time during any execution), there exists a lower bound of Ω(logn) bits of memory per node participating to the leader election (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 for n-node rings that uses only O(loglogn) memory bits per node, and stabilizes in O(nlog^2 n) time. Our protocol has several attractive features that make it suitable for practical purposes. First, the communication model matches the one that is expected by existing compilers for real networks. Second, the size of the ring (or any upper bound for this size) needs not to be known by any node. Third, the node identifiers can be of various sizes. Finally, no synchrony assumption besides a weak fair scheduler is assumed. Therefore, our result shows that, perhaps surprisingly, trading silence for exponential improvement in term of memory space does not come at a high cost regarding stabilization time, neither it does regarding minimal assumptions about the framework for our algorithm.
Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-00930095
Contributor : Sébastien Tixeuil <>
Submitted on : Tuesday, January 14, 2014 - 12:08:28 PM
Last modification on : Tuesday, May 14, 2019 - 10:12:17 AM

Links full text

Identifiers

Citation

Lélia Blin, Sébastien Tixeuil. Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative. DISC 2013 - 27th International Symposium on Distributed Computing, Oct 2013, Jerusalem, Israel. pp.76-90, ⟨10.1007/978-3-642-41527-2_6⟩. ⟨hal-00930095⟩

Share

Metrics

Record views

452