A Safe Election Protocol based on an Unreliable Failure Detector in Distributed Systems

The fault-tolerant election protocol, which implies the safety strengthened election protocol, is needed in a practical distributed computing environment. Consider a mission critical distributed system such as an electronic commerce system that runs multiple servers in which one of them roles a master (leader) and others are slaves. To have data consistency among the servers in the system, this system should not violate safety property, which means that all processes connected the system never disagree on a leader. In those systems the safety property is more important property than the liveness property. In this paper, we presents a safety strengthened leader election protocol with an unreliable failure detector and analyses it in terms of safety and liveness properties in asynchronous distributed systems.