Abstract
Trivially, agreement problems such as consensus, that cannot be solved in non-anonymous asynchronous systems prone to process failures, cannot be solved either if the system is anonymous. The paper investigates failure detectors that allow processes to circumvent this impossibility. It has several contributions. It first presents four failure detectors (denoted AP, \(\overline{AP}\), AΩ and AΣ) and show that they are the “identity-free” counterparts of the two perfect failure detectors, eventual leader failure detectors and quorum failure detectors, respectively. AΣ is new and showing that AΣ and Σ have the same computability power in a non-anonymous system is not trivial. The paper also shows that the notion of failure detector reduction is related to the computation model. Then, the paper presents and proves correct an uniform anonymous consensus algorithm based on the failure detector pair (AΩ,AΣ) (“uniform” means that not only processes have no identity, but no process is aware of the total number of processes). This new algorithm is not a “straightforward extension” of an algorithm designed for non-anonymous systems. To benefit from AΣ, it uses a novel message exchange pattern where each phase of every round is made up of sub-rounds in which appropriate control information is exchanged. Finally, the paper discusses the notions of failure detector hierarchy, weakest failure detector for anonymous consensus, and the implementation of identity-free failure detectors in anonymous systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D.: Local and Global Properties in Networks of Processes. In: Proc. 12th Symposium on Theory of Computing (STOC’80), pp. 82–93. ACM Press, New York (1980)
Biely, M., Robinson, P., Schmid, U.: Weak Synchrony Models and Failure Detectors for Message-passing (k)Set Agreement. In: Abdelzaher, T., Raynal, M., Santoro, N. (eds.) OPODIS 2009. LNCS, vol. 5923, pp. 285–299. Springer, Heidelberg (2009)
Bonnet, F., Raynal, M.: The Price of Anonymity: Optimal Consensus despite Asynchrony, Crash and Anonymity. In: Keidar, I. (ed.) DISC 2009. LNCS, vol. 5805, pp. 341–355. Springer, Heidelberg (2009)
Bonnet, F., Raynal, M.: Looking for the Weakest Failure Detector for k-Set Agreement in Message-passing Systems: Is Π k the End of the Road? In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol. 5873, pp. 149–164. Springer, Heidelberg (2009)
Bonnet, F., Raynal, M.: A Simple Proof of the Necessity of the Failure Detector Σ to Implement an Atomic Register in Asynchronous Message-passing Systems. Information Processing Letters 110(4), 153–157 (2010)
Bonnet, F., Raynal, M.: Anonymous Asynchronous Systems: The Case of Failure Detectors. Tech. Report PI 1945, IRISA, Rennes (January 2010)
Chandra, T., Hadzilacos, V., Toueg, S.: The Weakest Failure Detector for Solving Consensus. Journal of the ACM 43(4), 685–722 (1996)
Chandra, T., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM 43(2), 225–267 (1996)
Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.: A Realistic Look at Failure Detectors. In: Proc. Int’l Conference International on Dependable Systems and Networks (DSN’02), pp. 345–353. IEEE Computer Press, Los Alamitos (2002)
Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.: Tight Failure Detectors Bounds on Atomic Objects. Journal of the ACM 57(4) (2010)
Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Hadzilacos, V., Kouznetsov, P., Toueg, S.: The Weakest Failure Detectors to Solve Certain Fundamental Problems in Distributed Computing. In: Proc. 23th ACM Symposium on Principles of Distributed Computing (PODC’04), pp. 338–346. ACM Press, New York (2004)
Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Tielmann, A.: The Weakest Failure Detector for Message Passing Set-Agreement. In: Taubenfeld, G. (ed.) DISC 2008. LNCS, vol. 5218, pp. 109–120. Springer, Heidelberg (2008)
Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM 32(2), 374–382 (1985)
Gifford, D.K.: Weighted Voting for Replicated Data. In: Proc. 7th ACM Symposium on Operating System Principles (SOSP’79), pp. 150–172. ACM Press, New York (1979)
Guerraoui, R., Raynal, M.: The Alpha of Indulgent Consensus. The Computer Journal 50(1), 53–67 (2007)
Jayanti, P., Toueg, S.: Every Problem has a Weakest Failure Detector. In: Proc. 27th ACM Symposium on Principles of Distributed Computing (PODC’08), pp. 75–84 (2008)
Mostefaoui, A., Rajsbaum, S., Raynal, M., Travers, C.: On the Computability Power and the Robustness of Set Agreement-oriented Failure Detector Classes. Distributed Computing 21(3), 201–222 (2008)
Mostefaoui, A., Rajsbaum, S., Raynal, M., Travers, C.: The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM Journal of Computing 38(4), 1974–1601 (2008)
Mostefaoui, A., Raynal, M.: Solving Consensus Using Chandra-Toueg’s Unreliable Failure Detectors: a General Quorum-Based Approach. In: Jayanti, P. (ed.) DISC 1999. LNCS, vol. 1693, pp. 49–63. Springer, Heidelberg (1999)
Mostefaoui, A., Raynal, M.: Leader-Based Consensus. PPL 11(1), 95–107 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonnet, F., Raynal, M. (2010). Anonymous Asynchronous Systems: The Case of Failure Detectors. In: Lynch, N.A., Shvartsman, A.A. (eds) Distributed Computing. DISC 2010. Lecture Notes in Computer Science, vol 6343. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15763-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-15763-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15762-2
Online ISBN: 978-3-642-15763-9
eBook Packages: Computer ScienceComputer Science (R0)