第三章 - 死 锁.pptVIP

图3-6 资源分配图示例 图3-7 处于不安全状态的资源分配图 最著名的避免死锁的算法叫做“银行家算法”（Banker’s Algorithm）。 银行家算法的设计思想是：当用户申请一组资源时，系统必须做出判断；如果把这些资源分出去，系统是否还处于安全状态。若是，就可以分出这些资源；否则，该申请暂不予满足。 数据结构 令n表示系统中进程的数目，m表示资源分类数。 ① Available是一个长度为m的向量，它表示每类资源可用的数量。Available[ j]=k，表示rj类资源可用的数量是k。 ② Max是一个n×m矩阵，它表示每个进程对资源的最大需求。Max[i, j]=k，表示进程pi至多可申请k个rj类资源单位。 ③ Allocation是一个n×m矩阵，它表示当前分给每个进程的资源数目。Allocation [i, j]=k，表示进程pi当前分到k个rj类资源。 ④ Need是一个n×m矩阵，它表示每个进程还缺少多少资源。Need [i, j]=k，表示进程pi尚需k个rj类资源才能完成其任务。 可以把矩阵Allocation和Need中的每一行当做一个向量，并分别写成Allocationi和Needi。Allocationi表示当前分给进程pi的资源。 1．资源分配算法 令Requesti表示进程pi的申请向量。Requesti[j]= k，表示进程pi需要申请k个rj类资源。当进程pi申请资源时，就执行下列动作： ① 若Requesti＞Needi，表示出错， ② 如果Requesti＞Available，则pi等待。 ③ 假设系统把申请的资源分给进程pi，则应对有关数据结构进行修改： Available：= Available – Requesti Allocationi：= Allocationi + Requesti Needi：= Needi – Requesti ④ 系统执行安全性算法，查看此时系统状态是否安全。如果是安全的，就实际分配资源，满足进程pi 的此次申请；否则，若新状态是不安全的，则pi等待，对所申请资源暂不予分配，并且把资源分配状态恢复成③之前的情况。 2．安全性算法 ① 令Work和Finish分别表示长度为m和n的向量，最初，置Work：= Available，Finish[i]：=false，i=1, 2,…, n。 ② 搜寻满足下列条件的i值： Finish[i]=false，且Needi≤Work。 若没有找到，则转向④。 ③ 修改数据值： Work：=Work+ Allocationi（pi释放所占的全部资源） Finish[i]=true 转向②。 ④ 若Finish[i]=true对所有i都成立（任一进程都可能是pi），则系统处于安全状态；否则，系统处于不安全状态。 3．算法应用示例 假定系统中有4个进程{A, B, C, D}和三类资源R1, R2和R3，各自的数量分别为9, 3和6个单位。 进程 Allocation Max Need Available R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 A 1 0 0 3 2 2 2 2 2 1 1 2 B 5 1 1 6 1 3 1 0 2 C 2 1 1 3 1 4 1 0 3 D 0 0 2 4 2 2 4 2 0 表3-3 T0时刻资源分配表 资源情况 （1）T0时刻是安全的 存在一个安全序列{B, A, C, D} 资源 情况 Work Need Allocation Work+Allocation Finish R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 B 1 1 2 1 0 2 5 1 1 6 2 3 true A 6 2 3 2 2 2 1 0 0 7 2 3 true C 7 2 3 1 0 3 2 1 1 9 3 4 true D 9 3 4 4 2 0 0 0 2 9 3 6 true 进程 表3-4 T0时刻的安全序列 （2）进程A请求资源 进程A发出请求Request（1, 0, 1） 资源情况 进 程 Max Allocation Need Available R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 A 3 2 2 2 0 1 1 2 1 0 1 1 B 6 1 3 5 1 1 1 0 2 C 3 1 4