Leader election using loneliness detection
Author(s)Ghaffari, Mohsen; Lynch, Nancy Ann; Sastry, Srikanth
MetadataShow full item record
We consider the problem of leader election (LE) in single-hop radio networks with synchronized time slots for transmitting and receiving messages. We assume that the actual number n of processes is unknown, while the size u of the ID space is known, but is possibly much larger. We consider two types of collision detection: strong (SCD), whereby all processes detect collisions, and weak (WCD), whereby only non-transmitting processes detect collisions. We introduce loneliness detection (LD) as a key subproblem for solving LE in WCD systems. LD informs all processes whether the system contains exactly one process or more than one. We show that LD captures the difference in power between SCD and WCD, by providing an implementation of SCD over WCD and LD. We present two algorithms that solve deterministic and probabilistic LD in WCD systems with time costs of O(log u/n and O(min(log u/n, log (1/ε)/n)), respectively, where ε is the error probability. We also provide matching lower bounds. Assuming LD is solved, we show that SCD systems can be emulated in WCD systems with factor-2 overhead in time. We present two algorithms that solve deterministic and probabilistic LE in SCD systems with time costs of O(log u) and O(min (log u/, log log + log(1/ε), respectively, where ε is the error probability. We provide matching lower bounds. Keywords: Collision Detection, Safety Property, Leader Election, Liveness Property, Virtual Process
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Ghaffari, Mohsen, et al. “Leader Election Using Loneliness Detection.” Distributed Computing 25, no. 6, (December 2012): 427–50.
Author's final manuscript