Abstract
In this paper, we address deadlock management in nested transactions. In our strategy, deadlocks are detected through the occurrence of cycles in a waits-for graph (WFG). However, the process of looking for cycles in the WFG considering all its nodes and edges can be very time-consuming. To accelerate this process, we propose the detection arcs. In essence, a detection arc represents a higher level abstraction embodying a hidden waiting relation between two transactions that is caused by a lock wait. Thus, the deadlock detection process needs to traverse only a minimal subset of the WFG's edges when it is started, the set of detection arcs. Therefore, the overall performance of deadlock management is improved, as confirmed by our performance measurements.
Preview
Unable to display preview. Download preview PDF.
References
Almes, G.T., Black, A.P., Lazowska, E.D., Noe, J.D.: The Eden System: A Technical Review. IEEE Trans. on Software Engineering SE-11 (1985) 43–58
Ahamad, M., Dasgupta, P., Blanc, R.J., Wilkes, C.T.: Fault Tolerant Computing in Object-Based Distributed Systems. Proc. IEEE Symp. on Reliability in Distributed Software and Database Systems (1987)
Dasgupta, P., Blanc, R.J., Appelbe, W.: The Clouds Distributed Operating System: Functional Description, Implementation Details and Related Work. Proc. 8th IEEE Int. Conf. on Distributed Computing Systems, San Jose, USA (1989)
Eppinger, J.L., Mummert, L.B., Spector, A.Z. (Eds.): Camelot and Avalon: A Distributed Transaction Facility. Morgan Kaufmann Publ., San Mateo, USA (1991)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publ., San Mateo, USA (1993)
Härder, T., Meyer-Wegener, K., Mitschang, B., Sikeler, A.: PRIMA — A DBMS Prototype Supporting Engineering Applications. Proc. 13th Int. Conf. on Very Large Data Bases, Brighton, U.K. (1987) 433–442
Holt, R.C.: Some Deadlock Properties in Computer Systems. ACM Computing Surveys 4: 3 (1972) 179–196
Härder, T., Profit, M., Schöning, H.: Supporting Parallelism in Engineering Databases by Nested Transactions. SFB 124 Res. Report 34/92, Univ. of Kaiserslautern, Germany (1992)
Härder, T., Rothermel, K.: Concurrency Control Issues in Nested Transactions. VLDB Journal 2:1 (1993)39–74
Mattos, N.M.: An Approach to Knowledge Base Management. LNAI 513, Springer-Verlag, Berlin, Germany (1991)
Mohan, C., Haderle, D., Lindsay, B.G., Pirahesh, H., Schwarz, P.: ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Trans. on Database Systems 17:1 (1992) 94–162
Müller, E.T., Moore, J.D., Popek, G.A.: Nested Transaction Mechanism for LOCUS. Proc. 9th Symp. on Operating Systems Principles (1983) 71–89
Moss J.E.B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, USA (1985)
Pu, C., Noe, J.D.: Nested Transactions for General Objects: The Eden Implementation. TR-85-12-03, Univ. of Washington, Washington D.C., USA (1985)
Rezende, F.F., Baier, T.: Employing Object-Based LSNs in a Recovery Strategy. Proc. 7th Int. Conf. on Database and Expert Systems Applications, Zurich, Switzerland (1996) 116–129
Rezende, F.F.: Transaction Services for Knowledge Base Management Systems — Modeling Aspects, Architectural Issues, and Realization Techniques. Doctor Thesis, Univ. of Kaiserslautern, Germany (1997)
Rezende, F.F., Härder, T.: Concurrency Control in Nested Transactions with Enhanced Lock Modes for KBMSs. Proc. 6th Int. Conf. on Database and Expert Systems Applications, London, U.K. (1995) 604–613
Rezende, F.F., Härder, T., Zielinski, J.: Implementing Identifiers for Nested Transactions. Proc. 16th Brazilian Computer Society Conference — 23rd Integrated Seminar on Software and Hardware (SBC/SEMISH'96), Recife, Brazil (1996) 119–130
Rukoz, M.: Hierarchical Deadlock Detection for Nested Transactions. Distributed Computing 4(1991)123–129
Spector, A.Z., Pausch, R.F., Bruell, G.: Camelot: A Flexible, Distributed Transaction Processing System. Proc. IEEE Spring Computer Conference, USA (1988)
Weinstein, M., Page, T., Livezey, B., Popek, G.: Transactions and Synchronization in a Distributed Operating System. Proc. 10th Symp. on Operating Systems Principles (1985) 115–126
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Ferreira Rezende, F., Härder, T., Gloeckner, A., Lutze, J. (1997). Detection arcs for deadlock management in nested transactions and their performance. In: Small, C., Douglas, P., Johnson, R., King, P., Martin, N. (eds) Advances in Databases. BNCOD 1997. Lecture Notes in Computer Science, vol 1271. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63263-8_4
Download citation
DOI: https://doi.org/10.1007/3-540-63263-8_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63263-4
Online ISBN: 978-3-540-69254-6
eBook Packages: Springer Book Archive