|
|
|
|
|
|
|
|
|
| n | Deadlock
occurs if and only if the circular |
|||||||
| wait condition
is unresolvable |
||||||||
| n | The circular
wait condition is unresolvable |
|||||||
| when the first
3 policy conditions hold |
||||||||
| n | Thus the 4
conditions taken together |
|||||||
| constitute
necessary and sufficient |
||||||||
| conditions for
deadlock |
||||||||
