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.