Time-free and timer-based assumptions can be combined to obtain eventual leadership

IEEE Transactions on Parallel and Distributed Systems

Volumn 17, Issue 7, 2006, Pages 656-666

  Mostefaoui, Achour ^a   Raynal, Michel ^a   Travers, Corentin ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Asynchronous system; Distributed algorithm; Fault tolerance; Hybrid protocol; Leader election; Process crash; Time free assumption; Timer based assumption

Indexed keywords

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS; HYBRID COMPUTERS; NETWORK PROTOCOLS; TOPOLOGY;

LEADER-BASED PROTOCOLS; STAR COMMUNICATION STRUCTURE; TIME-FREE ASSUMPTION; TIMER-BASED ASSUMPTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33745686706     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/TPDS.2006.95     Document Type: Article

References (20)

1. M.K. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg, "On Implementing Omega with Weak Reliability and Synchrony Assumptions," Proc. 22nd ACM Symp. Principles of Distributed Computing (PODC '03), pp. 306-314, 2003.
2. M.K. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg, "Communication-Efficient Leader Election and Consensus with Limited Link Synchrony," Proc. 23rd ACM Symp. Principles of Distributed Computing (PODC '04), pp. 328-337, 2004.
3. E. Anceaume, A. Fernandez, A. Mostefaoui, G. Neiger, and M. Raynal, "Necessary and Sufficient Condition for Transforming Limited Accuracy Failure Detectors," J. Computer and System Sciences, vol. 68, pp. 123-133, 2004.
4. T.D. Chandra and S. Toueg, "Unreliable Failure Detectors for Reliable Distributed Systems," J. ACM, vol. 43, no. 2, pp. 225-267, 1996.
5. T.D. Chandra, V. Hadzilacos, and S. Toueg, "The Weakest Failure Detector for Solving Consensus," J. ACM, vol. 43, no. 4, pp. 685-722, 1996.
6. F. Chu, "Reducing Ω to ◇W," Information Processing Letters, vol. 76, no. 6, pp. 293-298, 1998.
7. F. Cristian and C. Fetzer, "The Timed Asynchronous System Model," IEEE Trans. Parallel and Distributed Systems, vol. 10, no. 6, pp. 642-657, June 1999.
8. C. Dwork, N. Lynch, and L. Stockmeyer, "Consensus in the Presence of Partial Synchrony," J. ACM, vol. 35, no. 2, pp. 288-323, 1988.
9. M.J. Fischer, N. Lynch, and M.S. Paterson, "Impossibility of Distributed Consensus with One Faulty Process," J. ACM, vol. 32, no. 2, pp. 374-382, 1985.
10. R. Guerraoui, "Indulgent Algorithms," Proc. 19th ACM Symp. Principles of Distributed Computing, (PODC '00), pp. 289-298, 2000.
11. R. Guerraoui and M. Raynal, "The Information Structure of Indulgent Consensus," IEEE Trans. Computers, vol. 53, no. 4, pp. 453-466, Apr. 2004.
12. M. Hutle, "Omega in Sparse Networks," Fast Abstracts, Proc. 10th IEEE Int'l Pacific Rim Dependable Computing Symp. (PRDC '04), 2004.
13. L. Lamport, "The Part-Time Parliament," ACM Trans. Computer Systems, vol. 16, no. 2, pp. 133-169, 1998.
14. M. Larrea, A. Fernández, and S. Arévalo, "Optimal Implementation of the Weakest Failure Detector for Solving Consensus," Proc. 19th Symp. Reliable Distributed Systems (SRDS '00), pp. 52-60, 2000.
15. A. Mostefaoui, E. Mourgaya, and M. Raynal, "Asynchronous Implementation of Failure Detectors," Proc. Int'l IEEE Conf. Dependable Systems and Networks (DSN '03), pp. 351-360, 2003.
16. A. Mostefaoui and M. Raynal, "Low-Cost Consensus-Based Atomic Broadcast," Proc. Seventh IEEE Pacific Rim Int'l Symp. Dependable Computing (PRDC '00), pp. 45-52, 2000.
17. A. Mostefaoui and M. Raynal, "Leader-Based Consensus," Parallel Processing Letters, vol. 11, no. 1, pp. 95-107, 2001.
18. A. Mostefaoui, M. Raynal, and C. Travers, "Crash-Resilient Time-Free Eventual Leadership," Proc. 23rd Symp. Reliable Distributed Systems (SRDS '04), pp. 208-217, 2004.
19. F. Pedone and A. Schiper, "Handling Message Semantics with Generic Broadcast Protocols," Distributed Computing, vol. 15, no. 2, pp. 97-107, 2002.
20. D. Powell, "Failure Mode Assumptions and Assumption Coverage," Proc. 22nd Int'l Symp. Fault-Tolerant Computing (FTCS-22), pp. 386-395, 1992.