Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007)
Eventual Leader Service in Unreliable Asynchronous Systems: Why? How?
Cambridge, Massachusetts
July 12-July 14
ISBN: 0-7695-2922-4
Providing processes with an eventual leader service is an important issue when one has to design and implement a middleware layer on top of a failure-prone asynchronous distributed system. This invited lecture investigates this problem. It first shows that such a service cannot be built if the underlying system is fully asynchronous. Then, the paper visits several additional behavioral assumptions that have been proposed in the literature to cope with this impossibility and presents corresponding eventual leader election protocols. This lecture can be seen as a guided tour of the eventual leader service problem, whose aim is to benefit researchers and system engineers working in distributed middleware built on top of asynchronous networks.
Index Terms:
Assumption coverage, Asynchronous system, Behavioral assumption, Distributed algorithm, Eventual tsource, Eventual leader, Failure detector, Fault-tolerance, Message pattern, Omega, Oracle, Partial synchrony, Process crash, System model, Eventual timely link.
Citation:
Michel Raynal, "Eventual Leader Service in Unreliable Asynchronous Systems: Why? How?," nca, pp.11-24, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 2007