On the possibility of consensus in asynchronous systems with finite average response times

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2005, Pages 271-280

  Fetzer, Christof ^a   Schmid, Ulrich ^b   Süsskraut, Martin ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Asynchronous systems; Consensus; Eventually perfect failure detector; Impossibility

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; FINITE ELEMENT METHOD; INTEGER PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING; RESPONSE TIME (COMPUTER SYSTEMS); COMPUTER PROGRAMMING; REAL TIME SYSTEMS;

ASYNCHRONOUS SYSTEMS; CONSENSUS; EVENTUALLY PERFECT FAILURE DETECTORS; IMPOSSIBILITY;

DISTRIBUTED COMPUTER SYSTEMS;

ASYNCHRONOUS SYSTEMS; CONSENSUS; IMPOSSIBILITY; TRANSMISSION DELAY;

EID: 27944456141     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. M. K. Aguilera, W. Chen, and S. Toueg. On quiescent reliable communication. SIAM Journal of Computing, 29(6):2040-2073, April 2000.
2. M. K. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg. On implementing Omega with weak reliability and synchrony assumptions. In Proceeding of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC'03), 2003. (to appear).
3. M. Bertier, O. Marin, and P. Sens. Implementation and performance evaluation of an adaptable failure detector. In Proceedings of the 2002 International Conference on Dependable Systems and Networks, pages 354-363. IEEE Computer Society, 2002.
4. T. Chandra, V. Hadzilacos, and S. Toueg. The weakest failure detector for solving consensus. In Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, pages 147-158, Aug 1992.
5. T. Chandra and S. Toueg. Unreliable failure detectors for asynchronous systems. In Proceedings of the 10th ACM Symposium on Principles of Distributed Computing, pages 325-340, Aug 1991.
6. T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, March 1996.
7. W. Chen, S. Toueg, and M. K. Aguilera. On the quality of service of failure detectors. IEEE Trans. Comput., 51(5):561-580, 2002.
8. F. Cristian and C. Fetzer. The timed asynchronous distributed system model. IEEE Transactions on Parallel and Distributed Systems, pages 642-657, Jun 1999.
9. D. Dolev, C. Dwork, and L. Stockmeyer. On the minimal synchronism needed for distributed consensus. Journal of the ACM, 34(1):77-97, Jan. 1987.
10. A. Doudou, B. Garbinato, R. Guerraoui, and A. Schiper. Muteness failure detectors: Specification and implementation. In Proceedings 3rd European Dependable Computing Conference (EDCC-3), volume 1667 of LNCS 1667, pages 71-87. Springer, September 1999.
11. P. Dutta and R. Guerraoui. The inherent price of indulgence. In Proceedings of the Twenty-first Annual Symposium on Principles of Distributed Computing, pages 88-97. ACM Press, 2002.
12. C. Dwork, N. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288-323, Apr. 1988.
13. C. Fetzer. The message classification model. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, pages 153-162. ACM Press, 1998.
14. C. Fetzer. Perfect failure detection in timed asynchronous systems. IEEE Transactions of Computers, 52:99-112, Feb 2003.
15. C. Fetzer, M. Raynal, and F. Tronel. An adaptive failure detection protocol. In Pacific Rim International Symposium on Dependable Computing (PRDC 2001), Seoul, Korea, Dec 2001.
16. C. Fetzer and U. Schmid. On the possibility of consensus in asynchronous systems with finite average response times. Technical Report 14/2004, 2004.
17. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty processor. Journal of the ACM, 32(2):374-382, Apr. 1985.
18. R. Friedman, A. Mostefaoui, and M. Raynal. The notion of veto number and the respective power of op and os to solve one-shot agreement problems. In Proceedings of the 18th ACM Symposium on Principles of Distributed Computing (DISC04), pages 41-54. Springer Verlag, October 2004.
19. V. K. Garg and J. R. Mitchell. Implementable failure detectors in asynchronous systems. In Proceedings of the 18th Int. Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'98), LNCS 1530, pages 158-169. Springer, 1998.
20. R. Guerraoui, R. Oliveira, and A. Schiper. Stubborn communication channels, 1996.
21. I. Gupta, T. D. Chandra, and G. S. Goldszmidt. On scalable and efficient distributed failure detectors. In Proceedings of the 20th ACM Symposium on Principles of Distributed Computing (PODC'01), pages 170-179, Aug. 2001.
22. J.-F. Hermant and G. Le Lann. Fast asynchronous uniform consensus in real-time distributed systems. IEEE Transactions on Computers, 51(8):931-944, Aug. 2002.
23. K. P. Kihlstrom, L. E. Moser, and P. M. Melliar-Smith. Solving consensus in a byzantine environment using an unreliable fault detector. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS), pages 61-75, Dec. 1997.
24. L. Lamport. The part-time parliament. ACM Transactions on Computer Systems, 16(2): 133-169, May 1998.
25. M. Larrea, A. Fernández, and S. Arévalo. Efficient algorithms to implement unreliable failure detectors in partially synchronous systems. In Proceedings of the 13th International Symposium on Distributed Computing (DISC'99), LNCS 1693, pages 34-48. Springer, Sept. 1999.
26. M. Larrea, A. Fernandez, and S. Arévalo. Optimal implementation of the weakest failure detector for sloving consensus. In Proceedings of the 19th ACM Symposium on Principles of Distributed Computing (PODC'00), page 334, 2000.
27. G. Le Lann and U. Schmid. How to implement a timer-free perfect failure detector in partially synchronous systems. Technical Report 183/1-127, January 2003.
28. A. Mostefaoui, E. Mourgaya, and M. Raynal. Asynchronous implementation of failure detectors. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'03), San Francisco, CA, June 22-25, 2003.
29. A. Mostefaoui, S. Rajsbaum, and M. Raynal. Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM, 50(6):922-954, 2003.
30. A. Mostefaoui and M. Raynal. Solving consensus using chandra-toueg's unreliable failure detectors: A general quorum-based approach. In Proceedings 13th International Symposium on Distributed Computing (DISC'99), volume 1693 of LNCS, pages 49-63. Springer-Verlag, 1999.