【操作系统】8.如何处理死锁问题？

4.如何处理死锁问题？

4.1 死锁的概念

死锁定义
多个进程由于竞争资源而造成的阻塞现象，若无外力作用，这些进程将无法继续推进。

相似概念：饥饿
等待时间过长以至于给进程推进和响应带来明显影响，“饿而不死”

死锁产生的原因
系统资源的竞争
进程推进顺序非法

死锁产生的必要条件
互斥条件：共享资源的排他性访问
不剥夺条件：访问时该共享资源不会被剥夺
请求并保持条件：保持当前资源时请求另一个资源
循环等待条件：存在共享资源的循环等待链

4.2 死锁的处理策略

死锁预防
破坏互斥条件
破坏不剥夺条件
破坏请求并保持条件
破坏循环等待条件

4.2.1 预防与避免

死锁预防：破坏互斥条件
将只能互斥访问的资源改为同时共享访问
将独占锁改为共享锁
不是所有资源都能改成可共享的

死锁预防：破坏不剥夺/不可抢占条件
请求新资源无法满足时必须释放已有资源
由OS协助强制剥夺某进程持有的资源
实现复杂，代价高
此操作过多导致原进程任务无法推进

死锁预防：破坏请求并保持条件
进程开始运行时一次性申请所需资源
资源浪费
进程饥饿
阶段性请求和释放资源

死锁预防：破坏循环等待条件
对所有资源现行排序，按序号请求资源
请求时先低再高
释放时先高再低
对资源的编号应相对稳定，限制了新设备增加
进程使用资源的顺序可能与系统编号顺序不同
限制了用户编程

死锁避免：安全性算法
系统安全状态
安全状态一定不会出现死锁
不安全状态可能出现死锁
银行家算法
系统预判进程请求是否导致不安全状态
是则拒绝请求，否则答应请求

4.2.2 检测与解除

死锁检测
需要一种数据结构，保存有关资源的请求和分配信息
提供一种算法，利用这些信息检测是否形成了死锁
死锁解除
资源剥夺
撤销进程
进程回退

资源分配图（G=(N, E)）：
两种资源
两种节点
死锁定理（死锁状态的充分条件）：
当且仅当此状态下资源分配图是不可完全简化的
简化过程类似于“拓扑排序”算法（注意数据结构考察）

死锁的解除
资源剥夺
挂起死锁进程
剥夺其资源
将资源分配给其它（死锁）进程
撤销进程
进程回退
回退到足以避免死锁的地步
需要记录进程历史信息，设置还原点

小结：如何处理死锁问题？