Abstract
Two important models for building fault-tolerant applications have been independently proposed in the literature, the transaction model (developed within the context of database applications) and the virtual synchrony model (proposed initially by the Isis system to handle replication). For a better understanding of the relations between these models, we address the following question: are the basic mechanisms needed to implement both models exactly the same? The paper answers this question by defining the Dynamic-Terminating-Multicast problem, and showing that it can be seen as a generic problem, closely related to the implementation of both the transaction model and the virtual synchrony model. It is thus possible to build a system offering, in an integrated way, both the transaction model and the virtual synchrony model. Such a system could offer powerful primitives that are currently cumbersome or impossible to express in the existing systems.
Research supported by the “Fonds national suisse” and OFES under contract number 21-32210.91, as part of the ESPRIT Basic Research Project BROADCAST (number 6360), and by PPR-IF under contract number 5003-34344.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
O. Babaoglu and S. Toueg. Non-Blocking Atomic Commitment. In Sape Mullender, editor, Distributed Systems. ACM Press, 1993.
A.J. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Distributed Database Systems. Addison-Welsey, 1987.
K. Birman. Virtual Synchrony Model. In K. Birman and R. van Renesse, editors, Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, 1994.
K. Birman. The Process Group Approach to Reliable Distributed Computing. Comm. ACM, 36(12):37–53, December 93.
K. Birman and T. Joseph. Reliable Communication in the Presence of Failures. ACM Trans. Comput. Syst., 5(1):47–76, February 1987.
T.D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Technical Report 93–1374, Department of Computer Science, Cornell University, August 1993. A preliminary version appeared in the Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, pages 325–340. ACM Press, August 1991.
M. Fischer, N. Lynch, and M. Paterson. Impossibility of Distributed Consensus with One Faulty Process. J. ACM, 32:374–382, April 1985.
L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM, 21(7):558–565, July 78.
S. Shrivastava P. Ezhilchelvan, R. Macedo. Newtop: A Fault-Tolerant Group Communication Protocol. Technical report, Univ of Newcastle, 1994.
A. M. Ricciardi and K. P. Birman. Using Process Groups to Implement Failure Detection in Asynchronous Environments. In Proc. of the 10th ACM Symposium on Principles of Distributed Computing, pages 341–352, August 1991.
A. Schiper and A. Sandoz. Uniform Reliable Multicast in a Virtually Synchronous Environment. In IEEE 13th Intl. Conf. Distributed Computing Systems, pages 561–568, May 93.
A.Z. Spector and P.M. Schwarz. Transactions: A construct for reliable distributed computing. ACM Operating Systems Review, 14(2):18–35, April 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guerraoui, R., Schiper, A. (1995). Transaction model vs virtual synchrony model: bridging the gap. In: Birman, K.P., Mattern, F., Schiper, A. (eds) Theory and Practice in Distributed Systems. Lecture Notes in Computer Science, vol 938. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60042-6_9
Download citation
DOI: https://doi.org/10.1007/3-540-60042-6_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60042-8
Online ISBN: 978-3-540-49409-6
eBook Packages: Springer Book Archive