Subscribe

Issue No.01 - January (1994 vol.20)

pp: 43-54

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.263754

ABSTRACT

<p>We present an efficient one-phase algorithm that consists of two concurrent sweeps of messages to detect generalized distributed deadlocks. In the outward sweep, the algorithm records a snapshot of a distributed wait-for-graph (WFG). In the inward sweep, the algorithm performs reduction of the recorded distributed WFG to check for a deadlock. The two sweeps can overlap in time at a process. We prove the correctness of the algorithm. The algorithm has a worst-case message complexity of 4e/spl minus/2n+2l and a time complexity of 2d hops, where e is the number of edges, n is the number of nodes, l is the number of leaf nodes, and d is the diameter of the WFG. This is a notable improvement over the existing algorithms to detect generalized deadlocks.</p>

INDEX TERMS

concurrency control; computational complexity; directed graphs; operating systems (computers); generalized distributed deadlock resolution; one-phase algorithm; concurrent sweeps; messages; generalized distributed deadlock detection; outward sweep; distributed wait-for-graph; inward sweep; distributed snapshot; algorithm correctness; worst-case message complexity; time complexity; leaf nodes; graph reduction; distributed system; directed graph

CITATION

A.D. Kshemkalyani, M. Singhal, "Efficient Detection and Resolution of Generalized Distributed Deadlocks",

*IEEE Transactions on Software Engineering*, vol.20, no. 1, pp. 43-54, January 1994, doi:10.1109/32.263754