Abstract
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).
We deal with the incompatibility problem by introducing a property of atomic objects' specifications, named o-atomicity, which is orthogonal to the GSP. Objects that guarantee this property achieve transaction atomicity, whatever the GSP may be. Such objects are compatible, not only with each others, but also with atomic objects that guarantee previously defined GSP-dependent properties, i.e., static atomicity, dynamic atomicity or hybrid atomicity. This is very desirable since most of existing object-based distributed systems rely on these properties. To show how o-atomicity can be ensured, we propose a generic implementation within an object-oriented framework, which we illustrate through a simple banking application.
Preview
Unable to display preview. Download preview PDF.
References
R. Agrawal, M. Carey and M. Livny-Concurrency Control Performance Modelling: Alternatives and Implications-ACM Transactions on Database Systems-Vol 12, Num 4-1987.
M.S. Atkins and M.Y. Coady-Adaptable Concurrency Control for Atomic Data Types-ACM Transactions on Computer Systems-Vol 10, Num 3-1992.
B.R. Badrinath and K. Ramamritham-Semantic-Based Concurrency Control: Beyond Commutativity-ACM Transactions on Database Systems-Vol 17, Num 1-1987.
A.J. Bernstein, V. Hadzilacos and N. Goodman-Concurrency Control and Recovery in Distributed Database Systems-Addison Wesley-1987.
Y. Breibart, H. Garcia Molina and A. Silberschatz-Overview of Multidatabase Transaction Management-The VLDB Journal-Vol 1, Num 2-1992.
P.K. Chrysanthis, S. Raghuram and K. Ramamritham-Extracting Concurrency From Objects: A Methodology-ACM Proceedings of the SIGMOD International Conference on Management of Data-pp 108.117-1991.
K.P. Eswaran, J.N. Gray, R.A.Lorie and I.L. Traiger-The notion of consistency and predicate locks in a database system-Communications of the ACM-Vol 19, Num 11-1976.
R. Guerraoui, R. Capobianchi, A. Lanusse and P. Roux-Nesting Actions through Asynchronous Message Passing: the ACS protocol-Proceedings of the European Conference on Object Oriented Programming-LNCS, Springer, pp 170.184-1992.
R. Guerraoui-Nested Transactions: Reviewing The Coherency Contract-Proceedings of the International Symposium on Computer and Information Science-pp 152.160-1993.
R. Guerraoui-Towards Modular Concurrency Control for Distributed Object Oriented Systems-IEEE Proceedings of the International Workshop on Future Trends in Distributed Computing Systems-pp 240.247-1993.
J.N. Gray-Notes on database operating systems-In Operatings Systems: An Advanced Course-LNCS, Springer, pp 393.481-1978.
M.P. Herlihy and J. Wing-Avalon: language support for reliable distributed systems-IEEE Proceedings of the International Symposium on Fault-Tolerant Computing-pp 89.95-1987.
M.P. Herlihy and W.E. Weihl-Hybrid Concurrency Control for Abstract Data Types-ACM Proceedings of the Symposium on Principles of Database Systems-pp 201.220-1988.
M.P. Herlihy-Apologizing Versus Asking Permissions: Optimistic Concurrency Control for Abstract Data Types-ACM Transactions on Database Systems-Vol 15, Num 1-1990.
T. Hirotsu and M. Tokoro-Object-Oriented Transaction Support for Distributed Persistent Objects-IEEE Proceedings of the International Workshop on Object Orientation in Operating Systems-1992.
S. Mehrotra, R. Rastogi, H.F. Korth and A. Silberschatz-The Concurrency Control Problem In Multidatabases: Characteristics And Solutions-Technical Report 91-37, Department of Computer Science, Univ of Texas at Austin-1991.
M. Mock, R. Kroeger and V. Cahill-Implementing Atomic Objects with the Relax Transaction Facility-Computing Surveys-Vol 5, Num 3-1992.
J.E.B. Moss-Nested Transactions: An Approach to Reliable Distributed Computing-MIT Press, MA-1985.
T.P. Ng-Using Histories to Implement Atomic Objects-ACM Transactions on Computer Systems-Vol 7, Num 4-1989.
O. Nierstrasz and M. Papathomas-Viewing Objects as Patterns of Communicating Agents-ACM Proceedings of the International Conference on Object-Oriented Programming Systems, Languages and Applications-pp 38.43-1990.
C.H. Papadimitriou-The Theory of Database Concurrency Control-Computer Science Press-1987.
G.D. Parrington and S.K. Shrivastava-Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems-Proceedings of the European Conference on Object Oriented Programming-LNCS, Springer-pp 233.247-1988.
Y. Raz-The Principle of Commitment Ordering-Proceedings of the International Conference on Very Large Data Bases-pp 292.312-1992.
D.P. Reed-Naming and Synchronization in a Decentralized Computer System-Ph.D Thesis, MIT-1978.
P.M. Schwarz and A.Z. Spector-Synchronizing Shared Abstract Data Types-ACM Transactions on Computer Systems-Vol 2, Num 3-1984.
D. Tsichritzis-Object Composition-Centre Universitaire d'Informatique, Univ of Geneva-1991.
K. Wakita and A. Yonezawa-Linguistic supports for development of distributed organizational information systems in object-oriented computation frameworks-ACM Proceedings of the International Conference on Organizational Computing Systems-pp 185.198-1990.
P. Wegner-Dimensions of Object-based Language Design-ACM Proceedings of the International Conference on Object-Oriented Programming Systems, Languages and Applications-pp 168.182-1987.
W. E. Weihl-Specification and Implementation of Atomic Data Types-Ph.D Thesis, MIT-1984.
W. E. Weihl and B.H. Liskov-Implementation of Resilient, Atomic Data Types-ACM Transactions on Programming Languages and Systems-Vol 7, Num 2-1985.
W. E. Weihl-Commutativity-based Concurrency Control for Abstract Data Types-IEEE Transactions on Computing-Vol 37, Num 12-1988.
W. E. Weihl-Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types-ACM Transactions on Programming Languages and Systems-Vol 11, Num 2-1989.
W. E. Weihl-Linguistic Support for Atomic Data Types-ACM Transactions on Programming Languages and Systems-Vol 12, Num 2-1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guerraoui, R. (1994). Atomic object composition. In: Tokoro, M., Pareschi, R. (eds) Object-Oriented Programming. ECOOP 1994. Lecture Notes in Computer Science, vol 821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052179
Download citation
DOI: https://doi.org/10.1007/BFb0052179
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58202-1
Online ISBN: 978-3-540-48567-4
eBook Packages: Springer Book Archive