Byzantine generals in action

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Byzantine generals in action: implementing fail-stop processors

Full text

Pdf (665 KB)

Source

ACM Transactions on Computer Systems (TOCS) archive
Volume 2 , Issue 2 (May 1984) table of contents

Pages: 145 - 154

Year of Publication: 1984

ISSN:0734-2071

Author

Fred B. Schneider

Department of Computer Science, Cornell University, Ithaca, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 63, Citation Count: 31

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/190.357399 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	DOLEV, D. The Byzantine Generals strike again. J. Algorithms 3, (1982), 14-30.
	2	FISCHER, M., AND LYNCH, N. A lower bound for the time to assure interactive consistency. Inf. Process. Lett. 14, 4, (1982), 182-186.
	3	HALPERN, J., SIMONS, B., AND STRONG, R. An efficient fault-tolerant algorithm for clock synchronization. IBM Research Rep. RJ 4094, IBM, San Jose, Calif., Nov. 1983.
	4	KATZMAN, J.A. A fault-tolerant computing system. In Proceedings of the 11th Hawaii International Conference on System Sciences, 1978.
	5	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	6	LAMPORT, L. The implementation of reliable distributed multiprocess systems. Comput. Networks 2 {1978), 95-114.
	7	Leslie Lamport, Using Time Instead of Timeout for Fault-Tolerant Distributed Systems., ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.254-280, April 1984 [doi>10.1145/2993.2994]
	8	Leslie Lamport , Robert Shostak , Marshall Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.382-401, July 1982 [doi>10.1145/357172.357176]
	9	Butler W. Lampson, Atomic Transactions, Distributed Systems - Architecture and Implementation, An Advanced Course, p.246-265, January 1981
	10	LYNCH, N.A., FISCHER, M.J., AND FOWLER, R. A simple and efficient Byzantine Generals algorithm. Tech. Rep. GIT-ICS-82/02, School of Information and Computer Science, Georgia Institute of Technology, Atlanta, Georgia, Feb. 1982.
	11	M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980 [doi>10.1145/322186.322188]
	12	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983 [doi>10.1145/357369.357371]
	13	Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982 [doi>10.1145/357162.357163]

CITED BY 31

	Stephen R. Mahaney , Fred B. Schneider, Inexact agreement: accuracy, precision, and graceful degradation, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.237-249, August 1985, Minaki, Ontario, Canada
	Anita Borg , Wolfgang Blau , Wolfgang Graetsch , Ferdinand Herrmann , Wolfgang Oberle, Fault tolerance under UNIX, ACM Transactions on Computer Systems (TOCS), v.7 n.1, p.1-24, Feb. 1989
	Ing-Ray Chen , Ding-Chau Wang , Chih-Ping Chu, Analyzing reconfigurable algorithms for managing replicated data, Journal of Systems and Software, v.72 n.3, p.417-430, August 2004
	Lorenzo Alvisi , Keith Marzullo, Trade-offs in implementing causal message logging protocols, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.58-67, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Dalia Malki , Ken Birman , Aleta Ricciardi , André Schiper, Uniform actions in asynchronous distributed systems, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.274-283, August 14-17, 1994, Los Angeles, California, United States
	David E. Lowell , Peter M. Chen, Persistent messages in local transactions, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.219-226, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Allan D. Griefer , H. Raymond Strong, Fault tolerant distributed services, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.18-27, August 15-17, 1988, Toronto, Ontario, Canada
	Keith Marzullo, Tolerating failures of continuous-valued sensors, ACM Transactions on Computer Systems (TOCS), v.8 n.4, p.284-304, Nov. 1990
	S. Venkatesan , Tony T-Y. Juang, Efficient algorithms for optimistic crash recovery, Distributed Computing, v.8 n.2, p.105-114, October 1994
	Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM (JACM), v.35 n.2, p.288-323, April 1988
	Lorenzo Alvisi , Keith Marzullo, Message Logging: Pessimistic, Optimistic, Causal, and Optimal, IEEE Transactions on Software Engineering, v.24 n.2, p.149-159, February 1998
	S. Venkatesan , Tony Tong-Ying Juang , Sridhar Alagar, Optimistic Crash Recovery without Changing Application Messages, IEEE Transactions on Parallel and Distributed Systems, v.8 n.3, p.263-271, March 1997
	Anish Arora , Paul C. Attie , E. Allen Emerson, Synthesis of fault-tolerant concurrent programs, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.173-182, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Cynthia Dwork , Dale Skeen, Patterns of communication in consensus protocols, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.143-153, August 27-29, 1984, Vancouver, British Columbia, Canada
	Francisco V. Brasileiro , Paul Devadoss Ezhilchelvan , Santosh K. Shrivastava , Neil A. Speirs , S. Tao, Implementing Fail-Silent Nodes for Distributed Systems, IEEE Transactions on Computers, v.45 n.11, p.1226-1238, November 1996
	Lorenzo Alvisi , Karan Bhatia , Keith Marzullo, Causality tracking in causal message-logging protocols, Distributed Computing, v.15 n.1, p.1-15, January 2002
	Yang-hua Chu , Sanjay G. Rao , Hui Zhang, A case for end system multicast (keynote address), ACM SIGMETRICS Performance Evaluation Review, v.28 n.1, p.1-12, June 2000
	Ing-Ray Chen , Ding-Chau Wang , Chih-Ping Chu, Analyzing User-Perceived Dependability and Performance Characteristics of Voting Algorithms for Managing Replicated Data, Distributed and Parallel Databases, v.14 n.3, p.199-219, November 2003
	Robbert van Renesse , Fred B. Schneider, Chain replication for supporting high throughput and availability, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.7-7, December 06-08, 2004, San Francisco, CA
	Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for asynchronous systems (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.325-340, August 19-21, 1991, Montreal, Quebec, Canada
	Danny Dolev , Ruediger Reischuk , H. Raymond Strong, Early stopping in Byzantine agreement, Journal of the ACM (JACM), v.37 n.4, p.720-741, Oct. 1990
	Ing-Jye Shyu , Shiuh-Pyng Shieh, A Distributed Fault-Tolerant Design for Multiple-Server VOD Systems, Multimedia Tools and Applications, v.8 n.2, p.219-247, March 1999
	Özalp Babaoğlu, On the reliability of consensus-based fault-tolerant distributed computing systems, ACM Transactions on Computer Systems (TOCS), v.5 n.4, p.394-416, Nov. 1987
	A. Bums , A. J. Wellings, Real-time Ada: outstanding problem areas, ACM SIGAda Ada Letters, v.X n.4, p.5-14, Spring 1990
	David E. Lowell , Subhachandra Chandra , Peter M. Chen, Exploring failure transparency and the limits of generic recovery, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.20-20, October 22-25, 2000, San Diego, California
	Jeffrey Shneidman , David C. Parkes, Specification faithfulness in networks with rational nodes, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
	Mehul A. Shah , Joseph M. Hellerstein , Eric Brewer, Highly available, fault-tolerant, parallel dataflows, Proceedings of the 2004 ACM SIGMOD international conference on Management of data, June 13-18, 2004, Paris, France
	Fred B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys (CSUR), v.22 n.4, p.299-319, Dec. 1990
	Paul C. Attie , Anish Arora , E. Allen Emerson, Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.125-185, January 2004
	Jeff Kramer, Distributed software engineering, Proceedings of the 16th international conference on Software engineering, p.253-263, May 16-21, 1994, Sorrento, Italy
	Michael Barborak , Anton Dahbura , Minoslaw Malek, The consensus problem in fault-tolerant computing, ACM Computing Surveys (CSUR), v.25 n.2, p.171-220, June 1993