4.如何处理死锁问题?
4.1 死锁的概念
死锁定义
多个进程由于竞争资源而造成的阻塞现象,若无外力作用,这些进程将无法继续推进。
相似概念:饥饿
等待时间过长以至于给进程推进和响应带来明显影响,“饿而不死”
死锁产生的原因
系统资源的竞争
进程推进顺序非法
死锁产生的必要条件
互斥条件:共享资源的排他性访问
不剥夺条件:访问时该共享资源不会被剥夺
请求并保持条件:保持当前资源时请求另一个资源
循环等待条件:存在共享资源的循环等待链
4.2 死锁的处理策略
死锁预防
破坏互斥条件
破坏不剥夺条件
破坏请求并保持条件
破坏循环等待条件
4.2.1 预防与避免
死锁预防:破坏互斥条件
将只能互斥访问的资源改为同时共享访问
将独占锁改为共享锁
不是所有资源都能改成可共享的
死锁预防:破坏不剥夺/不可抢占条件
请求新资源无法满足时必须释放已有资源
由OS协助强制剥夺某进程持有的资源
实现复杂,代价高
此操作过多导致原进程任务无法推进
死锁预防:破坏请求并保持条件
进程开始运行时一次性申请所需资源
资源浪费
进程饥饿
阶段性请求和释放资源
死锁预防:破坏循环等待条件
对所有资源现行排序,按序号请求资源
请求时先低再高
释放时先高再低
对资源的编号应相对稳定,限制了新设备增加
进程使用资源的顺序可能与系统编号顺序不同
限制了用户编程
死锁避免:安全性算法
系统安全状态
安全状态一定不会出现死锁
不安全状态可能出现死锁
银行家算法
系统预判进程请求是否导致不安全状态
是则拒绝请求,否则答应请求
4.2.2 检测与解除
死锁检测
需要一种数据结构,保存有关资源的请求和分配信息
提供一种算法,利用这些信息检测是否形成了死锁
死锁解除
资源剥夺
撤销进程
进程回退
资源分配图(G=(N, E)):
两种资源
两种节点
死锁定理(死锁状态的充分条件):
当且仅当此状态下资源分配图是不可完全简化的
简化过程类似于“拓扑排序”算法(注意数据结构考察)
死锁的解除
资源剥夺
挂起死锁进程
剥夺其资源
将资源分配给其它(死锁)进程
撤销进程
进程回退
回退到足以避免死锁的地步
需要记录进程历史信息,设置还原点