Abstract
We present Transactional Drago a language that implements Group Transactions, a new transaction model we have developed. This model integrates the group communication paradigm with the nested transaction model. Transactional Drago extends Drago, a distributed fault-tolerant extension of Ada implementing the group paradigm. In this paper we describe the linguistic features added to Drago to support group transactions and how they are integrated with the existing mechanisms in Drago, particularly with group communication.
This work was partially supported by the Spanish Research Council, CICYT, under grant TIC94-C02-01.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
N. S. Barghouti and G. E. Kaiser: Concurrency Control in Advanced Distributed Database Applications. ACM Computing Surveys, 23(3), Sep. 1991, 269–317
K. P. Birman and R. van Renesse: Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.
J.L. Eppinger, L.B. Mummert, and A.Z. Spector: Camelot and Avalon. Morgan Kaufmann Publishers, 1991
J. Gray. Operating Systems: An Advanced Course. LNCS 60. Springer, 1978, 393–481
F. Guerra, S. Arévalo, á. álvarez, and J. Miranda. A Distributed Consensus Protocol with a Coordinator. In ICDDS'93. Elsevier, Sept. 1993, 85–96
F. Guerra, J. Miranda, á. álvarez, and S. Arévalo. An Ada Library to Program Fault-Tolerant Distributed Applications. In Ada-Europe'97, LNCS 1251. Springer, 230–243
L. Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 21(7), Jul. 1978, 558–565
B. Liskov. Distributed Programming in Argus. CACM, 31(3), Mar. 1988, 300–312
J. Miranda, A. Alvarez, S. Arévalo, and F. Guerra. Drago: An Ada Extension to Program Fault-tolerant Distributed Applications. In Ada-Europe'96, LNCS 1088. Springer, 235–246
J. E. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, MIT, 1981.
G. D. Parrington, S. K. Shrivastava, S. M. Wheater, and M. C. Little. The Design and Implementation of Arjuna. TR-65, BROADCAST Project, Oct. 1994.
M. Patiño, R. Jiménez, and S. Arévalo. Synchronizing Group Transactions with Rendezvous in a Distributed Ada Environment. In ACM Symposium on Applied Computing. ACM Press, 1998.
A. Romanovsky, S.E. Mitchell, and A.J. Wellings. On Programming Atomic Actions in Ada 95. In Ada-Europe'97, LNCS 1251. Springer, 254–265
A. Schiper and M. Raynal. From Group Communication to Transactions in Distributed Systems. CACM, 39(4), 1996, 84–87
F. B. Schneider. Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4), 1990, 299–319
S. K. Shrivastava, G. N. Dixon, and G. D. Parrington. An Overview of Arjuna: A Programming System for Reliable Distributed Computing. IEEE Software, 8(1), Jan. 1991, 63–73
C. J. Thompson and V. Celier. DVM: An Object-Oriented Framework for Building Large Distributed Ada Systems. In TriAda Conference. ACM Press, 1995.
B. Walter. Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications. In VLDB'84, 161–171
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Patiño-Martínez, M., Jiménez-Peris, R., Arévalo, S. (1998). Integrating groups and transactions: A fault-tolerant extension of Ada. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054996
Download citation
DOI: https://doi.org/10.1007/BFb0054996
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive