|
|
|
|
|
|
|
|
|
|
|
| n | Circular wait
cannot hold under this |
|||||||||
| protocol.
Proof: |
||||||||||
| u | Processes {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) |
||||||||||
