OS第三章2.pptVIP

* * 安全性算法 算法描述 设置向量 Work:array[1,2,…,m] of integer Finish:array[1,2,…,n] of boolean * * 安全性算法 算法步骤 1）Work[j]:=Available[j]，Finish[j]:=false 2）寻找满足Finish[j]=false和Need[i,j]≤Work[j]的进程，若找到转向3，否则转向4 3）当进程Pi获得资源后，可顺利执行到完成并释放分配到的资源，其执行序列为 Work[j] := Work[j] + Allocation[i,j]; Finish[j] := true; go to step 2; 4）若所有进程的Finish[j]=true均满足，则系统处于安全状态，否则为不安全状态 * * 银行家算法说明性实例 设系统中有五个进程｛P0, P1, P2, P3, P4}和三类资源{A,B,C},各资源数量分别为10、5、7，在T0时刻的资源分配如下 Max A B C Allocation A B C Need A B C Available 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 * * 银行家算法说明性实例 T0时刻的安全性：使用安全性算法对T0时刻的资源情况分析可知存在安全序列｛P1, P3, P4, P2, P0}，故系统安全 Work A B C Need A B C Allocation A B C Work+Alloc A B C Finish P0 3 3 2 7 4 3 0 1 0 False P1 3 3 2 1 2 2 2 0 0 5 3 2 True P2 5 3 2 6 0 0 3 0 2 False P3 5 3 2 0 1 1 2 1 1 7 4 3 True P4 7 4 3 4 3 1 0 0 2 7 4 5 True P2 7 4 5 6 0 0 3 0 2 10 4 7 True P0 10 4 7 7 4 3 0 1 0 10 5 7 True * * 银行家算法说明性实例 设T1时刻有Request1(1,0,2)，按银行家算法要求可知 1） Request1(1,0,2) ≤ Need1(1,2,2) 2） Request1(1,0,2) ≤ Available (3,3,2) 3）按P1请求尝试性分配资源后，资源变化如后表所示 4）再利用安全性算法检查此时系统是否安全 Max A B C Allocation A B C Need A B C Available 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 (2 3 0) (3 0 2) (0 2 0) * * 银行家算法说明性实例 T1时刻的系统安全性：存在安全序列｛P1, P3, P4, P2, P0}，因此可以将P1申请的资源分配给它 Work A B C Need A B C Allocation A B C Work+Alloc A B C Finish P0 2 3