Multiple concurrency control policies in an object-oriented programming system

The transaction model provides a good solution to many programming problems, but has been recognized as too strict for many applications. Different parallel and distributed applications have different consistency requirements, so multiple concurrency control policies are needed. When data is shared among applications with different policies, then the policies must operate simultaneously and compatibly. The authors investigate the interoperability of transactions and another consistency model, atomic blocks, which provide exclusive access to an individual object. They explore the implications of 'uncontrolled' concurrency within the same COOPS. The work has been in the context of the MELD object-oriented programming language.<<ETX>>

[1]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[2]  I. Grief,et al.  Computer Supported Cooperative Work: A Book of Readings , 1988 .

[3]  Gunter Schlageter,et al.  A transaction model supporting complex applications in integrated information systems , 1985, SIGMOD '85.

[4]  M.-A. Neimat,et al.  Extensible transaction management in Papyrus , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[5]  Gail E. Kaiser,et al.  MELDing Multiple Granularities of Parallelism , 1989, ECOOP.

[6]  Gail E. Kaiser,et al.  An object-based programming model for shared data , 1992, TOPL.

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

[8]  Oscar Nierstrasz.  Active objects in hybrid , 1987, OOPSLA 1987.

[9]  Michael Stonebraker,et al.  Future Directions in DBMS Research , 1989 .

[10]  David Garlan,et al.  Melding Software Systems from Reusable Building Blocks , 1987, IEEE Software.

[11]  Barbara Liskov,et al.  Implementation of Argus , 1987, SOSP '87.

[12]  Weimin Du,et al.  A paradigm for concurrency control in heterogeneous distributed database systems , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[13]  Nancy A. Lynch,et al.  Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.

[14]  Partha Dasgupta,et al.  Linking consistency with object/thread semantics: an approach to robust computation , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

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

[16]  Maurice Herlihy,et al.  Inheritance of synchronization and recovery properties in Avalon/C++ , 1988, Computer.

[17]  Gail E. Kaiser,et al.  A flexible transaction model for software engineering , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[18]  Jeannette M. Wing,et al.  Reliable distributed computing with Avalon/Common Lisp , 1990, Proceedings. 1990 International Conference on Computer Languages.

[19]  Gul Agha,et al.  Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming , 1988 .

[20]  Calton Pu,et al.  Split-Transactions for Open-Ended Activities , 1988, VLDB.

[21]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[22]  Joshua J. Bloch.  The Camelot library: A C language extension for programming a general purpose distributed transaction system , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

[23]  David Garlan,et al.  MELDing Data Flow and Object-Oriented Programming , 1987, OOPSLA.

[24]  Calton Pu,et al.  Superdatabases for composition of heterogeneous databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[25]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

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

[27]  Richard F. Rashid,et al.  Mach and Matchmaker: kernel and language support for object-oriented distributed systems , 1986, OOPSLA 1986.

[28]  Alfred Z. Spector,et al.  The Camelot project , 1986 .