A survey of distributed deadlock detection algorithms

This paper surveys research work performed within the last five years in distributed deadlock detection. The last survey paper on this topic appeared in 1980; since that time a large number of interesting algorithms have been discribed in the literature. A new, more efficient scheme is the probe-based deadlock detection strategy used by many of the new algorithms. This paper will concentrate on distributed deadlock detection algorithms. Only detection of resource deadlocks will be reviewed here, though other types of deadlock handling strategies and environments are briefly mentioned.

[1]  Anthony Marsland,et al.  Detection Of Deadlocks In Distributed Database Systems , 1980 .

[2]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

[3]  David B. Lomet.  Subsystems of Processes with Deadlock Avoidance , 1980, IEEE Transactions on Software Engineering.

[4]  Sreekaanth S. Isloor.  Consistency aspects of distributed databases , 1979 .

[5]  Laura M. Haas,et al.  Distributed deadlock detection , 1983, TOCS.

[6]  J. Spruce Riordon,et al.  Optimal allocation of resources in distributed information networks , 1976, TODS.

[7]  Toshimi Minoura,et al.  Deadlock avoidance revisited , 1982, JACM.

[8]  Ron Obermarck,et al.  Distributed deadlock detection algorithm , 1982, TODS.

[9]  Arthur J. Bernstein,et al.  False Deadlock Detection in Distributed Systems , 1985, IEEE Transactions on Software Engineering.

[10]  Gregory R. Andrews,et al.  On-the-fly deadlock prevention , 1982, PODC '82.

[11]  Sreekaanth S. Isloor,et al.  System recovery in distributed databases , 1979, COMPSAC.

[12]  Samy A. Mahmoud,et al.  Software Controlled Access to Distributed Data Bases , 1977 .

[13]  Gabriel Bracha.  Randomized Agreement Protocols and Distributed Deadlock Detection Algorithm , 1985 .

[14]  Laura Myers Haas.  Two approaches to deadlock in distributed systems , 1981 .

[15]  K. Mani Chandy,et al.  A distributed algorithm for detecting resource deadlocks in distributed systems , 1982, PODC '82.

[16]  Mukul K. Sinha,et al.  Commutable transactions and the time_pad synchronization mechanism for distributed systems , 1986, IEEE Transactions on Software Engineering.

[17]  Laura M. Haas,et al.  A Distributed Deadlock Detection Algorithm and Its Correctness Proof. , 1982 .

[18]  Dieter Zöbel,et al.  The Deadlock problem: a classifying bibliography , 1983, OPSR.

[19]  Dushan Z. Badal,et al.  On Deadlock Detection in Distributed Computing Systems , 1983, INFOCOM.

[20]  Daniel J. Rosenkrantz,et al.  System level concurrency control for distributed database systems , 1978, TODS.

[21]  Sreekaanth S. Isloor,et al.  The Deadlock Problem: An Overview , 1980, Computer.

[22]  Daniel A. Menascé,et al.  Locking and Deadlock Detection in Distributed Data Bases , 1979, IEEE Transactions on Software Engineering.

[23]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[24]  Sam Toueg,et al.  A distributed algorithm for generalized deadlock detection , 1984, PODC '84.

[25]  K M Chandy,et al.  A Distributed Procedure to Detect and/or Deadlock. , 1983 .

[26]  C. V. Ramamoorthy,et al.  Protocols for Deadlock Detection in Distributed Database Systems , 1982, IEEE Transactions on Software Engineering.

[27]  Wang-Chuan Tsai.  Distributed deadlock detection in distributed database systems , 1982 .

[28]  Don P. Mitchell,et al.  A distributed algorithm for deadlock detection and resolution , 1984, PODC '84.

[29]  Neelam Soundararajan,et al.  Axiomatic semantics of communicating sequential processes , 1984, ACM Trans. Program. Lang. Syst..

[30]  Virgil D. Gligor,et al.  On Deadlock Detection in Distributed Systems , 1980, IEEE Transactions on Software Engineering.

[31]  Mukul K. Sinha,et al.  A Distributed Deadlock Detection Algorithm Based on Timestamps , 1984, IEEE International Conference on Distributed Computing Systems.

[32]  N. Natarajan,et al.  A distributed scheme for detecting communication deadlocks , 1986, IEEE Transactions on Software Engineering.

[33]  Kenji Itoh,et al.  Two-Phase Deadlock Detection Algorithm In Distributed Databases , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[34]  Glen E. Newton.  Deadlock prevention, detection, and resolution: an annotated bibliography , 1979, OPSR.

[35]  R. Vasudevan,et al.  A Distributed Deadlock Detection and REsolution Scheme: Performance Study , 1982, ICDCS.

[36]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[37]  Ahmed Khalifa Elmagarmid.  Deadlock detection and resolution in distributed processing systems (ddbms, synchronization) , 1985 .

[38]  B. Goldman.  DEADLOCK DETECTION IN COMPUTER NETWORKS , 1977 .

[39]  Sam Toueg,et al.  Exposure to Deadlock for Communicating Processes is Hard to Detect , 1985, Inf. Process. Lett..

[40]  David B. Lomet.  Multi-level locking with deadlock avoidance , 1978, ACM '78.

[41]  David B. Lomet,et al.  Coping with Deadlock in Distributed Systems , 1979, IFIP TC-2 Working Conference on Data Base Architecture.