Abstract
Atomic Broadcast is a communication primitive that ensures total ordering of messages in distributed systems. This primitive is particularly useful to maintain the consistency of replicated information despite concurrency and failures. This paper addresses the problem of designing an Atomic Broadcast protocol in an asynchronous distributed system where processes can exhibit malicious failures (i.e., processes are Byzantine). We point out the impact of those kind of failures on the modularity of the protocol.
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
Kenneth P. Birman and Robbert van Renesse, editors. Reliable Distributed Computing with the Isis Toolkit IEEE Computer Society Press, 1994.
T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225–267, March 1996.
A. Doudou, B. Garbinato, R. Guerraoui, and A. Schiper. Muteness Failure Detectors: Specification and Implemention. In Third European Dependable Computing Conference. Springer Verlag, September 1999.
A. Doudou, B. Garbinato, and R.Guerraoui. Byzantine Failure Detectors: Do They Make Sense? Technical Report SSC/1999/034, École Polytechnique Fédérale, Lausanne (Switzerland), October 1999.
M. Fischer, N. Lynch, and M. Paterson. Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM, 32:374–382, April 1985.
Ajei Gopal and Sam Toueg. Inconsistency and contamination. In Luigi Logrippo, editor, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, pages 257–272, Montéal, Québec, Canada, August 1991. ACM Press.
R. Guerraoui and A. Schiper. Consensus service: a modular approach for building agreement protocols in distributed systems. In IEEE 26th Int Symp on Fault-Tolerant Computing (FTCS-26), pages 168–177, June 1996.
R. Guerraoui and A. Schiper. Software-based replication for fault tolerance. IEEE Computer, 30(4):68–74, April 1997.
Rachid Guerraoui. Revisiting the relationship between non-blocking atomic commitment and consensus. In Jean-Michel Hélary and Michel Raynal, editors, Distributed Algorithms, 9th International Workshop, WDAG ′95, volume 972 of Lecture Notes in Computer Science, pages 87–100, Le Mont-Saint-Michel, France, 13–15 September 1995. Springer.
V. Hadzilacos and S. Toueg. A modular approach to fault-tolerant broadcasts and related problems. Technical Report TR94–1425, Cornell University, Computer Science Department, May 1994.
M. F. Kaashoek and A. S. Tanenbaum. Group Communication in the Amoeba Distributed Operating System. In icdcs, number 11, pages 882–891, May 1991.
K. P. Kihlstrom, L. E. Moser, and P. M. Melliar-Smith. The secure protocols for securing group communication. In Proceedings of the 31st Hawaii International Conference on System Sciences, volume 3, pages 317–326. IEEE, January 1998.
L. Lamport, R. Shostak, and M. Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382–401, July 1982.
L. E. Moser, P. M. Melliar-Smith, D. A. Agarwal, R. K. Budhia, and C. A. Lingley-Papadopoulos. Totem: A fault-tolerant multicast group communication system. Communications of the ACM, 39(4):54–63, April 1996.
M. K. Reiter. The Rampart toolkit for building high-integrity services. Theory and Practice in Distributed Systems (Lecture Notes in Computer Science), 938:99–110, 1995.
Michael K. Reiter. A secure group membership protocol. IEEE Transactions on Software Engineering, 22(l):31–42, January 1996.
M.K. Reiter. Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. In Proc. 2nd ACM Conf on Computer and Communications Security, pages 68–80, November 1994.
R.L. Rivest, A. Shamir, and L. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM, 21 (2): 120–126, February 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Doudou, A., Garbinato, B., Guerraoui, R. (2000). Atomic Broadcast In A Byzantine Model. In: Hommel, G. (eds) Communication-Based Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9608-4_14
Download citation
DOI: https://doi.org/10.1007/978-94-015-9608-4_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5399-2
Online ISBN: 978-94-015-9608-4
eBook Packages: Springer Book Archive