操作系统复习篇（7）——死锁（Deadlock）

第7章 死锁（Deadlock）

• 死锁的现象
• 死锁的预防及避免

系统模型

进程对资源的操作只有下面三种：

• 申请：如果申请不到就必须进行等待
• 使用：顾名思义
• 释放：当进程结束时，需要释放资源，以供其他进程使用

死锁的特征

必要条件

• 互斥（mutual exclusion）：至少有一个资源处于非共享模式，即无法满足进程同时使用
• 占有并等待（hold and wait）：一个进程必须占有至少一个资源，并且等待另外一种资源
• 非抢占（no preemption）：资源不能被抢占，申请资源必须等到该资源被释放为空闲为止
• 循坏等待（circular wait）：各个进程之间占有某种资源，并等待其他进程释放其他的资源
• 四个必要条件同时成立才会出现死锁现象

资源分配图

• 方块代表资源，圆形代表进程
• 指向方块的中心，为拥有资源；指向方块的边，为请求该资源

死锁的处理方法

• 死锁避免（deadlock avoidance）：要求操作系统事先得到有关进程申请资源和使用资源的额外信息

死锁预防

通过破坏四个必要条件，使其中之一无法成立来预防死锁

• 互斥：有些资源本身是需要互斥来进行规避冲突的，除了某些共享文件外，其他的还是需要互斥的，因此该条件较难破坏
• 占有并等待：两种协议，一种是申请一个资源时不能占有其他资源，一种是必须一次性申请所需要的资源
• 非抢占：申请的资源，如果被等待中的进程所占有，可以立即抢占它
• 循环等待：首先需要将所有资源进行排序，每次申请资源时，同一种资源需要同时申请，不同资源需要按照最开始的排序，依次进行申请

死锁避免（deadlock-avoidance）

• 安全状态：按照某种顺序分配资源，进程不会出现死锁
• 安全状态下不会出现死锁
• 不安全状态下可能出现死锁

算法

• 资源分配图算法：少数资源时可用
• 银行家算法：用于多数资源时
• 银行家算法：allocation矩阵，max矩阵，available矩阵三个矩阵，求出need矩阵，再进行顺序的安排

死锁的检测

死锁的恢复（recovery）

• 进程终止：终止所有进程or一次只终止一个进程直到取消死锁循环为止
• 资源抢占：选择一个牺牲品（抢占某个进程的资源实现代价最小恢复）、回滚（进程回滚到打破死锁为止）、饥饿（处理避免总是某个进程被牺牲）