Leader election is an important primitive in fault-tolerant distributed computing. In this paper, we propose a new specification for Leader Election motivated by the development of systems with the Primary-Backup approach to fault tolerance. We repeat a lower bound result on process replication that was previously shown, and then provide a new algorithm. There are three main contributions in the derivation of this algorithm. First, we show that a known lower bound is actually tight. Second, we design it using our model of dependent failures based on cores and survivor sets, thus enabling the use of such an algorithm in heterogeneous settings and illustrating the process of designing algorithms in this model. Finally, due to weaker requirements, this algorithm uses less replication than previous algorithms for leader election for receive-omission failures.
The authors of these documents have submitted their reports to this technical report series for the purpose of non-commercial dissemination of scientific work. The reports are copyrighted by the authors, and their existence in electronic format does not imply that the authors have relinquished any rights. You may copy a report for scholarly, non-commercial purposes, such as research or instruction, provided that you agree to respect the author's copyright. For information concerning the use of this document for other than research or instructional purposes, contact the authors. Other information concerning this technical report series can be obtained from the Computer Science and Engineering Department at the University of California at San Diego, firstname.lastname@example.org.
[ Search ]