操作系统讲义第三章处理机调度与死锁.pptVIP

* 第二章 进程管理 * 3.6 预防死锁的方法 数据结构 3. 银行家算法 （1）可利用资源向量Available（m个元素的数组），其中Available[j] = k，表示系统中 Rj 类资源有 k 个。 （2）最大需求矩阵Max（n×m）的矩阵，Max[i,j]=k，表示进程Pi请求Rj类资源的最大数据是k个。 （3）分配矩阵Allocation（ n×m）的矩阵， Allocation[i,j]=k，表示Pi已经分得Rj类资源的数目是k个。 （4）需求矩阵Need （ n×m）的矩阵， Need[i,j]=k，表示Pi请求Rj类资源的数目是k个。 上述关系： Need[i,j]= Max[i,j] - Allocation[i,j]； * 第二章 进程管理 * 3.6 预防死锁的方法 算法描述 3. 银行家算法 假设Request i 是Pi的请求向量，Request i [j]=k表示Pi请求k个Rj类资源，Pi申请后，系统进行检查： （1）如果Request i [j] ≤ Need [i,j] ，则转（2），否则出错（需要资源超过它宣布的最大值）。 （2）如果Request i [j] ≤ Available [j] ，则转（3），否则尚无足够的资源，Pi必须等待。 （3）系统为Pi分配资源（试探性的分配）： Available[j]=Available[j] - Request i [j] ; Allocation[i,j]=Allocation[i,j] + Request i [j]; Need[i,j]=Need[i,j] - Request i [j]; （4）执行安全性算法，若安全则分配（为Pi），否则不分配，令Pi等待。 * 第二章 进程管理 * 3.6 预防死锁的方法 安全性算法 3. 银行家算法 （1）设置两个向量：工作向量Work，表示系统可提供给进程急需运行所需的各类资源数目，含有m个元素，初始work = Available；向量Finish，表示系统是否有足够的资源分配给进程，使之运行完成，初始时Finish=false，有足够资源分配时，Finish=true； （2）在进程集合中找到一个能满足下述条件的进程： a）Finishi[i]=false; b）Need[i,j] ≤Work[j]；如果找到则转（3），否则转（4）； （3）进程Pi获得资源可顺利完成，并释放资源，则执行 Work[j]=Work[j] + Allocation[i,j]; Finish[i]=true; 转（2）； （4）如果所有进程的Finish[i]=true都满足，表示系统处于安全状态，否则系统进入不安全状态。 * 第二章 进程管理 * 3.6 预防死锁的方法 假设系统中有五个进程{P0, P1, P2, P3, P4}和三类资源{A, B, C}，各种资源的数量分别为10、5、7，在T0时刻的资源分配情况下表： 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) 3 0 2 2 1 1 0 0 2 7 4 3 1 2 2 (0 2 0) 6 0 0 0 1 1 4 3 1 3 3 2 (2 3 0) * 第二章 进程管理 * 3.6 预防死锁的方法 4. 银行家算法的实例 进程/ 资源 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 P3 P4 P2 P0 3 3 2 5 3 2 7 4 3 7 4 5 10 4 7 1 2 2 0 1 1 4