A leader election protocol for eventually synchronous shared memory systems

Proc. - The Fourth IEEE Workshop on Software Technol. for Future Embedded and Ubiquitous Syst., SEUS 2006 andthe Second Int. Workshop on Collaborative Comput., Integr., and Assur., WCCIA 2006

Volumn 2006, Issue , 2006, Pages 6-11

  Guerraoui, Rachid ^a   Raynal, Michel ^b  

^a EPFL   (Switzerland)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION SYSTEMS; DISKS (MACHINE COMPONENTS); NETWORK PROTOCOLS; TIME MEASUREMENT;

ASYNCHONOUS MESSAGE PASSING SYSTEMS; COMMODITY DISKS; LEADER PROTOCOL; SHARED MEMORY SYSTEMS;

ASYNCHRONOUS MACHINERY;

EID: 33750912606     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEUS-WCCIA.2006.6     Document Type: Conference Paper

References (26)

1. Aguilera M.K., Delporte-Gallet C., Fauconnier H. and Toueg S., On Implementing Omega with Weak Reliability and Synchrony Assumptions. Proc. 22th ACM Symp. on Principles of Distributed Computing, pp. 306-31, 2003.
2. Aguilera M.K., Delporte-Gallet C., Fauconnier H. and Toueg S., Communication-Efficient Leader Election and Consensus with Limited Link Synchrony. Proc. 23th ACM Symp. on Principles of Distributed Computing, ACM Press, pp. 328-337, 2004.
3. Boichat R., Dutta P., Frø1und S. and Guerraoui R., Deconstructing Paxos. ACM Sigact News, Distributed Computing Column, 34(1):47-67, 2003.
4. Chandra T. and Toueg S., unreliable Failure Detectors for Resilient Distributed Systems. Journal of the ACM, 43(2):225-267, 1996. (First version: PODC 1991.)
5. Chandra T., Hadzilacos V. and Toueg S., The Weakest Failure Detector for Solving Consensus. Journal of the ACM, 43(4):685-722, 1996. (First version: PODC 1992.)
6. Chockler G.V. and Malkhi D., Active Disk Paxos with Infinitely Many Processes. Proc. 21th ACM Symp. on Principles of Distributed Computing, pp. 78-87, 2002.
7. de Frisco R., Lampson B.W. and Lynch N.A., Revisiting the Paxos Algorithm. Theoretical Computer Science, 243(1-2): 35-91, 2000.
8. Dwork C., Lynch N. and Stockmeyer L., Consensus in the Presence of Partial Synchrony. Journal of the ACM, 35(2):288-323, 1988.
9. Fischer M.J., Lynch N. and Paterson M.S., Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM, 32(2):374-382, 1985.
10. Gafni E. and Lamport L., Disk Paxos. Distributed Computing. 16(1):1-20, 2003.
11. Guerraoui R. and Raynal M., The Information Structure of Indulgent Consensus. IEEE Transactions on Computers, 53(4):453-466, 2004.
12. Guerraoui R. and Raynal M., The Alpha of Asynchronous Consensus. Tech Report #1676, IRISA, Université de Rennes 1 (France), 21 pages, 2005. http://www.irisa.fr/bibli/publi/pi/2005/1676/1676.html
13. Lamport L., On Interprocess Communication. Distributed Computing, 1(2):77-101, 1986.
14. Lamport L., The Part-Time Parliament. ACM Transactions on Computer Systems, 16(2): 133-169, 1998. (The first version of Paxos appeared a a DEC Tech Report in 1989.)
15. Lamport L., Paxos Made Simple. ACM Sigact News, Distributed Computing Column, 32(4):34-58, 2001.
16. Larrea M., Fernández A. and Arévalo S., Optimal Implementation of the Weakest Failure Detector for Solving Consensus. Proc. 19th Symp. on Reliable Distributed Systems (SRDS'00). IEEE Computer Society Press, pp. 52-60, 2000.
17. Malkhi D., Oprea F. and Zhou L., ω Meets Paxos: Leader Election and Stability without Eventual Timley Links. Proc. 19th Int'l Symposium on Distributed Computing (DISC'05), Springer Verlag LNCS #3724, pp. 199-213, 2005.
18. Mostefaoui A., Mourgaya E., and Raynal M., Asynchronous Implementation of Failure Detectors. Proc. Int. IEEE Conference on Dependable Systems and Networks (DSN'03), IEEE Computer Society Press, pp. 351-360, 2003.
19. Mostefaoui A., Powell D., and Raynal M., A Hybrid Approach for Building Eventually Accurate Failure Detectors. Proc. 10th IEEE Int. Pacific Rim Dependable Computing Symposium (PRDC'04), IEEE Computer Society Press, pp. 57-65, Papeete, (Tahiti, France), 2004.
20. Mostefaoui A. and Raynal M., Leader-Based Consensus. Parallel Processing Letters, 11(1):95-107, 2001.
21. Mostéfaoui A., Raynal M. and Travers C., Crash Resilient Time-Free Eventual Leadership. Proc. 23th Symposium on Resilient Distributed Systems (SRDS'04), IEEE Computer Society Press, pp. 208-218, Florianõpolis (Brazil), 2004.
22. Mostefaoui A., Raynal M. and Travers C., Time-free and Timeliness Assumptions can be Combined to Get Eventual Leadership. IEEE Transactions on Parallel and Distributed Systems, to appear, 2006.
23. Mostefaoui A., Raynal M., Travers C., Patterson S., Agrawal A. and El Abbadi A., From Static Distributed Systems to Dynamic Systems. Proc. 24th Int'l IEEE Symposium on Reliable Distributed Systems (SRDS'05), IEEE Computer Society Press, pp. 109-119, Orlando (Florida), 2005.
24. Powell D., Failure Mode Assumptions and Assumption Coverage. Proc. of the 22nd Int'l Symposium on Fault-Tolerant Computing (FTCS-22), pp.386-395, 1992.
25. Raynal M., A Short Introduction to Failure Detectors for Asynchronous Distributed Systems. ACM SIGACT News, Distributed Computing Column, 36(1):53-70, 2005.
26. Thekkath C., Mann T. and Lee E.K., Frangipani: a Scalable Distributed File System. Proc. 16th ACM Symp. on Operating Systems Principles, pp. 224-237, 1997.