银行家算法

目录

---

1）数据结构描述

Available[j]=k 系统中Rj类资源有K个

Max[i,j]=k 进程i需要Rj类资源K个

Allocation[i,j]=k 进程i拥有的Rj类资源数目K个

Need[i,j]=k 进程i还需要Rj类资源K个

Need = Max - Allocation

2)银行家算法描述

Request_xi[j] = k 提出进程Pi需要j类资源K个之后

1. 若Requset<=Need，下一步，否则出错。
2. 若Request<=available,下一步，否则，表示尚无足够的资源，Pi需要等待。
3. 系统尝试把资源分配给Pi，并且修改对应的值。
4. 执行安全性算法，检查此次资源分配了之后系统是否安全。

3）安全性算法

设置工作向量Work,有m个元素，表示系统剩余可用的资源数目。开始时Work=Available。

1. 初始安全序列为空
2. 从NEED矩阵中找出一行，该行对应的进程不在安全序列中，且小于Work向量，找到后，加入对应的安全啊序列中，找不到转向4
3. 等Pi进程加入安全序列后，可以安全执行，直到完成并释放资源，则转回到2
4. 若此时序列中有所有进程，则系统安全，否则不安全

---

参考