PALE: Time Bounded Practical Agile Leader Election

Bronislav Sidik, Rami Puzis, Polina Zilberman, Yuval Elovici

Research output: Contribution to journalArticlepeer-review

Abstract

Many tasks executed in dynamic distributed systems, such as sensor networks or enterprise environments with bring-your-own-device policy, require central coordination by a leader node. In the past it has been proven that distributed leader election in dynamic environments with constant changes and asynchronous communication is not possible. Thus, state-of-the-art leader election algorithms are not applicable in asynchronous environments with constant network changes. Some algorithms converge only after the network stabilizes (an unrealistic requirement in many dynamic environments). Other algorithms reach consensus in the presence of network changes but require a global clock or some level of communication synchrony. Determining the weakest assumptions, under which bounded leader election is possible, remains an unresolved problem. In this study we present a leader election algorithm that operates in the presence of changes and under weak (realistic) assumptions regarding message delays and regarding the clock drifts of the distributed nodes. The proposed algorithm is self-sufficient, easy to implement and can be extended to support multiple regions, self-stabilization, and mobile ad-hoc networks. We prove the algorithm's correctness and provide a complexity analysis of the time, space, and number of messages required to elect a leader.

Original languageEnglish
Article number8789472
Pages (from-to)470-485
Number of pages16
JournalIEEE Transactions on Parallel and Distributed Systems
Volume31
Issue number2
DOIs
StatePublished - 1 Feb 2020

Keywords

  • Leader election
  • distributed algorithms
  • dynamic
  • partial synchrony
  • timed

Fingerprint

Dive into the research topics of 'PALE: Time Bounded Practical Agile Leader Election'. Together they form a unique fingerprint.

Cite this