Skip to main content
SpringerLink
Log in

Hybrid atomicity for nested transactions

  • Conference paper
  • First Online:
Book cover Database Theory — ICDT '92 (ICDT 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 646))

Included in the following conference series:

Abstract

This paper defines the notion of hybrid atomicity for nested transaction systems, and presents and verifies an algorithm providing this property. Hybrid atomicity is a modular property; it allows the correctness of a system to be deduced from the fact that each object is implemented to have the property. It allows more concurrency than dynamic atomicity, by assigning timestamps to transactions at commit. The Avalon system provides exactly this facility.

Supported in part by the Defense Advanced Research Projects Agency (DARPA) under Contract N00014-83-K-0125.

Supported in part by the National Science Foundation under Grant CCR-86-11442, in part by the Defense Advanced Research Projects Agency (DARPA) under Contract N00014-89-J-1988, and in part by the Office of Naval Research under Contract N00014-85-0168.

Supported in part by the National Science Foundation under Grant CCR-8716884, and in part by the Defense Advanced Research Projects Agency (DARPA) under Contract N00014-89-J-1988. Also supported in part by an equipment grant from Digital Equipment Corporation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Allchin. An Architecture for Reliable Decentralized Systems. PhD thesis, Georgia. Institute of Technology, September 1983. Available as Technical Report GIT-ICS-83/23.

    Google Scholar 

  2. J. Aspnes, A. Fekete, N. Lynch, M. Merritt, and W. Weihl. A theory of timestamp-based concurrency control for nested transactions. In Proceedings of 14th International Conference on Very Large Data Bases, pages 431–444, August 1988.

    Google Scholar 

  3. J. Eppinger, L. Mummert, and A. Spector. Camelot and Avalon: A Distributed Transaction Facility. Morgan Kaufmann, 1991.

    Google Scholar 

  4. K.P. Eswaran, J.N. Gray, R.A. Lorie, and I.L. Traiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19(11):624–633, November 1976. Also published as IBM RJ1487, December 1974.

    Article  Google Scholar 

  5. A. Fekete, N. Lynch, M. Merritt, and W. Weihl. Commutativity-based locking for nested transactions. Journal of Computer and System Sciences, 41(1):65–156, 1990.

    Google Scholar 

  6. A. Fekete, N. Lynch, M. Merritt, and W. Weihl. Atomic Transactions. Morgan-Kaufmann, 1992.

    Google Scholar 

  7. M. P. Herlihy and W. E. Weihl. Hybrid concurrency control for abstract data types. In Proc. 7th ACM Symposium on Principles of Database Systems, pages 201–210, March 1988.

    Google Scholar 

  8. M. P. Herlihy and W. E. Weihl. Hybrid concurrency control for abstract data types. Journal of Computer and System Sciences, 43(1):25–61, August 1991.

    Google Scholar 

  9. H. Korth. Locking primitives in a database system. JACM, 30(1), January 1983.

    Google Scholar 

  10. B. Liskov. Distributed computing in Argus. Communications of ACM, 31(3):300–312, March 1988.

    Google Scholar 

  11. N. Lynch and M. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3):219–246, 1989. Also in Technical Memo MIT/LCS/TM-373, Laboratory for Computer Science Massachusettes Institute of Technology, November 1988.

    Google Scholar 

  12. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Massachusetts Institute Technology, 1981. Technical Report MIT/LCS/TR-260, Laboratory for Computer Science, Massachusetts Institute Technology, April 1981. Also, published by MIT Press, March 1985.

    Google Scholar 

  13. D.P. Reed. Naming and Synchronization in a Decentralized Computer System. PhD thesis, Massachusetts Institute Technology, 1978. Technical Report MIT/LCS/TR-205, Laboratory for Computer Science, Massachusetts Institute Technology, September 1978.

    Google Scholar 

  14. P. Schwarz and A. Z. Spector. Synchronizing shared abstract types. ACM Transactions on Computer Systems, 2(3), August 1984.

    Google Scholar 

  15. W. E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12):1488–1505, December 1988.

    Article  Google Scholar 

  16. W. E. Weihl. Local atomicity properties: modular concurrency control for abstract data types. ACM Transactions on Programming Languages and Systems, 11(2):249–282, April 1989.

    Google Scholar 

  17. W.E. Weihl. Specification and Implementation of Atomic Data Types. PhD thesis, Massachusetts Institute Technology, 1984. Technical Report MIT/LCS/TR-314, Laboratory for Computer Science, Massachusetts Institute Technology, Cambridge, MA, March 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Sydney, 2006, Australia

    Alan Fekete

  2. MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA

    Nancy Lynch & William E. Weihl

Authors
  1. Alan Fekete
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nancy Lynch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. William E. Weihl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joachim Biskup Richard Hull

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fekete, A., Lynch, N., Weihl, W.E. (1992). Hybrid atomicity for nested transactions. In: Biskup, J., Hull, R. (eds) Database Theory — ICDT '92. ICDT 1992. Lecture Notes in Computer Science, vol 646. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56039-4_43

Download citation

  • DOI: https://doi.org/10.1007/3-540-56039-4_43

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56039-5

  • Online ISBN: 978-3-540-47360-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation