A Caltech Library Service

Distributed deadlock detection

Chandy, K. Mani and Misra, Jayadev and Haas, Laura M. (1983) Distributed deadlock detection. ACM Transactions on Computer Systems, 1 (2). pp. 144-156. ISSN 0734-2071. doi:10.1145/357360.357365.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


Distributed deadlock models are presented for resource and communication deadlocks. Simple distributed algorithms for detection of these deadlocks are given. We show that all true deadlocks are detected and that no false deadlocks are reported. In our algorithms, no process maintains global information; all messages have an identical short length. The algorithms can be applied in distributed database and other message communication systems.

Item Type:Article
Related URLs:
URLURL TypeDescription
Additional Information:© 1983 ACM. Received May 1981; revised August 1982; accepted November 1982. This work has been supported by the Air Force Office of Scientific Research under grant AFOSR 81-0205 and by the University of Texas under a grant from the University Research Institute. We are particularly grateful to E. W. Dijkstra and C. S. Scholten for their encouragement and advice. In particular, the proof of Theorem 2 was suggested by Scholten. We were helped greatly by comments from G. Andrews, N. Francez, C. A. R. Hoare, Anita Jones, and F. Schneider. Special thanks to the referees for their comments.
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)81-0205
University of TexasUNSPECIFIED
Subject Keywords:Distributed deadlock detection, message communication systems, resource deadlock, communication deadlock
Issue or Number:2
Record Number:CaltechAUTHORS:20190111-154120345
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:92228
Deposited By: Tony Diaz
Deposited On:12 Jan 2019 05:55
Last Modified:16 Nov 2021 03:48

Repository Staff Only: item control page