银行家算法实践

---

假设资源集合R = {A,B,C}，资源类A有10个实例，B有5个实例，C有7个实例，系统某一时刻存在5个进程，且此时系统状态如下：

银行家算法实践

运行安全性检测算法：

2
3
4
5
6

假设P2有资源请求Request[2] = {1, 0, 2}，能否被满足？

分配结果

运行安全性检测算法（自己动动手吧），得到安全序列<p3,p1,p4,p2,p0>，故可以分配满足。

死锁检测算法实践

---

假设资源 R = { A , B , C }， A=7，B=3，C=6，进程 P = { p0 , p1 , p2 , p3 , p4 }，某时刻状态：

死锁检测实践

运行死锁检测算法：

1
2
3

得到安全序列：<p0,p2,p3,p1,p4>，且所有进程均执行结束。

假设P2有资源请求：Request[2]=(0， 0，1）。
经死锁检测算法检测后检查出死锁，并且知道参与死锁的进程为{P1，P2，P3，P4}。