第四章死锁.ppt

* * * * (2) 从进程集合中找到一个能满足下述条件的进程： ① Finish［i］=false; ② Need［i,j］≤Work［j］； 若找到， 执行步骤(3)， 否则，执行步骤(4) (3) 当进程Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行： Work［j］∶= Work［i］+Allocation［i,j］; Finish［i］∶= true; go to step 2; (4) 如果所有进程的Finish［i］=true都满足， 则表示系统处于安全状态；否则，系统处于不安全状态。 3．安全性算法 假定系统中有五个进程{P0、P1、P2、P3、P4}和三种类型资源{A、B、C}，每一种资源的数量分别为10、5、7。各进程的最大需求、T0时刻资源分配情况如下 所示。 Max Allocation Need Available A B C A B C A B C A B C P0 7 5 3 0 1 0 7 4 3 3 3 2 P1 3 2 2 2 0 0 1 2 2 P2 9 0 2 3 0 2 6 0 0 P3 2 2 2 2 1 1 0 1 1 P4 4 3 3 0 0 2 4 3 1 4．银行家算法之例 最大值 已分配 还需要 可用 试问： ①T0时刻是否安全？ ② T0之后的T1时刻P1请求资源Request1(1,0,2)是否允许？ ③ T1之后的T2时刻P4请求资源Request4(3,3,0)是否允许？ ④ T2之后的T3时刻P0请求资源Request0(0,2,0)是否允许？ 解：① T0时刻是否安全？ 工作向量Work.它表示系统可提供给进程继续运行所需要的各类资源的数目 3 3 2 1 2 2 2 0 0 资源情况 进程 Need A B C work A B C Work＋Allocation A B C Allocation A B C P0 P1 P2 P3 P4 finish 5 3 2 true true true true true 0 1 1 2 1 1 5 3 2 7 4 3 7 4 3 4 3 1 0 0 2 7 4 5 7 5 5 6 0 0 3 0 2 10 5 7 7 4 5 7 4 3 0 1 0 7 5 5 从表中可找出一个序列{P1 、 P3、 P4 、 P0 、 P2}使各进程顺序地一个个地执行完成。 安全序列为{P1、P3、P4、P0、P2}，T0时刻系统是安全的。 ② T0之后的T1时刻P1请求资源Request1(1,0,2)可否允许？ Request1(1,0,2)≤Need1(1,2,2)，P1请求在最大需求范围内。 Request1(1,0,2)≤ Available(3,3,2)，可用资源可满足P1请求需要。 试探把要求的资源分配给进程P1并修改有关数据结构的数值： Available(2,3,0) = Available(3,3,2)-Request1(1,0,2); Need1(0,2,0) = Need1(1,2,2)-Request1(1,0,2); Allocation1(3,0,2) =Allocation1(2,0,0)+Request1(1,0,2); 利用安全性算法检查试探将资源分配后状