OS03-3.pptVIP

3.6 预防死锁的方法 避免死锁 银行家算法中的数据结构 可利用资源向量Available。 m个元素的数组，Available[j]=K表示系统中现有Rj类资源K个。 最大需求矩阵Max。 n×m的矩阵，Max[i,j]=K表示进程i需要Rj类资源的最大数目为K。 分配矩阵Allocation。 n×m的矩阵，Allocation[i,j]=K表示进程i当前已分得Rj类资源的数目为K。 需求矩阵Need。 n×m的矩阵， Need[i,j]=K表示进程i还需要Rj类资源K个，方能完成其任务。 3.6 预防死锁的方法 避免死锁 银行家算法中的数据结构 可利用资源向量Available。 m个元素的数组，Available[j]=K表示系统中现有Rj类资源K个。 最大需求矩阵Max。 n×m的矩阵，Max[i,j]=K表示进程i需要Rj类资源的最大数目为K。 分配矩阵Allocation。 n×m的矩阵，Allocation[i,j]=K表示进程i当前已分得Rj类资源的数目为K。 需求矩阵Need。 n×m的矩阵， Need[i,j]=K表示进程i还需要Rj类资源K个，方能完成其任务。 3.6 预防死锁的方法 避免死锁 银行家算法中的数据结构 可利用资源向量Available。 m个元素的数组，Available[j]=K表示系统中现有Rj类资源K个。 最大需求矩阵Max。 n×m的矩阵，Max[i,j]=K表示进程i需要Rj类资源的最大数目为K。 分配矩阵Allocation。 n×m的矩阵，Allocation[i,j]=K表示进程i当前已分得Rj类资源的数目为K。 需求矩阵Need。 n×m的矩阵，Need[i,j]=K表示进程i还需要Rj类资源K个，方能完成其任务。 3.6 预防死锁的方法 避免死锁 银行家算法 （1）如果Requesti[j]≤Need[i,j]，便转向步骤2；否则认为出错。 （2）如果Requesti[j]≤Available[j]，便转向步骤(3)；否则， 表示尚无足够资源，Pi须等待。 （3）系统试探着把资源分配给进程Pi，并执行： Available[j]:=Available[j]-Requesti[j]; Allocation[i,j]:=Allocation[i,j]+Requesti[j]; Need[i,j]:=Need[i,j]-Requesti[j]; （4）系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配；否则， 将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。 进程Pi的请求向量 3.6 预防死锁的方法 避免死锁 银行家算法 （1）如果Requesti[j]≤Need[i,j]，便转向步骤2；否则认为出错。 （2）如果Requesti[j]≤Available[j]，便转向步骤(3)；否则， 表示尚无足够资源，Pi须等待。 （3）系统试探着把资源分配给进程Pi，并执行： Available[j]:=Available[j]-Requesti[j]; Allocation[i,j]:=Allocation[i,j]+Requesti[j]; Need[i,j]:=Need[i,j]-Requesti[j]; （4）系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配；否则， 将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。 3.6 预防死锁的方法 避免死锁 银行家算法 （1）如果Requesti[j]≤Need[i,j]，便转向步骤2；否则认为出错。 （2）如果Requesti[j]≤Available[j]，便转向步骤(3)；否则， 表示尚无足够资源，Pi须等待。 （3）系统试探着把资源分配给进程Pi，并执行： Available[j]:=Available[j]-Requesti[j]; Allocation[i,j]:=Allocation[i,j]+Requesti[j]; Need[i,j]:=Need[i,j]-Requesti[j]; （4）系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配；否则， 将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。 3.6 预防死锁的方法 避免死锁 银行家算法 （1）如果Requesti[j]≤Need[i,j]，便转向步骤2；否则认为出错。 （2）如果Requ