Quick search Find article
Quick search
Find article

The design and implementation of a distributed transaction system based on atomic data types

Z Wu, R J Stroud, K Moody and J Bacon

Show affiliations


[1]
Gray J N 1981 The transaction concept: virtues and limitations Proc. 7th Int. Conf. on Very Large Data Bases (Cannes) (Los Angeles, CA: IEEE Computer Society) pp 144-54

[2]
Weihl W E and Liskov B 1985 Implementation of resilient, atomic data types ACM Trans. Program. Lang. Syst. 7 244-69
CrossRef 
[3]
Allchin J E and McKendry M S 1983 Synchronization and recovery of actions Proc. 2nd Ann. ACM Symp. of Principles of Distributed Computing (Montreal) (New York: ACM) pp 31-44

[4]
Shrivastava S K, Dixon G N and Parrington G D 1991 An overview of the Arjuna distributed programming system IEEE Software 8 66-73
CrossRef 
[5]
Spector A Z, Butcher J, Daniels D S, Duchamp D J, Eppinger J L, Fineman C E, Hessaya A and Schwarz P M 1985 Support for distributed transactions in the TABS prototype IEEE Trans. Software Engng 11 520-30
CrossRef 
[6]
Spector A Z, Thompson D, Pausch R F, Eppinger J F, Duchamp D, Draves R, Daniels D S and Bloch J J 1987 Camelot: a distributed transaction facility for Mach and the internet-an interim report Technical Report CMU-CS-87-129 Carnegie Mellon University

[7]
Wu Z 1994 A new approach to implementing atomic data types PhD Thesis Cambridge University Computer Laboratory, Technical Report No 338

[8]
De Francesco M, Vaglini G, Mancini L V and Pereira Paz A 1992 Specification of concurrency control in persistent programming languages Proc. 5th Int. Workshop on Persistent Object Systems (San Miniato, Italy) (New York: Springer) pp 126-43

[9]
Fazzolare M, Humm B G and Ranson R D 1994 Advanced transaction semantics for TINA Proc. 4th Telecommunication Information Networking Architecture Workshop (L'Aquila, Italy) (L'Aquila: Scuola Superiore G Reiss Romoli)

[10]
Herlihy M and Weihl W E 1988 Hybrid concurrency control for abstract data types Proc. 7th ACM-SIGMOD-SIGACT Symp. on Principles of Database Systems (Austin, TX) (New York: ACM) pp 201-10

[11]
Weihl W E 1984 Specification and implementation of atomic data types PhD Thesis MIT Laboratory for Computer Science, Technical Report MIT/LCS/TR-314

[12]
Moss J E B 1981 Nested transactions: an approach to reliable distributed computing Technical Report MIT/LCS/TR-260 Laboratory for Computer Science, MIT

[13]
Herlihy M 1990 Apologizing versus asking permission: optimistic concurrency control for abstract data types ACM Trans. Database Syst. 15 96-124
CrossRef 
[14]
Kung H T and Robinson J T 1981 On optimistic methods for concurrency control ACM Trans. Database Syst. 6 213-26
CrossRef 
[15]
Papadimitriou C H 1979 The serializability of concurrent database updates J. Assoc. Comput. Machin. 26 631-53
CrossRef 
[16]
Weihl W E 1989 Local atomicity properties: modular concurrency control for abstract data types ACM Trans. Program. Lang. Syst. 11 249-82
CrossRef 
[17]
Gray J 1979 Notes on database operating systems Operating Systems-an Advanced Course ed R Bayer et al (Berlin: Springer) pp 391-481

[18]
Ceri S and Pelagatti G 1984 Distributed Databases: Principles and Systems (New York: McGraw-Hill)

[19]
Lampson B 1981 Atomic transactions Distributed Systems: Architecture and Implementation (Lecture Notes in Computer Science 105) ed B W Lampson, M Paul and H J Siegert (Berlin: Springer) pp 246-65

[20]
Want R, Hopper A et al 1992 The active badge location system ACM Trans. Informat. Syst. 10 91-102
CrossRef 
[21]
Stroud R J 1993 Transparency and reflection in distributed systems ACM Oper. Syst. Rev. 22 99-103
CrossRef 
[22]
Maes P 1987 Concepts and experiments in computational reflection Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications (New York: ACM) pp 147-55

[23]
Stroud R J and Wu Z 1995 Using meta-object protocols to implement atomic data types Proc. 9th Eur. Conf. on Object-Oriented Programming (Aarhus) (Berlin: Springer) to appear

crossref member

Related review articles

What's this?
View review articles related to this research to gain an insight into the key trends in this subject area. Related review articles are selected based on PACS/MSC codes, and are no more than three years old.

  1. FPGA-based, specialized trigger and data acquisition systems for high-energy physics experiments

View by subject




Export






Please login to access our web services, or create an account if you don't yet have one.

You must have cookies enabled in your web browser to be able to login.

Username
Password

Forgotten your password? Get a new one here.