defi
eM100i
cludestdiohi
tmaxMMallocatio
MM
eedMMavailableMi
tij
mrvoidtestout算法安全性的检测i
tkflagv0i
tworkMaMcharfi
ishMr1fori0i
ifi
ishiF初始化各进程均没得到足够资源forj0jmjworkjavailablej用workj表示可提供进程继续运行的各类资源数k
whilek0fori0i
iiffi
ishiFflag1forj0jmjif
eedijworkjflag0ifflag1找到还没完成的且需求数小于可提供进程继续运行的fi
ishiT资源数的进程avi记录安全序列forj0jmjworkjworkjallocatio
ij释放该进程已分配的资源kflag1fori0i
i判断是否所有的进程都完成iffi
ishiFflag0ifflag0若有进程没完成，则为不安全状态pri
tf