Abstract
Let the scope of the accuracy property ofan unreliable failure detector be the minimum number (k) ofpro cesses that may not erroneously suspect a correct process to have crashed. Classical failure detectors implicitly consider a scope equal to n (the total number ofp rocesses). This paper investigates accuracy properties with limited scope, thereby giving rise to the S k and ◊S k classes off ailure detectors. A reduction protocol transforming any failure detector belonging to S k (resp. ◊S k ) into a failure detector (without limited scope) of the class S (resp. ◊S) is given. This reduction protocol requires f < k, where f is the maximum number ofp rocess crashes. (This leaves open the problem to prove/disprove that this condition is necessary.) Then, the paper studies the consensus problem in asynchronous distributed message-passing systems equipped with a failure detector of the class ◊S k . It presents a simple consensus protocol that is explicitly based on ◊S k . This protocol requires f < min(k, n/2).
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
Borowsky E. and Gafni E., Generalized FLP Impossibility Results for t-Resilient Asynchronous Computations. Proc. 25th ACM Symposium on Theory of Computation, California (USA), pp. 91–100, 1993. 336
Chandra T. and Toueg S., Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, 43(2):225–267, March 1996. 330, 330, 330, 330, 330, 332, 332, 332, 332, 332, 332, 336, 336, 337, 338, 340
Chaudhuri S., Agreement is Harder than Consensus: Set Consensus Problems in Totally Asynchronous Systems. Proc. 9th ACM Symposium on Principles of Distributed Computing, Québec (Canada), pp. 311–324, 1990. 336
Fischer M.J., Lynch N. and Paterson M.S., Impossibility ofD istributed Consensus with One Faulty Process. Journal of the ACM, 32(2):374–382, April 1985. 329, 336
Guerraoui R. and Schiper A., Γ-Accurate Failure Detectors. Proc. 10th Workshop on Distributed Algorithms (WDAG’96), Bologna (Italy), Springer Verlag LNCS #1151, pp. 269–285, 1996. 336
Hurfin M. and Raynal M., A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. Distributed Computing, 12(4), 1999. 330, 332, 336, 338
Mostefaoui A. and Raynal M., Solving Consensus Using Chandra-Toueg’s Unreliable Failure Detectors: a General Quorum-Based Approach. Proc. 13th Symposium on DIstributed Computing (DISC’99), (Formerly WDAG), Bratislava (Slovakia), Springer Verlag LNCS #1693 (P. Jayanti Ed.), September 1999. 330, 330, 332, 332, 336, 337
Mostefaoui A. and Raynal M., Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. Tech. Report #1255, IRISA, Université de Rennes, France, July 1999, 15 pages. 338
Schiper A., Early Consensus in an Asynchronous System with a Weak Failure Detector. Distributed Computing, 10:149–157, 1997. 330, 332, 336, 338
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mostéfaou, A., Raynal, M. (1999). Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. In: Rangan, C.P., Raman, V., Ramanujam, R. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1999. Lecture Notes in Computer Science, vol 1738. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46691-6_26
Download citation
DOI: https://doi.org/10.1007/3-540-46691-6_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66836-7
Online ISBN: 978-3-540-46691-8
eBook Packages: Springer Book Archive