|
|
|
|
|
|
|
|
|
|
|
|
|
n |
Let C(k,i) be
the amount of resource type i
|
|
claimed by process k.
|
|
|
n |
To be
admitted in the system, process k
|
|
|
must show
C(k,i) for all resource types i
|
|
|
n |
C(k,i) is the
maximum value of resource
|
|
|
|
type i
permitted for process k.
|
|
|
n |
Let U(i) be
the total amount of resource type i
|
|
unclaimed in the system:
|
|
|
|
u |
U(i) = R(i) - S_k C(k,i)
|
|
|
|