Reading material

pages 67-70

Assignments

A system is in a deadlock if and only if the two-phase deadlock detection algorithm of Ho and Ramamoorthy eventually reports a deadlock.
Is the above statement true? Give a proof or provide a counterexample.