K. Mani Chandy
Laura M. Haas
- 1 CHANDY, K.M., AND MISRA, J. A distributed algorithm for detecting resource deadlocks in distributed systems. In Proc. A CM SIGA CT-SIGOPS Syrup. Principles of Distributed Computing (Ottawa, Canada, August 18-20, 1982), ACM, New York, 1982, pp. 157-164. Google Scholar
- 2 DIJKSTRA, E.W., AND SCHOLTEN, C.S. Termination detection for diffusing computations. Inf. Process. Lett. 11, 1 (Aug. 1980), 1-4.Google Scholar
- 3 GLIGOR, V.D., AND SHATTUCK, S.H. Deadlock detection in distributed systems. IEEE Trans. Softw. Eng. SE-6, 5 (Sept. 1980), 435-440.Google Scholar
- 4 GOLDMAN, B. Deadlock detection in computer networks. Tech. Rep. MIT-LCS-TR185, Massachusetts Institute of Technology, Cambridge, Mass., Sept. 1977. Google Scholar
- 5 GRAY, J.N. Notes on database operating systems. In Operating Systems: An Advanced Course, vol. 60, Lecture Notes in Computer Science, Springer-Verlag, New York 1978, pp. 393-481. Google Scholar
- 6 HAAS, L.M. Two approaches to deadlock in distributed systems. Ph.d. dissertation, Computer Science Dept., Univ. of Texas at Austin, July 1981. Google Scholar
- 7 HOARE, C.A.R. Communicating sequential processes. Commun. ACM21, 8 (Aug. 1978), 666-677. Google Scholar
- 8 ISLOOR, S.S., AND MARSLAND, T.A. An effective 'on-line' deadlock detection technique for distributed database management systems. In Proc. COMPSAC 1978, IEEE, New York, pp. 283- 288.Google Scholar
- 9 LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. A CM 21, 7 (July 1978), 558-565. Google Scholar
- 10 LOMET, D.B. Coping with deadlock in distributed systems. Res. Rep. RC 7460 (#32196), IBM, T. J. Watson Research Center, Yorktown Heights, N.Y., Dec. 1978.Google Scholar
- 11 MAHOUD, S.A., AND RIORDON, J.S. Software controlled access to distributed databases. INFOR 15, 1 (Feb. 1977), 22-36.Google Scholar
- 12 MENASCE, D., AND MUNTZ, R. Locking and deadlock detection in distributed databases. IEEE Trans. Softw. Eng. SE-5, 3 (May 1979), 195-202.Google Scholar
- 13 MISRA, J., AND CHANDY, K.M. Termination detection of diffusing computations in communicating sequential processes. ACM Trans. Program. Lang. Syst. 4, 1 (Jan. 1982), 37-43. Google Scholar
- 14 OBERMARCK, R. Distributed deadlock detection algorithm. ACM Trans. Database Syst. 7, 2 (June 1982), 187-208. Google Scholar
- 15 CHANDY, K.M., AND MISRA, J. Deadlock absence proofs for networks of communicating processes. Inf. Process. Lett. 9, 4 (Nov. 1979), 185-189.Google Scholar
Index Terms
- Distributed deadlock detection
Recommendations
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection
The necessary and sufficient condition for deadlock in a distributed system and an algorithm for detection of a distributed deadlock based on the sufficient condition are formulated. The protocol formulated, checks all wait-for contiguous requests in ...
A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof
The key idea of the algorithm is to let one transaction controller be in charge of all transactions in a set of interacting transactions. Two transactions are interacting if they are both interested in (accessing) the same resource. In addition, the ...
Deadlocks in Distributed Systems: Request Models and Definitions
FTDCS '95: Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing SystemsThe paper addresses the problem of deadlock detection in asynchronous systems for system model that covers unspecified receptions and non-FIFO channels. It presents a hierarchy of deadlock models considered till now, and then abstracts away their ...
Comments