Skip to main content

Bounds for Blocking and Deadlock in Transaction Systems with Two-Phase Locking

  • Conference paper
Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen

Part of the book series: Informatik aktuell ((INFORMAT))

  • 39 Accesses

Abstract

The influence of data contention on the performance of database systems is increasing with the level of concurrency required for parallel processing. Besides simulation studies and measuring of a system, analytical models can help to estimate the effect of parameters and to optimize them in a multi-user environment. A transaction system using the strict two-phase locking protocol is considered, based on the assumption of independent renewal processes for the sequences of requests and transactions of each user. Simple upper bounds of the probabilities of blocking and deadlock situations are derived, including fixed or variable multiprogramming level, several transaction types with arbitrary distribution of size and arbitrary distribution of access to the data granules.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agrawal D., El Abbadi A. and Jeffers R.: An approach to eliminate transaction blocking in locking protocols, Proceedings of the 11th International ACM Conference on Principles of Database Systems, pp. 223–235, 1992

    Google Scholar 

  2. Agrawal R, Carey M. and Livny M.: Concurrency control performance models: alternatives and implications, ACM Trans, on Database Systems 12, pp. 609–654, 1987

    Article  Google Scholar 

  3. Agrawal R., Carey M. and McVoy L.: The performance of alternative strategies for dealing with deadlocks in database management systems, IEEE Trans, on Software Engineering SE-13, pp. 1348–1363, 1987

    Google Scholar 

  4. Becker A.: Leistungseinbußen in einem DB-System mit Zwei-Phasen Sperrprotokoll, Informatik Fachbericht IFB 110 zur MMB-Tagung, Springer, pp. 217–232, 1985

    Google Scholar 

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

    Google Scholar 

  6. Bohn V., Härder T. and Rahm E.: Extended Memory Support for High Performance Transaction Systems, Proc. of the MMB-Conference, Informatik Fachbericht IFB 286., Springer, pp. 92–108, 1991

    Google Scholar 

  7. Breitenbach C., Hasslinger G. and Herold P.: Deadlocks in einem verteilten System mit zentraler Datenhaltung: Vergleich von Auflösungsstrategien und Abschätzung der Deadlockrate, Informatik Fachbericht IFB 267 zur Tagung Kommunikation in Verteilten Systemen, Springer, pp. 320–334, 1991

    Google Scholar 

  8. Dan A., Towsley F. and Kohler W.: Modeling the effects of data and resource contention on the performance of optimistic concurrency control protocols, Proceedings of the 5th International IEEE Conference on Data Engineering, pp. 418–425, 1988

    Google Scholar 

  9. Feller W.: An Introduction to Probability Theory and its Applications, John Wiley, 1957

    Google Scholar 

  10. Franaszek P., Robinson J. and Thomasian A.: Access invariance and its use in high contention environments, Proceedings of the 7th International IEEE Conference on Data Engineering, pp. 47–55, 1990

    Google Scholar 

  11. Gray J., Homan P., Obermarck R. and Korth H.: A straw man analysis of the probability of waiting and deadlock in a database system, Technical Report RJ 3066, IBM Research Lab., San Jose, California, 1981

    Google Scholar 

  12. Hartzman C.: The delay due to dynamic two-phase locking, IEEE Trans. on Software Engineering SE-15, pp. 72–82, 1989

    Google Scholar 

  13. Heiss U. and Wagner R.: Adaptive load control in transaction processing systems, Proceedings of the 17th International Conference on Very Large Data Bases, pp. 47–54, 1991

    Google Scholar 

  14. Jiang B.: Deadlock detection is really cheap, ACM Sigmod Record 17, pp. 2–13, 1988

    Article  Google Scholar 

  15. Moenkeberg A. and Weikum G.: Conflict-driven load control for the avoidance of data- contention thrashing, Proceedings of the 8th International IEEE Conference on Data Engineering, pp. 632–639, 1991

    Google Scholar 

  16. Ryu I. and Thomasian A.: Analysis of database performance with dynamic locking, Journal of the ACM, Vol. 37, pp. 491–523, 1990

    Article  MATH  Google Scholar 

  17. Shum A. and Spirakis P.: Performance analysis of concurrency control methods in database systems, Performance ’81, F. Kylstra Ed., Elsevier North-Holland pp. 1–18, 1981

    Google Scholar 

  18. Tay Y.: Issues in modeling locking performance, Stochastic Analysis of Computer and Communication Systems, H. Takagi Ed., Elsevier North-Holland pp. 631–655, 1990

    Google Scholar 

  19. Tay Y., Goodman N. and Suri R.: Locking performance in centralized databases, ACM Trans. on Database Systems 10, pp. 415–462, 1985

    Article  MATH  Google Scholar 

  20. Thomasian A.: Performance limits of two-phase locking, Proceedings of the 7th International IEEE Conference on Data Engineering, pp. 426–435, 1991

    Google Scholar 

  21. Thomasian A. and Ryu I.: Performance analysis of two-phase locking, IEEE Trans. on Software Engineering SE-17, pp. 386–402, 1991

    Google Scholar 

  22. Weikum G.: Transaktionen in Datenbanken, Addison-Wesley, 1988

    Google Scholar 

  23. Wang P. and Li O.: A unified concurrency control algorithm for distributed database systems, Proceedings of the 5th International IEEE Conference on Data Engineering, pp. 410–417, 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haßlinger, G. (1993). Bounds for Blocking and Deadlock in Transaction Systems with Two-Phase Locking. In: Walke, B., Spaniol, O. (eds) Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78495-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-78495-8_8

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-78495-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics