Integrating groups and transactions: A fault-tolerant extension of Ada

  • Marta Patiño-Martínez
  • Ricardo Jiménez-Peris
  • Sergio Arévalo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)


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.


Cooperative Group Concurrency Control Transaction Model Server Transaction Atomic Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    N. S. Barghouti and G. E. Kaiser: Concurrency Control in Advanced Distributed Database Applications. ACM Computing Surveys, 23(3), Sep. 1991, 269–317CrossRefGoogle Scholar
  2. 2.
    K. P. Birman and R. van Renesse: Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.Google Scholar
  3. 3.
    J.L. Eppinger, L.B. Mummert, and A.Z. Spector: Camelot and Avalon. Morgan Kaufmann Publishers, 1991Google Scholar
  4. 4.
    J. Gray. Operating Systems: An Advanced Course. LNCS 60. Springer, 1978, 393–481Google Scholar
  5. 5.
    F. Guerra, S. Arévalo, á. álvarez, and J. Miranda. A Distributed Consensus Protocol with a Coordinator. In ICDDS'93. Elsevier, Sept. 1993, 85–96Google Scholar
  6. 6.
    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–243Google Scholar
  7. 7.
    L. Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 21(7), Jul. 1978, 558–565zbMATHGoogle Scholar
  8. 8.
    B. Liskov. Distributed Programming in Argus. CACM, 31(3), Mar. 1988, 300–312MathSciNetGoogle Scholar
  9. 9.
    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–246Google Scholar
  10. 10.
    J. E. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, MIT, 1981.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    A. Romanovsky, S.E. Mitchell, and A.J. Wellings. On Programming Atomic Actions in Ada 95. In Ada-Europe'97, LNCS 1251. Springer, 254–265Google Scholar
  14. 14.
    A. Schiper and M. Raynal. From Group Communication to Transactions in Distributed Systems. CACM, 39(4), 1996, 84–87Google Scholar
  15. 15.
    F. B. Schneider. Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4), 1990, 299–319CrossRefGoogle Scholar
  16. 16.
    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–73CrossRefGoogle Scholar
  17. 17.
    C. J. Thompson and V. Celier. DVM: An Object-Oriented Framework for Building Large Distributed Ada Systems. In TriAda Conference. ACM Press, 1995.Google Scholar
  18. 18.
    B. Walter. Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications. In VLDB'84, 161–171Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Marta Patiño-Martínez
    • 1
  • Ricardo Jiménez-Peris
    • 1
  • Sergio Arévalo
    • 1
  1. 1.Facultad de InformáticaUniversidad Politécnica de MadridMadridSpain

Personalised recommendations