计算机操作系统 第四版 汤小丹 梁红兵 哲凤屏_第3章(2016-2017-1).ppt

　2．银行家算法 　设Request i是进程Pi的请求向量。当P i发出资源请求后，系统按下述步骤进行检查： (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) 系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。 (1) 如果Request i[j]≤Need[i,j]，转向步骤(2)；否则认为出错。 (2) 如果Requesti[j]≤Available[j]，转向步骤(3)；否则，Pi须等待。 3.7.2　利用银行家算法避免死锁 　3．安全性算法　 3.7.2　利用银行家算法避免死锁 (2)从进程集合中找到一个能满足下述条件的进程： 　 ① Finish[i]=false；② Need[i,j]≤Work[j]； 若找到，执行步骤(3) 否则，执行步骤(4)。 (1)设置两个向量：①工作向量Work，Work=Available; ②Finish，它表示系统是否有足够的资源分配给进程，使之运行完成。 (3)当进程Pi获得资源，可顺利执行，直至完成，并释放出分配给它 的资源，故