死锁发生！.ppt

操作系统 第五章 死锁与饥饿 死锁的概念 死锁的类型 死锁的条件 死锁的处理 资源分配图 死锁的预防与避免 死锁的发现与恢复 预习与思考（5.1~5.6） 什么是死锁？ 发生死锁的特征是什么？ 例举一个现实生活中的死锁实例和解决方法。 计算机中有哪几种原因会引起死锁？ 发生死锁的根本原因是什么？ 发生死锁的充分必要条件？ 发生死锁的四个必要条件？ 如何预防死锁？ 例1: 交通死锁 例2: 简单资源死锁 哲学家就餐问题 为防止死锁发生可采取的措施： 最多允许4个哲学家同时坐在桌子周围 仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子. 给所有哲学家编号，奇数号的哲学家必须首先拿左边的筷子，偶数号的哲学家则反之. 讨论 给出一个死锁例子和解决方法. 死锁定义 一组进程中的每一个进程，均无限期地等待此组进程中某个其他进程占有的，因而永远无法得到的资源，这种现象称为进程死锁。 由定义得到的结论 几个有用的结论： 参与死锁的进程至少有二个； 每个参与死锁的进程均等待资源； 参与死锁的进程中至少有两个进程占有资源； 死锁进程是系统中当前进程集合的一个子集。 死锁类型 竞争资源引起的死锁 申请不同种资源引起的死锁 死锁类型 申请同种资源引起的死锁(如内存) 设有资源R，R有m个分配单位，由n个进程P1, P2,…,Pn（n m）共享。假设每个进程对R的申请和释放符合下列原则： 一次只能申请一个单位 满足申请后才能使用 使用完后一次性释放 申请同类资源产生死锁 m=2，n=3 死锁类型(Cont.) 进程通讯引起的死锁 P1：receive(P2, M1); P2: receive(P3, M2); P3: receive(P1, M3); 其它原因引起的死锁 After you / After you 死锁的原因 死锁的原因 资源不足 进程推进顺序非法 资源分配不当 资源分配图(1) 定义: G=(V,E), V=P?R P={P1, P2, …, Pn} R={R1, R2,…, Rm}, E={(Pi, Rj)} ? {(Rj, Pi)}, Pi?P, Pj?R. 申请边(Pi, Rj): Pi申请Rj； 分配边(Rj, Pi): Rj分配Pi; 进程： 资源： 申请边：由进程到资源类； 分配边：由资源实例到进程。 资源分配图(2) 申请：pi申请rj中的一个资源实例，由pi向rj画一申请边，如可满足，改为分配边。 释放：去掉分配边。 如果资源分配图中不存在环路, 则系统中不存在死锁; 如果资源分配图中存在环路, 则系统中可能存在死锁, 也可能不存在死锁. 例子（无环路，无死锁） 例子（有环路，有死锁） 例子（有环路，无死锁） 资源分配图的约简 (1) 可以通过对资源分配图的约简，来判断系统是否处于死锁状态．资源分配图中的约简方法如下： (1) 寻找一个非孤立且没有请求边的进程结点pi,若 无算法结束； (2) 去除所有pi的分配边使pi成为一个孤立结点； (3) 寻找所有请求边均可满足的进程pj,将pj的请求 边全部改为分配边； (4) 转步骤(1)． 资源分配图的约简(2) 若算法结束时，所有结点均为孤点，则称资源分配图是可以完全约简的，否则称为不可完全约简的． 已经证明：系统处于死锁状态的充分必要条件是资源分配图不可完全约简．这一结论称为死锁定理． 定理：S为死锁状态的充分必要条件是S的资源分配图不可完全约简． 讨论 为什么称得到可完全约简的资源分配图就不存在死锁？（资源分配图约简过程的思想是什么?) 从约简过程可得出什么启示？ 约简过程的实质 资源分配图约简过程的思想 1）非孤立无请求边的结点 Pi ——拥有资源但不再申请 资源的进程Pi 2）去除所有Pi的分配边——Pi执行结束，释放占有资源 3）成为孤立结点 —— Pi可执行结束，不再占用资源 4）Pj请求边改为分配边 —— 释放的资源分配给Pj 5）都成为孤立结点 —— 全部可按一定顺序执行结束 （无死锁！） 6）存在非孤立结点 —— 存在永远不能结束的进程 （死锁发生！） 启示 前提：资源按需分配，结束时释放资源。 措施：资源分配后，只要能保证存在一条“可完全约简路径”，则可避免死锁发生。 问题：资源分配过程中如何确定一个“不再申请资源”的进程。 启示 方案（保守）： 预分配: 每进行一次资源分配后，将剩余资源全部预分配（不是真正分配）给其中某个可满足全部申请需求的进程后，如果能得到一条“可完全约简路径”，则称该次分配不会导致死锁。 每次资源申请时检查，如果可得到一条“可完全约简路径”，则分配；不可得到时，则不分配。这样就避免了死锁