Synchronizing group transactions with rendezvous in a distributed ADA environment

Proceedings of the ACM Symposium on Applied Computing

Volumn 02-February-1998, Issue , 1998, Pages 2-9

  Patiño Martínez, Marta ^a   Jiménez Peris, Ricardo ^a   Arévalo, Sergio ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Distributed systems; Fault tolerance; Group communication; Transactions

Indexed keywords

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; MULTICASTING;

DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; GROUP COMMUNICATIONS; INTERACTION MECHANISMS; MULTICAST COMMUNICATION; REMOTE PROCEDURE CALLS; SYNCHRONIZATION MECHANISMS; TRANSACTIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 85002406600     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/330560.330562     Document Type: Conference Paper

References (23)

1. S. Arévalo, A. Alvarez, J. Miranda, and F. Guerra. A Fault-tolerant Programming Language Based on Distributed Consensus. Cabernet'94 Workshop, Mar. 1994.
2. X S. Barghouti and G. E. Kaiser. Concurrency Control in Advanced Distributed Database Applications. ACM Computing Surveys, 23(3):269-317. Sep 1991.
3. K. P. Birman. A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication. Operating Systems Review, 28(1): 11-20, Jan. 1994.
4. K. P. Birman and R. van Renesse. Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.
5. A. Burns and A.J. Wellings. Ada 95: An Effective Concurrent Programming Language. In A. Strohmeier, editor, Reliable Software Technologies, Ada-Europe'96, volume LNCS 1088, pages 58-77. Springer, 1996.
6. D. R. Cheriton and D. Skeen. Understanding the Limitations of Causally and Totally Ordered Communication. In 14th ACM Symposium on Operating Systems Principles, Asheville, North Carolina, pages 44-57, Dec. 1993.
7. P. K. Chrysanthis and K. Ramamritham. ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. In ACM SIG-MOD International conference on Management of Data, pages 194-203, 1990.
8. J.L. Eppinger, L.B. Mummert, and A.Z. Spector. Camelot and Avalon. Morgan Kaufmann Publishers, 1991.
9. M. F. Fernandez and S. B. Zdonik. Transaction Groups: A Model for Controlling Cooperative Transactions. Third International Workshop on Persistent Object Systems, pages 128-138, 1989.
10. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan-Kaufmann, 1993.
11. F. Guerra, S. Arévalo, A. Alvarez, and J. Miranda. A Distributed Consensus Protocol with a Coordinator. In Int. Conf. on Decentralized and Distributed Systems. ICDDS'93. IFIP. Palma de Mallorca, pages 85-96. Elsevier, Sept. 1993.
12. F. Guerra, J. Miranda, A. Alvarez, and S. Arévalo. An Ada Library to Program Fault-Tolerant Distributed Applications. In K. Hardy and J. Briggs, editors, Reliable Software Technologies, Ada-Europe'97, volume LNCS 1251, pages 230-243. Springer, 1997.
13. T. Haerder and K. Rothermel. Principles of Transaction-Oriented Database Recovery. ACM Computer Surveys, 15(4):287-317, 1983.
14. MP. Herlihy and J. M. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492. Jul. 1990.
15. B. Liskov. Distributed Programming in Argus. Communications of the ACM. 31(3):300 312. Mar. 1988.
16. J. Miranda, A. Alvarez, S. Arévalo, and F. Guerra. Drago: An Ada Extension to Program Fault-tolerant Distributed Applications. In A. Strohmeier, editor, Reliable Software Technologies, Ada-Europe'96, volume LNCS 1088, pages 235-246. Springer, 1996.
17. J. E. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 1981. Also, Tecnnical Report MIT/LCS/TR-260.
18. A. Romanovsky, S.E. Mitchell, and A.J. Wellings. On Programming Atomic Actions in Ada 95. In K. Hardy and J. Briggs, editors, Reliable Software Technologies, Ada-Ewope'97, volume LNCS 1251, pages 254-265. Springer, 1997.
19. A. Schiper and M. Raynal. From Group Communication to Transactions in Distributed Systems. Communications of the ACM, 39(4):84-87, 1996.
20. S. K. Shrivastava. To CATOCS or not to CATOCS, that is the. Operating Systems Review, 28(4):11-14, Oct. 1994.
21. S. K. Shrivastava, G. N. Dixon, and G. D. Par-rington. An Overview of Arjuna: A Programming System for Reliable Distributed Computing. IEEE Software, 8(l):63-73, Jan. 1991.
22. B. Walter. Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications. In 10th International Conference on Very Large Data Bases, pages 161-171, 1984.
23. A. Wellings and Burns A. Implementing Atomic Actions in Ada 95. IEEE Transactions on Software Engineering, 23(2):107-123, Feb. 1997.