4.4死锁重点.ppt

第十讲 死锁 目的与要求：了解死锁的定义，掌握死锁预防，了解死锁避免，死锁检测，死锁恢复的方法。 重点与难点：死锁预防法则的使用。 作业：21，22 4.4 死锁 4.4.1 死锁示例 日常生活中的例子 进程死锁的例子 竞争外部设备 竞争辅存空间 编程错的例子 4.4.2 死锁定义及性质 死锁定义 在一个进程集合中，若每个进程都在等待某些事件（指：释放资源）的发生，而这些事件又必须由这个进程集合中的某些进程来产生，就称该进程集合处于死锁状态。 死锁定义及性质 出现死锁的系统必须同时满足下列四个必要条件 互斥：必须存在需要互斥使用的资源 占有等待：一定有占有资源而又等待其它资源的进程 非剥夺：系统中进程占有的资源未主动释放时不可以剥夺 循环等待：进程集合{P0, P1, ……, Pn}，Pi等待Pi+1，Pn等待P0 死锁定义及性质 资源分配图定义 资源分配图由如下部件组成： 如果各类资源数为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} 寻找j∈N使其满足Requestj≤Work,若不存在这样的j则转(3) Work =Work+Allocationj N =N-{j},转(1) 如果N为空则无死锁；如果N不为空则有死锁，N就是处于死锁状态的进程集合 4.4.6 死锁恢复 检测出死锁后的处理 破坏循环等待（杀掉有关进程） 4.4.7 死锁的综合处理 把系统中的资源分成几大类，整体上采用资源顺序分配法，再对每类资源根据其特点选择最适合的方法。 例如： （1）主存、处理机 -- 剥夺法 （2）辅存 -- 预分配法 （3）其他 -- 死锁检测 * *