A Fault Tolerant Election Protocol in Asynchronous Distributed Systems with Fail-Stop Model

摘要

We introduce a new algorithm for fault-tolerant election protocol in asynchronous distributed systems. Informally, a 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.