Skip to main content

Partial strictness in two-phase locking

  • Contributed Papers
  • Conference paper
  • First Online:
Database Theory — ICDT '95 (ICDT 1995)

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

Included in the following conference series:

Abstract

Two-phase locking is a standard method for managing concurrent transactions in database systems. In order to guarantee good recovery properties, two-phase locking should be strict, meaning that locks can be released only after the transaction's commit or abort. In this paper we show that even exclusive locks can be released immediately after the commit request has arrived, without sacrificing any important recovery properties. This optimization is especially useful if the commit operation takes much time compared with the other actions, as for main-memory databases, or if the commits are performed in batches.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.

    Google Scholar 

  2. D. J. DeWitt, R. H. Katz, F. Olken, L. D. Shapiro, M. R. Stonebraker, and D. Wood. Implementation techniques for main memory database systems. In ACM SIGMOD, pages 1–8, 1984.

    Google Scholar 

  3. M. H. Eich. A classification and comparison of main memory database recovery techniques. In Data Engineering, pages 332–339, 1987.

    Google Scholar 

  4. K. P. Eswaran, J. Gray, R. A. Lorie, and I. L. Treiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19(11):624–633, 1976.

    Google Scholar 

  5. D. Gawlick and D. Kinkade. Varieties of concurrency control in IMS/VS Fast Path. IEEE Database Engineering, 4:63–70, 1985.

    Google Scholar 

  6. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.

    Google Scholar 

  7. G. Lausen, E. Soisalon-Soininen, and P. Widmayer. On the power of safe locking. Journal of Computer and System Sciences, 40(2):269–288, 1990.

    Google Scholar 

  8. C.-C. Liu and T. Minoura. Effect of update merging on reliable storage performance. In Data Engineering, pages 208–213, 1986.

    Google Scholar 

  9. C. Mohan, D. Haderle, B. Lindsay, H. Pirahesh, and P. Schwarz. ARIES: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging. ACM Transactions on Database Systems, 17(1):94–162, 1992.

    Google Scholar 

  10. C. Papadimitriou. The Theory of Database Concurrency Control. Computer Science Press, 1986.

    Google Scholar 

  11. Y. Raz. The principle of commitment ordering. In Very Large Data Bases, pages 292–312, 1992.

    Google Scholar 

  12. O. Wolfson. An algorithm for early unlocking of entities in database transactions. Journal of Algorithms, 7:146–156, 1986.

    MathSciNet  Google Scholar 

  13. M. Yannakakis. A theory of safe locking policies in database systems. Journal of the Association for Computer Machinery, 29(3):718–740, 1982.

    Google Scholar 

  14. T. Ylonen. Shadow Paging Is Feasible. Licentiate's thesis, Department of Computer Science, Helsinki University of Technology, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Georg Gottlob Moshe Y. Vardi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Soisalon-Soininen, E., Ylönen, T. (1995). Partial strictness in two-phase locking. In: Gottlob, G., Vardi, M.Y. (eds) Database Theory — ICDT '95. ICDT 1995. Lecture Notes in Computer Science, vol 893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58907-4_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-58907-4_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49136-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics