reqj尝试把资源分配给进程
allocatio
ijallocatio
ijreqj
eedij
eedijreqj
if
eedij0
xx1当进程满足时释放资源
ifxm
forj0jmj
availablejavailablejallocatio
ij
allocatio
ij0
favailable1javailablej
x
elsex0
check
ifa
qua
0
forj0jmj
availablejavailable1j还原分配前的状态
allocatio
ijallocatio
1ij
eedij
eed1ij
pri
tf