第六部分死锁.pptVIP

Detection Algorithm cont. 4. 如果找到了 标记进程i并将该进程已分配的资源数加入临时向量W Wk = Wk + Aik, { 1 ≤ k ≤ m} 返回步骤3 最后当且仅当有没标记的进程则死锁发生。 每个没标记的进程都是死锁的。 死锁检测 解除策略 中止全部死锁进程 每个死锁进程后退到以前某个检测点，重启这些进程。 有风险可能重新发生死锁 连续地中止死锁进程直到解除死锁 连续地剥夺资源直到解除死锁 Advantages and Disadvantages Roadmap Principals of Deadlock Deadlock prevention Deadlock Avoidance Deadlock detection An Integrated deadlock strategy Dining Philosophers Problem Concurrency Mechanisms in UNIX, Linux, Solaris and Windows 哲学家进餐问题 哲学家用餐问题 设计允许哲学家用餐的算法 两个哲学家不能同时使用同一个叉子 (互斥mutual exclusion) 没有哲学家被饿死。 (真正避免死锁和饥饿!) 进程P2结束后 任何一个剩下的进程都能结束吗? 注意 P2 已结束 进程P1结束后 进程P3结束 所以原来的状态是安全的。 不安全状态测定 这次假定已增加分配给P1资源R1和R3各一个 状态安全吗? 避免死锁 当一个进程请求一组资源时 假定批准请求 修改相应的系统资源状态 然后测定结果是不是安全状态 如果安全假定批准有效 如不安全，阻塞进程直到资源分配安全再批准资源分配。 多类资源的银行家算法 1.银行家算法中的数据结构 （1）可分配资源向量Available。它是一个含有m个元素的一维数组，其中每个元素代表一类可利用资源的数目。如：A [ 1 ]的值是5，表示1类资源还有5个单位可分配。 1 2 3 5 2 3 银行家算法中的数据结构 （2）最大需求矩阵Max。它是n*m矩阵，行表示进程，列表示资源。MAX[ 2 , 3 ] 的值是1，表示进程2 对资源3的最大需求数是 1。 1 2 3 1 5 6 2 2 3 3 1 3 4 2 5 4 3 3 2 银行家算法中的数据结构 （3）分配矩阵Allocation 。它也是n*m矩阵，表示分配给每个进程的资源数。 1 2 3 1 2 1 2 2 1 2 1 3 2 2 2 4 1 3 2 银行家算法中的数据结构 （4）需求矩阵Need 。是n*m矩阵，表示每个进程还需要各类资源数。 1 2 3 1 3 5 2 2 2 1 1 3 2 2 3 4 2 3 2 银行家算法 当进程pi提出资源申请时，系统执行下列步骤： （1）若Request[i]≤Need[i],转（2）； 否则错误返回(需要资源数超过最大值) （2）若Request[i]≤Available, 转（3）；否则进程等待(无足够资源) 银行家算法 （ 3 ）系统试分配资源，则有： Available:=Available- Request [i]; Allocation [i]:= Allocation [i]+ Request [i]; Need [i] :=Need [i] – Request[ i] （ 4 ）检查系统是否安全，若系统新状态是安全的，则分配完成，若系统新状态是不安全的，则恢复原状态，进程等待。 检查系统是否安全 为进行安全性检查，定义数据结构： Work:ARRAY[1..m] of integer; Finish:ARRAY[1..n] of Boolean; m代表资源的数量，n代表进程的数量 检查系统是否安全 (1) Work:=Available; Finish:=false; (2) 寻找满足条件的 i ： a.Finish[i]=false; b.Need[i]≤Work; 如果不存在，则转(4) (3) Work:=Work+Allocation[i]; Finish[i]:=true; 转(2) (4) 若对所有i, Finish[i]=true,则系统处于安全状态，否则处于不安全状态 已分配 最大需求 剩余需求 请求 P1 1 2 4 2 5 8 1 3 4 1 2 1 P2 0 3 3 4 4 4 4 1 1 3 0 0 P3 4 1 1 5 4 4 1 3 3 1 2 2 系统剩余 1 3 3 如果先受