Abstract
We define the problem of Distributed Bidding and derive efficient solutions for several models of process failures. Our algorithms are early-stopping: their performance gracefully degrades as the number of processes that actually fail increases. We use our Distributed Bidding algorithms to derive the first known early-delivery Atomic Broadcast algorithms that deliver messages in time proportional to the number of processes that actually fail during the broadcast, rather than to the maximum number of faulty processes that the algorithm tolerates.
Preliminary Version
Partially supported by the Defense Advanced Research Projects Agency (DoD) under NASA Ames grant number NAG 2-593, Contract N00140-87-C-8904
Partially supported by an IBM Graduate Student Fellowship.
Partially supported by NSF grant CCR-8901780.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Brian A. Coan, Danny Dolev, Cynthia Dwork, and Larry Stockmeyer. The distributed firing squad problem. In Proceedings of the Seventeenth ACM Symposium on Theory of Computing, pages 335–345, Providence, Rhode Island, May 1985. ACM SIGACT.
Brian A. Coan. Efficient agreement using fault diagnosis. In Proceedings of the Twenty-Sixth Annual Allerton Conference on Communication, Control, and Computing, September 1988.
Flaviu Cristian. Probabilistic clock synchronization. Distributed Computing, 3:146–158, 1989.
Flaviu Cristian and Ray Strong. A family of early-delivery atomic broadcast protocols, June 1987. IBM Almaden Research Center, Unpublished manuscript.
Danny Dolev, R. Reischuk, and Ray Strong. Eventual is earlier than immediate. In Proceedings of Twenty third Symposium on Foundations of Computer Science, pages 196–203, November 1982.
Danny Dolev and H. Ray Strong. Authenticated algorithms for Byzantine agreement. SIAM Journal on Computing, 12(4):656–666, November 1983.
Ajei Gopal, Ray Strong, Sam Toueg, and Flaviu Cristian. Early-delivery atomic broadcast. In Proceedings of Ninth ACM Symposium on Principles of Distributed Computing, Quebec City, Canada, August 1990.
Amir Herzberg and Shay Kutten. Efficient detection of message forwarding faults. In Proceedings of the Eight ACM Symposium on Principles of Distributed Computing, Edmonton, Alberta, August 1989. ACM SIGOPS-SIGACT.
Leslie Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382–401, July 1982.
Yoram Moses and Orly Waarts. Coordinated traversal: (t+1)-round Byzantine agreement in polynomial time. In Proceedings of the Twenty-Ninth IEEE Symposium on Foundations of Computer Science, pages 246–255, White Plains, New York, October 1988. IEEE.
Gil Neiger and Sam Toueg. Automatically increasing the fault-tolerance of distributed systems. In Proceedings of the Seventh ACM Symposium on Principles of Distributed Computing, pages 248–262, Toronto, Ontario, August 1988. ACM SIGOPS-SIGACT.
Kenneth J. Perry and Sam Toueg. An authenticated byzantine generals algorithm with early stopping. Technical Report 84-620, Cornell University, Ithaca, June 1984.
Kenneth J. Perry and Sam Toueg. Distributed agreement in the presence of processor and communication faults. IEEE Transactions on Software Engineering, 12(3):477–482, March 1986.
Fred Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 1990. To Appear.
T. K. Srikanth and Sam Toueg. Simulating authenticated broadcasts to derive simple fault-tolerant algorithms. Distributed Computing, 2(2):80–94, 1987.
Sam Toueg, Kenneth J. Perry, and T. K. Srikanth. Fast distributed agreement. SIAM Journal on Computing, 16(3):445–457, June 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Budhiraja, N., Gopal, A., Toueg, S. (1991). Early-stopping distributed bidding and applications. In: van Leeuwen, J., Santoro, N. (eds) Distributed Algorithms. WDAG 1990. Lecture Notes in Computer Science, vol 486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54099-7_21
Download citation
DOI: https://doi.org/10.1007/3-540-54099-7_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54099-1
Online ISBN: 978-3-540-47405-0
eBook Packages: Springer Book Archive