174
Process initiation denial
nLet C(k,i) be the amount of resource type i claimed by process k.
nTo be admitted in the system, process k must show C(k,i)
for all resource types i
nC(k,i) is the maximum value of resource type i permitted
for process k.
nLet U(i) be the total amount of resource type i unclaimed in the system:
uU(i) = R(i) - S_k C(k,i)