False Deadlock Detection in Distributed Systems
Gene T. J. Wuu, A. J. Bernstein · IEEE Transactions on Software Engineering · 1985
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.