A distributed deadlock detection algorithm for CSP-like communication

An algorithm for detecting deadlocks in distributed systems with CSP-like communication is proposed. Unlike previous work, the proposed algorithm avoids <italic>periodically</italic> sending deadlock-detecting messages by the processes and requires no local storage for the processes with size predetermined by the number of processes in the system. The algorithm is proven to have the following properties: (0) it never detects <italic>false</italic> deadlocks; (1) it has only one process in a <italic>knot</italic> report the deadlock; and (2) it detects every <italic>true</italic> deadlock in finite time.

[1]  Michael Rodeh,et al.  Achieving Distributed Termination without Freezing , 1982, IEEE Transactions on Software Engineering.

[2]  Rodney W. Topor,et al.  Termination Detection for Distributed Computations , 1984, Inf. Process. Lett..

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

[4]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

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

[6]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[7]  Nissim Francez,et al.  Distributed Termination , 1980, TOPL.

[8]  A. J. M. van Gasteren,et al.  Derivation of a Termination Detection Algorithm for Distributed Computations , 1983, Inf. Process. Lett..

[9]  K. Mani Chandy,et al.  Termination Detection of Diffusing Computations in Communicating Sequential Processes , 1982, TOPL.

[10]  K. Mani Chandy,et al.  A Distributed Graph Algorithm: Knot Detection , 1982, TOPL.

[11]  Shmuel Katz,et al.  Cooperative Distributed Algorithms for Dynamic Cycle Prevention , 1987, IEEE Transactions on Software Engineering.

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

[13]  S. P. Rana,et al.  A Distributed Solution of the Distributed Termination Problem , 1983, Inf. Process. Lett..

[14]  Israel Cidon,et al.  Local Distributed Deadlock Detection by Cycle Detection and Clusterng , 1987, IEEE Transactions on Software Engineering.

[15]  Shing-Tsaan Huang,et al.  A Fully Distributed Termination Detection Scheme , 1988, Inf. Process. Lett..

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