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.
Published in:
Software Engineering, IEEE Transactions on
(Volume:SE-11
,
Issue:
8
)
Date of Publication: Aug. 1985