Eventual leader election in infinite arrival message-passing system model with bounded concurrency

EDCC-8 - Proceedings of the 8th European Dependable Computing Conference

Volumn , Issue , 2010, Pages 127-134

  Tucci Piergiovanni, Sara ^a,b   Baldoni, Roberto ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b CEA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EVENTUAL LEADER; FAILURE DETECTION; MESSAGE PASSING SYSTEMS; RUNNING-IN;

MODEL STRUCTURES;

MESSAGE PASSING;

EID: 77954331108     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2010.24     Document Type: Conference Paper

References (19)

1. M. Aguilera. A Pleasant Stroll through the Land of Infinitely Many Creatures. ACM SIGACT news, DC column, 35(2), pages 36-59, 2004.
2. M. Aguilera, W. Chen, and S. Toueg. Heartbeat: a Timeout-Free Failure Detector for Quiescent Reliable Communication. Technical Report 97-1631, Ithaca, NY, USA, 1997.
3. M. Aguilera, W. Chen, and S. Toueg. Failure Detection and Consensus in the Crash-recovery Model. Distributed Computing, 13(2), pages 99-125, 2000.
4. M. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg. On Implementing Omega with Weak Reliability and Synchrony Assumptions. In Proceedings of the 22nd annual symposium on Principles of Distributed Computing (PODC03), pages 306-314, 2003.
5. M. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg. Communication-efcient Leader Election and Consensus with Limited Link Synchrony. In Proceedings of the 23rd annual ACM symposium on Principles of Distributed Computing (PODC04), pages 328-337, 2004.
6. R. Baldoni, M. Bertier, M. Raynal, and S. Tucci-Piergiovanni. Looking for a Definition of Dynamic Distributed Systems. In Proceedings of 9th Int. Conference on Parallel Computing Technologies (PaCT07), Springer Verlag LNCS, pages 1-14, 2007.
7. R. Baldoni, S. Bonomi, M. Raynal. Regular Register: an Implementation in a Churn-prone Environment. In Proceedings of 16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009).
8. T. Chandra, V. Hadzilacos, S. Toueg. The Weakest Failure Detector for Solving Consensus. Journal of ACM, 43 (4), pages 685722, 1996.
9. T.Chandra, and S.Toueg. Unreliable Failure Detectors for Reliable Distributed Systems. Journal of ACM, 43(2), pages 225-267, 1996.
10. A. Fernandez, E. Jimenez, and M. Raynal. Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. In Proceedings of International Conference on Dependable Systems and Networks (DSN06), pages 166-178, 2006.
11. E. Gafni, M. Merritt, and G. Taubenfeld. The Concurrency Hierarchy, and Algorithms for Unbounded Concurrency. In Proceedings of the 20th annual ACM symposium on Principles of Distributed Computing (PODC01) pages 161-169, 2001.
12. E. Jimenez, S. Arevalo and A. Fernandez. Implementing unreliable failure detectors with unknown membership. Information Processing Letters, 100, pages 60-63, 2006. (Pubitemid 44209160)
13. L.Lamport and M. Fischer. Byzantine Generals and Transaction Commit Protocols. SRI International, Technical Report 62, 1982.
14. V.Lo, D. Zhou, Y. Liu, C. Dickey, and J. Li. Scalable Supernode Selection in Peer-to-Peer Overlay Networks. In Proceeding of the 2nd International Workshop on Hot Topics in Peer-to-Peer Systems (HOT-P2P05), pages 18-25, 2005.
15. D. Malkhi, F. Oprea, and L. Zhou. Omega meets Paxos: Leader Election and Stability without Eventual Timely Links. In Proceedings of the 19th International Symposium on Distributed Computing (DISC05), pages 199-213, 2005.
16. M. Merritt and G. Taubenfeld. Computing with Infinitely Many Processes. In Proceedings of the 14th International Conference on Distributed Computing (DISC00), pages 164178, 2000.
17. N. Schiper and S.Toueg. A Robust and Lightweight Stable Leader Election Service for Dynamic Systems. In Proceedings of the 38th International Conference on Dependable Systems and Networks (DSN08), pages 207-216, 2008.
18. S. Tucci-Piergiovanni and R.Baldoni. Connectivity in Eventually Quiescent Dynamic Systems. In Proceedings of 3rd Latin-American Symposium on Dependable Computing (LADC07), Springer Verlag LNCS, pages 38-56, 2007.
19. S. Tucci-Piergiovanni and R. Baldoni. Eventual Leader Election with Infinite Arrivals. Technical Report. http://www.dis.uniroma1.it/midlab/ publications.