操作系统进程管理.ppt

避免死锁的方法 银行家算法（重点） 2 银行家算法描述 系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配；否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。 * 避免死锁的方法 银行家算法（重点） 3 安全性算法 设置2个向量： 工作向量Work：它表示系统可提供给进程继续运行所需的各类资源数目，执行安全性算法时，Work Available； 判断向量Finish：它表示系统是否有足够的资源分配给进程使之运行完成，开始时Finish[i] 0；当有足够资源分配给进程时，令Finish[i] 1。 * 避免死锁的方法 银行家算法（重点） 3 安全性算法 从进程集合中找出一个能满足下列条件的进程： Finish[i] 0 Need[i,j]≤Work[j] 若找到，则执行步骤③，否则执行步骤④。 * 避免死锁的方法 银行家算法（重点） 3 安全性算法 当进程Pi获得资源后，便可顺利执行，直到运行完毕释放分配给它的资源，故应执行： Work[j]＝Work[j]＋Allocation[i,j]； Finish[i]＝1； go to step 2； * 避免死锁的方法 银行家算法（重点） 3 安全性算法 如果所有进程的Finish[i]都等于1，则表示系统处于安全状态，否则系统处于不安全状态。 * 避免死锁的方法 银行家算法（重点） 4 银行家算法举例 假定系统中有4个进程P1、P2、P3、P4和3类资源A、B、C，各种资源的数目分别为9、3、6，在T0时刻的资源分配情况为： * Max A B C Allocation A B C Need A B C Available A B C P1 3 2 2 1 0 0 2 2 2 1 1 2 P2 6 1 3 5 1 1 1 0 2 P3 3 1 4 2 1 1 1 0 3 P4 4 2 2 0 0 2 4 2 0 避免死锁的方法 银行家算法（重点） 4 银行家算法举例 在T0时刻系统是否安全？ * Max A B C Allocation A B C Need A B C Available A B C P1 3 2 2 1 0 0 2 2 2 1 1 2 P2 6 1 3 5 1 1 1 0 2 P3 3 1 4 2 1 1 1 0 3 P4 4 2 2 0 0 2 4 2 0 * Max A B C Allocation A B C Need A B C Available A B C P1 3 2 2 1 0 0 2 2 2 1 1 2 P2 6 1 3 5 1 1 1 0 2 P3 3 1 4 2 1 1 1 0 3 P4 4 2 2 0 0 2 4 2 0 Work A B C Need A B C Allocation A B C Work+Allocation A B C Finish * Max A B C Allocation A B C Need A B C Available A B C P1 3 2 2 1 0 0 2 2 2 1 1 2 P2 6 1 3 5 1 1 1 0 2 P3 3 1 4 2 1 1 1 0 3 P4 4 2 2 0 0 2 4 2 0 Work A B C Need A B C Allocation A B C Work+Allocation A B C Finish P2 1 1 2 1 0 2 5 1 1 6 2 3 1 P1 6 2 3 2 2 2 1 0 0 7 2 3 1 P3 7 2 3 1 0 3 2 1 1 9 3 4 1 P4 9 3 4 4 2 0 0 0 2 9 3 6 1 存在安全序列， 系统安全。 避免死锁的方法 银行家算法（重点） 4 银行家算法举例 在T0时刻若P2发出资源请求Request2 1,0,1 ，系统能否将资源分配给它？ * 避免死锁的方法 解： Request2 1,0,1 ≤Need2 1,0,2 Request2 1,0,1 ≤Available 1,1,2