计算机操作系统(第四版)第三章技术总结.ppt

该算法能用于银行系统现金贷款的发放而得名 银行家算法的实质就是要设法保证系统动态分配资源后仍然保持安全状态，从而避免死锁的发生。 要求进程预先告知自己的最大资源需求，并且假设系统拥有固定的资源总量。 3.6.2、利用银行家算法避免死锁 1、相关的数据结构： 可用资源向量Available 最大需求矩阵Max 分配矩阵Allocation 需求矩阵Need 资源请求向量Requesti 3、安全性算法：工作向量Work、Finish 2、银行家算法： （1） Requesti=Need? （2） Requesti= Available? （3）修改相关向量的值 （4）执行安全性算法 Max Allocation Need Available A B C A B C A B C A B C P0 P1 P2 P3 P4 7 5 3 3 2 2 9 0 2 2 2 2 4 3 3 0 1 0 2 0 0 3 0 2 2 1 1 0 0 2 7 4 3 1 2 2 6 0 0 0 1 1 4 3 1 3 3 2 资源总数 10 5 7 进程 资源 某时刻系统资源分配情况 A B C Work＋ Allocation A B C A B C A B C Finish Allocation Need Work 进程 资源 安全序列 (1)该时刻T0系统是安全的吗？ 解：利用安全性算法对该时刻的资源分配情况进行分析，方法如下图： 1 2 2 2 0 0 5 3 2 true 0 1 1 2 1 1 7 4 3 true 4 3 1 2 1 1 7 4 5 true 6 0 0 3 0 2 10 4 7 true 7 4 3 0 1 0 10 5 7 true 3 3 2 5 3 2 7 4 3 7 4 5 10 4 7 P 1 P 3 P 4 P 2 P 0 (2)若此时P1请求资源，发出请求向量Request1(1,0,2) 系统可以为满足请求吗？ 解：系统按银行家算法进行检查： ? Request1(1,0,2)=Need1(1,2,2) ? Request1(1,0,2)=Available(3,3,2) ? 系统先假定可为P1分配资源，修改相关向量值： ? 利用安全性算法检查此时系统是否安全。具体： Max Allocation Need Available A B C A B C A B C A B C P0 P1 P2 P3 P4 7 5 3 3 2 2 9 0 2 2 2 2 4 3 3 0 1 0 2 0 0 3 0 2 2 1 1 0 0 2 7 4 3 1 2 2 6 0 0 0 1 1 4 3 1 3 3 2 资源总数 10 5 7 进程 资源 某时刻资源分配情况 3 0 2 0 2 0 2 3 0 5 3 2 7 4 3 7 4 5 7 5 5 10 5 7 A B C Work＋ Allocation A B C A B C A B C true