Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Bibliography
Belik F (1990) An efficient deadlock avoidance technique. IEEE Trans Computers 39(7):882–888
Brand D, Zafiropulo P (1981) On communicating finite-state machines. IBM Res Report RZ 1053 (#37725)
Bracha G, Toeug S (1987) Distributed deadlock detection. Distrib Comput 2:127–138
Coffman E, Elphick M, Shoshani A (1971) System deadlocks. Comput Surveys 3:67–78
Dijkstra E (1965) Cooperating sequential processes. Technical Report EWD-123, Technological University, Eindhoven, The Netherlands
Dijkstra E (1977) The mathematics behind the banker’s algorithm. In: Dijkstra EW, published as pages 308–312 of Edsger W. Dijkstra, Selected writings on computing: a personal perspective. Springer, Berlin
Ezpeleta J, Tricas F, Garcia V, Colom J (2002) A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans Robot Autom 18(4):621–625
Gold E (1978) Deadlock prediction: easy and difficult cases. SIAM J Comput 7(3):320–336
Habermann A (1969) Prevention of system deadlocks. Commun ACM 12(7):373–377, 385
Havender J (1968) Avoiding deadlock in multitasking systems. IBM Syst J 7(2):74–84
Holt R (1971) Comments on prevention of system deadlocks. Commun ACM 14(1):36–38
Holt R (1972) Some deadlock properties of computer systems. ACM Comput Surveys 4:179–196
Kim J, Koh K (1991) An O(1) time deadlock detection scheme in single unit and single request multiprocess system. In: IEEE TENCON’91, New Delhi, India. pp 219–223
Lang S (1999) An extended banker’s algorithm for deadlock avoidance. IEEE Trans Softw Eng 25(3):428–432
Lee J, Mooney V (2005) Hardware-software partitioning of operating systems: Focus on deadlock detection and avoidance. In: IEE proceedings on computers and digital techniques
Leibfried T (1989) A deadlock detection and recovery algorithm using the formalism of a directed graph matrix. Operating Syst Rev 45–55
Shoshani A, Coffman E (1970) Detection, prevention and recovery from deadlocks in multiprocess, multiple resource systems. In: 4th annual Princeton conference on information sciences and system, Princeton, NJ
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this entry
Cite this entry
Campbell, R.H. (2011). Deadlocks. In: Padua, D. (eds) Encyclopedia of Parallel Computing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09766-4_282
Download citation
DOI: https://doi.org/10.1007/978-0-387-09766-4_282
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09765-7
Online ISBN: 978-0-387-09766-4
eBook Packages: Computer ScienceReference Module Computer Science and Engineering