操作系统学习笔记第七章——银行家算法总结

银行家算法：

已分配资源（Allocation）

尚需资源（Request）

当前可支配资源（Availiable）

各进程最大需求（Max）

work（？）

进程完成状态（finish）（需注意，当进程执行完毕后将释放所占用的资源）

该部分可进一步细分为两种算法，分别为安全性判定算法与资源申请处理算法

安全性判定算法：用于判断系统当前所处的状态是否为安全状态，即是否存在一种进程执行顺序，使得所有进程的资源分配需求均可被满足

资源申请处理算法：当某个进程P向系统提出一系列资源申请时，该算法用于判断系统是否可以批准这一请求。

例题1解析

Considerthe following snapshot of a system:

依据银行家算法解答下列问题：

a. Need矩阵的具体内容是什么？

b. 当前系统是否处于安全状态？

c. 若进程P1提出资源请求（0,4,2,0），该请求能否立即被批准？

解答：

a. Need矩阵可通过最大资源需求矩阵与已分配资源矩阵的差值得出（即Need = Max - Allocation）。该矩阵是执行