Title :
False Deadlock Detection in Distributed Systems
Author :
Wuu, Gene T. ; Bernstein, Arthur J.
Author_Institution :
Department of Computer Science, State University of New York
Abstract :
Detecting a nonexistent deadlock in distributed systems has been referred to as false deadlock detection. This correspondence shows that false deadlock wi1l never occur in a system of two-phase locking transactions. We also describe an algorithm to avoid false deadlock detection when transactions are not two-phase locking.
Keywords :
Distributed system; false deadlock; transaction-wait-for graph; two-phase locking; Computer networks; Delay; Detection algorithms; Detectors; Distributed computing; Military computing; Protocols; Resource management; System recovery; TV; Distributed system; false deadlock; transaction-wait-for graph; two-phase locking;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1985.232530
