安全性算法

安全算法结束

输出提示：系统是不安全的

true

work=availablefinish=false

work+=allocation[i]finish[i]=true

need[i]=work&&finish[i]=false

false

所有进程的finish=true

安全算法safe()开始

安全输出序列return true