【OS学习】死锁

1死锁的概念

1.1死锁定义

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

1.2相似概念

饥饿：等待时间过长以至于给进程推进和响应带来明显影响【俄而不死】

1.3死锁产生原因

• 系统资源的静止
• 进程推进顺序非法 

2死锁产生的必要条件

【缺一不可】

互斥条件：共享资源的排他性访问

不剥夺条件：访问时该共享资源不会被剥夺

请求并保持条件：保持当前资源时请求另一个资源

循环等待条件：存在共享资源的循环等待链（双标志法会出现）

↑理解：A和B手里各有一根筷子，都想要对方手里的筷子才能吃饭，但双方都无法释放

---

3死锁处理

3.1死锁预防

3.1.1破坏互斥条件

• 将只能互斥访问的资源改为同时共享访问的
• 将独占锁改位共享锁
• 不是所有资源都能改成可共享的

---

3.1.2破坏不剥夺/不可抢占条件

• 实现复杂，代价高
• 此操作过多导致原进程任务【可能】无法推进
• 请求新资源无法满足时必须释放已有资源
• 由OS协助强制剥夺某进程持有的资源（需要操作系统协助）

 

 3.1.3破坏请求并保持条件

• 进程开始允许时一次性申请所需资源

                问题：资源浪费、进程饥饿

• 阶段性请求和释放资源（用完一次就释放一次资源）

 

---

3.1.4破坏循环等待条件

出现原因：请求的资源是乱序的

方法：

• 对所有资源现行排序，按序号请求资源（请求时先低再高，释放时先高再低）
• 对资源的编号应相对稳定，限定了新设备增加
• 进程使用资源的顺序可能与系统编号顺序不同
• 限制了用户编程

---

3.2死锁避免

3.2.1安全性算法

系统安全状态：安全状态一定不会出现死锁，不安全状态可能出现死锁

 银行家算法 

Dijkstra的

系统预判进程请求是否导致不安全状态，是则拒绝请求，否则答应请求

•  数据结构：
  • 可利用资源向量Available
  • 最大需求矩阵Max
  • 分配矩阵Allocation
  • 需求矩阵Need

---

 3.3死锁的检测与解除

3.3.1死锁检测

• 需要一种数据结构保存有关资源的请求和分配信息
• 提供一种算法，利用这些信息检测是否形成了死锁

资源分配图(G=(N,E))；

死锁定理（死锁状态的充分条件）：

• 当且仅当此状态下的资源分配图是不可完全简化的
• 简化过程类似于”拓扑排序“算法

 👉→ 

 

 

死锁解除

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

---