十讲死锁.PPTVIP

第十讲 死锁 目的与要求：了解死锁的定义，掌握死锁预防，了解死锁避免，死锁检测，死锁恢复的方法。 重点与难点：死锁预防法则的使用，死锁避免和检测算法。 作业：25，27，32，35 4.4 死锁 4.4.1 死锁示例 日常生活中的例子 进程死锁的例子 竞争外部设备 竞争辅存空间 编程错的例子 4.4.2 死锁定义及性质 死锁定义 在一个进程集合中，若每个进程都在等待某些事件（指：释放资源）的发生，而这些事件又必须由这个进程集合中的某些进程来产生，就称该进程集合处于死锁状态。 死锁定义及性质 出现死锁的系统必须同时满足下列四个必要条件 互斥：必须存在需要互斥使用的资源； 占有等待：一定有占有资源而又等待其他资源的进程； 非剥夺：系统中进程占有的资源未主动释放时不可以剥夺； 循环等待：进程集合{P0, P1, ……, Pn}，Pi等待Pi+1，Pn等待P0。 死锁定义及性质 资源分配图定义 参见教材的图8～7，8～8，8～9，8～10 如果各类资源数为1，则系统出现死锁的充要条件是资源分配图含圈。 死锁研究的主要内容 死锁防止 死锁避免 死锁检测 死锁恢复 4.4.3 死锁防止 逻辑公式： D→C1∧C2∧C3∧C4 ? C1∨? C2∨? C3∨? C4→ ? D 破坏互斥占用条件 让资源都能共享使用（但有些资源必须互斥,实质上所有资源最终必须互斥使用）。 破坏占有等待条件 将进程所要资源一次性分给进程，要么没分到一个资源，要么全部满足（适合廉价资源的分配,如外存空间分配）。 进程在下一轮申请资源时，释放所占的所有资源 (用完一个再用下一个)。 破坏非剥夺条件(用于内存管理、CPU管理等) 当进程Pi申请ri类资源时，若有则分配，若没有则剥夺Pi占有的所有资源。 当进程Pi申请ri类资源时，若有则分配，若无则剥夺占有ri类资源进程所占的ri类资源分配给Pi； 或看占用ri类资源的Pk处于什么状态，若处于等资源状态，则剥夺其资源，否则让Pi等待,等于剥夺Pi的资源。 破坏循环等待条件 采用资源顺序分配方法：给每类资源编号，进程只能按序号由小到大的顺序申请资源，若不满足则拒绝分配。 反证：若出现循环等待，则必会有小序号资源序号大于大序号资源序号。 4.4.4 死锁避免 银行家算法(在系统处理资源申请时，判断在满足申请时，系统是否还处于安全状态？是，则满足本次资源申请，否则拒绝。依此引导进程运行次序) 单类资源系统安全状态定义：设系统中有n个进程，若存在一个序列〈P1,Ｐ2,…,Ｐn〉，使得Pi(i＝1,2,…,n)以后还需要的资源可以通过系统现有资源加上所有Pj(j＜i)占有的资源来满足，则称这个系统处于安全状态,序列〈Ｐ１,Ｐ２,…,Ｐn〉称为安全序列。 举例 设银行家有10万贷款，P, Q, R分别需要8,3,9万元搞项目，如果P已申请到了4万，Q要申请2万，显然，如果满足Q的申请，有安全序列P,Q,R/Q,P,R。 但如果R要申请4万，若满足R的申请，显然不存在安全序列。 举例 Allocation Max Request available P1 1 2 4 2 5 8 1 2 1 1 3 3 P2 0 3 3 4 4 4 3 0 0 P3 4 1 1 5 4 4 1 2 2 如果p1先申请，无安全序列。 如果p3申请，可有安全序列p3,p2,p1或p3,p1,p2。 4.4.5 死锁检测 资源分配图的简化过程： 1.在图中找一个进程顶点Ｐi，Pi的请 求边均能立即满足。 2.若找到这样的Pi，则将与Ｐi相连的 边全部删去，转(1)；否则化简过程结束。 如果化简后所有的进程顶点都成了孤立点，则称该图可完全化简；否则称该图是不可完全化简的。  系统中有死锁的充分必要条件是资源分配图不可完全化简。 死锁检测算法 设Work(1:m)为临时工作向量。初始时Work=Available.令N={1,2,…,n}: 1.寻找j∈N 使其满足Requestj≤Work, 若不存在这样的j则转(3)； 2.Work =Work+Allocationj N =N-{j},转(1)； 3.如果N 为空则无死锁；如果N 不为 空则有死锁，N 就是处于死锁状态的进程 集合。 4.4.6 死锁恢复 检测出死锁后的处理: 破坏互斥条件; 破坏非剥夺条件; 破坏循环等待（杀掉有关进程或使某个进程退回到可使系统摆脱死锁的状态）。 4.4.7 死锁的综合处理 把系统中的资源分成几大类，整体上