Atomic Object Composition

A worthwhile approach to achieve transaction atomicity within object-based distributed systems is to confine concurrency control and recovery mechanisms within the shared objects themselves. Such objects, called atomic objects, enhance their modularity and can increase transaction concurrency. Nevertheless, when designed independently, atomic objects can be incompatible, and if combined, do not ensure transaction atomicity anymore. It has been shown that atomic objects can be incompatible when they assume different Global Serialization Protocols (GSPs).

[1]  M. Stella Atkins,et al.  Adaptable concurrency control for atomic data types , 1992, TOCS.

[2]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[3]  William E. Weihl.  Linguistic support for atomic data types , 1990, TOPL.

[4]  Akinori Yonezawa,et al.  Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks , 1991, COCS '91.

[5]  Santosh K. Shrivastava,et al.  Implementing Concurrency Control in Reliable Object-Oriented Systems , 1988, ECOOP.

[6]  Panos K. Chrysanthis,et al.  Extracting concurrency from objects: a methodology , 1991, SIGMOD '91.

[7]  William E. Weihl,et al.  SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPES , 1984 .

[8]  Miron Livny,et al.  Concurrency control performance modeling: alternatives and implications , 1987, TODS.

[9]  Vinny Cahill,et al.  Implementing atomic objects with the RelaX transaction facility , 1991, Proceedings 1991 International Workshop on Object Orientation in Operating Systems.

[10]  William E. Weihl,et al.  Implementation of resilient, atomic data types , 1985, TOPL.

[11]  Rachid Guerraoui,et al.  Nesting Actions through Asynchronous Message Passing: the ACS Protocol , 1992, ECOOP.

[12]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[13]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[14]  Maurice Herlihy,et al.  Hybrid concurrency control for abstract data types , 1988, PODS '88.

[15]  William E. Weihl,et al.  Local atomicity properties: modular concurrency control for abstract data types , 1989, TOPL.

[16]  Tony P. Ng.  Using histories to implement atomic objects , 1989, TOCS.

[17]  Alfred Z. Spector,et al.  Synchronizing shared abstract types , 1984, TOCS.

[18]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

[19]  Alfred Z. Spector,et al.  Synchronizing shared abstract data types , 1983 .

[20]  Toshio Hirotsu,et al.  Object-oriented transaction support for distributed persistent objects , 1992, [1992] Proceedings of the Second International Workshop on Object Orientation in Operating Systems.

[21]  Oscar Nierstrasz,et al.  Viewing object as patterns of communicating agents , 1990, OOPSLA/ECOOP '90.

[22]  Maurice Herlihy,et al.  Avalon : language support for reliable distributed systems , 1986 .

[23]  Maurice Herlihy,et al.  Apologizing versus asking permission: optimistic concurrency control for abstract data types , 1990, TODS.

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

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

[26]  Christos H. Papadimitriou,et al.  The Theory of Database Concurrency Control , 1986 .

[27]  Rajeev Rastogi,et al.  The concurrency control problem in multidatabases: characteristics and solutions , 1992, SIGMOD '92.

[28]  R. Guerraoui.  Nested Transaction: Reviewing the Coherency Contract , 1993 .

[29]  David P. Reed,et al.  Naming and synchronization in a decentralized computer system , 1978 .

[30]  William E. Weihl.  Commutativity-based concurrency control for abstract data types , 1988 .