|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
We allow the
3 policy conditions but make
|
|
|
judicious
choices to assure that the
|
|
|
deadlock point
is never reached
|
|
|
n |
Allows more
concurrency than prevention
|
|
|
n |
Two
approaches:
|
|
|
|
u |
do not start a
process if it’s demand might lead
|
|
|
to deadlock
|
|
|
|
u |
do not grant an
incremental resource request if
|
|
|
this allocation
might lead to deadlock
|
|
|
n |
In both
cases: maximum requirements of
|
|
|
each resource
must be stated in advance
|
|