169
Prevention of circular wait
nCircular wait cannot hold under this protocol.
Proof:
uProcesses
{P0, P1..Pn} are involved in circular wait iff Pi is waiting for Ri which is
held by Pi+1 and Pn is waiting for Rn held which is held by P0 (circular
waiting)
