Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada

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.

[1]  Santosh K. Shrivastava,et al.  An overview of the Arjuna distributed programming system , 1991, IEEE Software.

[2]  Angel Alvarez,et al.  Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications , 1996, Ada-Europe.

[3]  Angel Alvarez,et al.  A Distributed Consensus Protocol with a Coordinator , 1993, Decentralized and Distributed Systems.

[4]  Jim Gray,et al.  Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[5]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[6]  Barbara Liskov,et al.  Distributed programming in Argus , 1988, CACM.

[7]  Bernd Walter,et al.  Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications , 1984, VLDB.

[8]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[9]  Brian Randell,et al.  Operating Systems, An Advanced Course , 1978 .

[10]  Santosh K. Shrivastava,et al.  An Overview of Arjuna: A Programming System for Reliable Distributed Computing , 1989 .

[11]  Gail E. Kaiser,et al.  Concurrency control in advanced database applications , 1991, CSUR.

[12]  Christopher J. Thompson,et al.  DVM: an object-oriented framework for building large distributed Ada systems , 1995, TRI-Ada '95.

[13]  Andy J. Wellings,et al.  On Programming Atomic Actions in Ada 95 , 1997, Ada-Europe.

[14]  Angel Alvarez,et al.  An Ada Library to Program Fault-Tolerant Distributed Applications , 1997, Ada-Europe.

[15]  André Schiper,et al.  From group communication to transactions in distributed systems , 1996, CACM.

[16]  Robbert van Renesse,et al.  Reliable Distributed Computing with the Isis Toolkit , 1994 .

[17]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[18]  Ricardo Jiménez-Peris,et al.  Synchronizing group transaction with rendezvous in a distributed Ada environment , 1998, SAC '98.