Advertisement

Atomic object composition

  • Rachid Guerraoui
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 821)

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.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Agrawal, M. Carey and M. Livny-Concurrency Control Performance Modelling: Alternatives and Implications-ACM Transactions on Database Systems-Vol 12, Num 4-1987.Google Scholar
  2. 2.
    M.S. Atkins and M.Y. Coady-Adaptable Concurrency Control for Atomic Data Types-ACM Transactions on Computer Systems-Vol 10, Num 3-1992.Google Scholar
  3. 3.
    B.R. Badrinath and K. Ramamritham-Semantic-Based Concurrency Control: Beyond Commutativity-ACM Transactions on Database Systems-Vol 17, Num 1-1987.Google Scholar
  4. 4.
    A.J. Bernstein, V. Hadzilacos and N. Goodman-Concurrency Control and Recovery in Distributed Database Systems-Addison Wesley-1987.Google Scholar
  5. 5.
    Y. Breibart, H. Garcia Molina and A. Silberschatz-Overview of Multidatabase Transaction Management-The VLDB Journal-Vol 1, Num 2-1992.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    R. Guerraoui-Nested Transactions: Reviewing The Coherency Contract-Proceedings of the International Symposium on Computer and Information Science-pp 152.160-1993.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    J.N. Gray-Notes on database operating systems-In Operatings Systems: An Advanced Course-LNCS, Springer, pp 393.481-1978.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    M.P. Herlihy-Apologizing Versus Asking Permissions: Optimistic Concurrency Control for Abstract Data Types-ACM Transactions on Database Systems-Vol 15, Num 1-1990.Google Scholar
  15. 15.
    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.Google Scholar
  16. 16.
    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.Google Scholar
  17. 17.
    M. Mock, R. Kroeger and V. Cahill-Implementing Atomic Objects with the Relax Transaction Facility-Computing Surveys-Vol 5, Num 3-1992.Google Scholar
  18. 18.
    J.E.B. Moss-Nested Transactions: An Approach to Reliable Distributed Computing-MIT Press, MA-1985.Google Scholar
  19. 19.
    T.P. Ng-Using Histories to Implement Atomic Objects-ACM Transactions on Computer Systems-Vol 7, Num 4-1989.Google Scholar
  20. 20.
    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.Google Scholar
  21. 21.
    C.H. Papadimitriou-The Theory of Database Concurrency Control-Computer Science Press-1987.Google Scholar
  22. 22.
    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.Google Scholar
  23. 23.
    Y. Raz-The Principle of Commitment Ordering-Proceedings of the International Conference on Very Large Data Bases-pp 292.312-1992.Google Scholar
  24. 24.
    D.P. Reed-Naming and Synchronization in a Decentralized Computer System-Ph.D Thesis, MIT-1978.Google Scholar
  25. 25.
    P.M. Schwarz and A.Z. Spector-Synchronizing Shared Abstract Data Types-ACM Transactions on Computer Systems-Vol 2, Num 3-1984.Google Scholar
  26. 26.
    D. Tsichritzis-Object Composition-Centre Universitaire d'Informatique, Univ of Geneva-1991.Google Scholar
  27. 27.
    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.Google Scholar
  28. 28.
    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.Google Scholar
  29. 29.
    W. E. Weihl-Specification and Implementation of Atomic Data Types-Ph.D Thesis, MIT-1984.Google Scholar
  30. 30.
    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.Google Scholar
  31. 31.
    W. E. Weihl-Commutativity-based Concurrency Control for Abstract Data Types-IEEE Transactions on Computing-Vol 37, Num 12-1988.Google Scholar
  32. 32.
    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.Google Scholar
  33. 33.
    W. E. Weihl-Linguistic Support for Atomic Data Types-ACM Transactions on Programming Languages and Systems-Vol 12, Num 2-1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Rachid Guerraoui
    • 1
  1. 1.Département d'InformatiqueEcole Polytechnique Fédérale de LausanneLausanneSuisse

Personalised recommendations