运行结果:
初始状态下输入(Need是Max-Allocation得到的)
进程 Max Alocation Need Available
p0 6 5 |1 3 |5 2 |2 3
p1 3 8 |2 6 |1 2 |
p2 4 7 |2 3 |2 4 |
检查t0时刻安全性并输出安全序列
银行家算法:
1)当不满足Request[]<=Availiable[],但Request[]<=Need[][]满足时
2)当Request[]<=Need[][]不满足时
- 当Request[]满足Request[]<=Availiable[]&&Request[]<=Need[][],但是会产生死锁,此时需要回收已分配的资源
4)当满足Request[]<=Availiable[]&&Request[]<=Need[][],并且不会产生死锁
- 当一个进程Need[][] = 0时,要回收它的已分配资源