03第三章-死锁案例.ppt

* 3.4.3 银行家算法 最著名的避免死锁的算法叫做“银行家算法”（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） 资源情况