操作系统概念：死锁.ppt

操作系统概念 第八章：死锁 本章主要内容 系统模型 死锁特点 死锁处理办法 死锁预防 死锁避免 死锁检测 死锁恢复 死锁问题 一组阻塞进程分别占有一定的资源并等待获取另外一些已经被同组其他进程所占有的资源。 实例一 系统拥有两个磁带驱动器 P1 和 P2分别占有其中的一台，而且相互需要另外的一台。 实例二 信号量A和B，初始值都为1 P0 P1 wait(A); wait(B) wait(B); wait(A) 过桥的实例 8.1 系统模型 资源类型：R1, R2, …, Rm CPU 周期， 内存空间，I/O设备 每个资源类型Ri有Wi个实例 每个进程用以下方式利用资源 申请 使用 释放 8.2 死锁特点 如果以下四个条件同时满足，那么就会引起死锁 互斥：至少有一个资源必须处于非共享模式；即一次只有一个进程使用。如果另一资源申请该资源，那么申请进程必须延迟直到该资源释放为止。 占有并等待：一个进程必须占有至少一个资源，并等待另一资源，而该资源为其他进程所占有。 非抢占：资源不能被抢占；即，只有进程完成其任务之后，才会释放其资源。 循环等待：有一组进程{P0, P1, …, Pn}，P0等待的资源为P1所占有，P1等待的资源为P2所占有，Pn-1等待的资源为Pn所占有，Pn等待的资源为P0所占有。 资源分配图 节点的集合V和边的集合E V分为两类 P ＝ {P1, P2, ……, Pn}, 系统活动进程的集合 R = {R1, R2, ……, Rm}, 系统所有资源类型的集合 请求边：有向边 P1-Rj 分配边：有向边 Rj-Pi 资源分配图实例 有死锁情况的资源分配图 存在环但无死锁的资源分配图 基本事实 如果图不包含环，则不存在死锁 如果图包含环，则 如果每种资源类型只有一个实例，则死锁 如果每种资源类型存在若干个实例，则只是有可能会发生死锁。 8.3 死锁处理方法 可使用协议以预防或避免死锁，确保系统永远不会进入死锁状态 可允许系统进入死锁状态，然后检测它，并加以恢复 可忽略这个问题，认为死锁不可能在系统内发生。这种方法为绝大多数操作系统如UNIX使用。（鸼鸟算法） 8.4 死锁预防 出现死锁有四个必要条件，只要确保至少一个必要条件不成立，就能预防死锁发生。 互斥 通常不能通过否定互斥条件来预防死锁。有资源本身是非共享的。 占有并等待 当一个进程申请一个资源时，它不能占有其他资源。 执行前申请并获得所有资源 申请其他资源之前，必须释放其现在已分配的所有资源 缺点 资源利用率可能比较低 可能发生饥饿 非抢占： 如果一个进程占有资源并申请另一个不能立即分配的资源，那么其现已分配的资源都被抢占。 通常应用于其状态可以保存和恢复的资源，如CPU寄存器和内存空间，不能适用于其他资源如打印机和磁带驱动器。 循环等待 对所有资源进行完全排序，且要求每个进程按递增顺序来申请资源 8.5 死锁避免 避免死锁的另一种方法要求有关如何申请资源的附加信息 最简单且有效的模型要求每个进程事先声明它所需要的每种资源的最大数量 死锁避免算法动态检查资源分配状态，以保证不存在循环等待的条件。 资源分配状态通过可用资源数量、已分配资源数量，及进程最大申请数量来定义 安全状态 当一个进程申请一个可用资源的时候，系统必须决定这次分配是否会使系统处在一种安全状态 如果存在所有进程的一种安全序列，则系统是安全的 进程序列P1, P2, …, Pn，如果对于每个Pi，Pi申请的资源小于当前可用资源加上所有进程Pj（其中j i）所占有的资源，那么这一顺序为安全序列。如果没有这样的序列存在，则系统状态就处于不安全 如果系统是安全的，则不会死锁 如果系统不安全，可能会发生死锁 死锁避免：确保系统永远不会进入不安全状态 安全、不安全、死锁状态空间 例子 考虑一个系统，共有12台磁带驱动器和三个进程P0, P1, P2。其最大需求与当前占有量如下表所示 最大需求 当前占有 P0 10 5 P1 4 2 P2 9 2 在时刻t0时，系统处于安全状态，因为顺序P1, P0, P2满足安全条件。 如果在时刻t1时，进程P2申请并又得到了1台磁带驱动器，系统就不安全了。 为什么？ 资源分配图算法 除了申请边和分配边外，可引入一新类型的边，称为需求边。 需求边Pi-Rj表示进程Pi可能在将来某个时候申请资源Rj，用虚线表示 当进程Pi申请资源Rj时，需求边Pi-Rj变成了申请边。 当进程Pi释放Rj时，分配边Rj-Pi变成了需求边。 系统必须事先要求资源 死锁避免的资源分配图 资源分配图的不安全状态 银行家算法 多实例 每个进程必须事先声明资源最大使用量 当一个进程申请资源时，有可能必须等待 进程得到所有资源后，它必须