第7章 死锁(Deadlock)
- 死锁的现象
- 死锁的预防及避免
系统模型
进程对资源的操作只有下面三种:
- 申请:如果申请不到就必须进行等待
- 使用:顾名思义
- 释放:当进程结束时,需要释放资源,以供其他进程使用
死锁的特征
必要条件
- 互斥(mutual exclusion):至少有一个资源处于非共享模式,即无法满足进程同时使用
- 占有并等待(hold and wait):一个进程必须占有至少一个资源,并且等待另外一种资源
- 非抢占(no preemption):资源不能被抢占,申请资源必须等到该资源被释放为空闲为止
- 循坏等待(circular wait):各个进程之间占有某种资源,并等待其他进程释放其他的资源
- 四个必要条件同时成立才会出现死锁现象
资源分配图
- 方块代表资源,圆形代表进程
- 指向方块的中心,为拥有资源;指向方块的边,为请求该资源
死锁的处理方法
- 死锁避免(deadlock avoidance):要求操作系统事先得到有关进程申请资源和使用资源的额外信息
死锁预防
通过破坏四个必要条件,使其中之一无法成立来预防死锁
- 互斥:有些资源本身是需要互斥来进行规避冲突的,除了某些共享文件外,其他的还是需要互斥的,因此该条件较难破坏
- 占有并等待:两种协议,一种是申请一个资源时不能占有其他资源,一种是必须一次性申请所需要的资源
- 非抢占:申请的资源,如果被等待中的进程所占有,可以立即抢占它
- 循环等待:首先需要将所有资源进行排序,每次申请资源时,同一种资源需要同时申请,不同资源需要按照最开始的排序,依次进行申请
死锁避免(deadlock-avoidance)
- 安全状态:按照某种顺序分配资源,进程不会出现死锁
- 安全状态下不会出现死锁
- 不安全状态下可能出现死锁
算法
- 资源分配图算法:少数资源时可用
- 银行家算法:用于多数资源时
- 银行家算法:allocation矩阵,max矩阵,available矩阵三个矩阵,求出need矩阵,再进行顺序的安排
死锁的检测
死锁的恢复(recovery)
- 进程终止:终止所有进程or一次只终止一个进程直到取消死锁循环为止
- 资源抢占:选择一个牺牲品(抢占某个进程的资源实现代价最小恢复)、回滚(进程回滚到打破死锁为止)、饥饿(处理避免总是某个进程被牺牲)