F V(i) = V(i) - Q(j,i) for all i
F A(j,i) = A(j,i) + Q(j,i) for all i
F N(j,i) = N(j,i) - Q(j,i) for all i
u If the resulting state is safe then allocate
resource to process j. Else process j must wait
for request Q(j,i) and restore old state.