163
The Conditions for Deadlock
nDeadlock
occurs if and only if the circular wait condition is unresolvable
nThe circular wait condition is unresolvable when the first 3
policy conditions hold
nThus the 4 conditions taken together constitute
necessary and sufficient conditions for deadlock