Bank算法.pptVIP

银行家算法 安全状态： 如果存在一个由系统中所有进程构成的安全序列P1，…Pn，则系统处于安全状态 安全序列： 一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和，系统处于安全状态 (安全状态一定是没有死锁发生的) 不安全状态:不存在一个安全序列，不安全状态一定（可能）导致死锁 银行家算法 n：系统中进程的总数 m：资源类总数 Available: ARRAY[1..m] of integer; Max: ARRAY[1..n,1..m] of integer; 银行家算法 Allocation: ARRAY[1..n,1..m] of integer; Need: ARRAY[1..n,1..m] of integer; Request: ARRAY[1..n,1..m] of integer; 银行家算法 简记符号： Available Max[i] Allocation[i] Need[i] Request[i] 银行家算法 当进程pi提出资源申请时，系统执行下列步骤： （1）若Request[i]≤Need[i],转（2）； 否则错误返回 （2）若Request[i]≤Available, 转（3）；否则进程等待 银行家算法 (3）假设系统分配了资源，则有： Available:=Available-Request[i]; Allocation[i]:= Allocation[i]+Request[i]; Need[i]:=Need[i]-Request[i] 若系统新状态是安全的，则分配完成 若系统新状态是不安全的，则恢复原状态，进程等待 银行家算法 为进行安全性检查，定义数据结构： Work:ARRAY[1..m] of integer; Finish:ARRAY[1..n] of Boolean; 银行家算法 安全性检查的步骤： (1) Work:=Available; Finish:=false; (2) 寻找满足条件的i： a.Finish[i]=false; b.Need[i]≤Work; 如果不存在，则转(4) 银行家算法 (3) Work:=Work+Allocation[i]; Finish[i]:=true; 转(2) (4) 若对所有i,Finish[i]=true,则系统处于安全状态，否则处于不安全状态 银行家算法 例题：假设某系统中有4个资源(R1、R2、R3、R4)，在某个时刻系统中共有5个进程，进程P1，P2，P3，P4，P5的最大资源需求数向量和此时已经分配到的资源数向量分别如表所示： 系统中当前可用资源向量为（2，1，0，0），问： （1）当前系统是否安全 ? （2）如果进程p3发出资源请求向量（0，1，0，0），系统能否将资源分配给它？ 进程 已分配资源 最大资源需求 P1 0,0,1,2 0,0,1,2 P2 2,0,0,0 2,7,5,0 P3 0,0,3,4 6,6,5,6 P4 2,3,5,4 4,3,5,6 P5 0,3,3,2 0,6,5,2 银行家算法 解：（1）调整表格如下：可用资源（2，1，0，0） 进程 已分配资源 最大资源需求 仍需要资源 P1 0,0,1,2 0,0,1,2 0,0,0,0 P2 2,0,0,0 2,7,5,0 0,7,5,0 P3 0,0,3,4 6,6,5,6 6,6,2,2 P4 2,3,5,4 4,3,5,6 2,0,0,2 P