死锁的原因及解决方法

死锁是指在多进程或多线程系统中，两个或多个进程/线程彼此永久阻塞的状态，每个进程/线程都在等待被其他进程/线程占用的资源，且都不释放自己已持有的资源，导致所有相关进程/线程都无法继续推进。

死锁产生的四个必要条件（必须同时满足）：

互斥： 资源是独占的、排他的。一个资源一次只能被一个进程/线程使用。如果一个进程/线程在请求一个已经被占用的资源，它必须等待。
请求保持（持有并等待）： 进程/线程在持有至少一个资源的同时，又在请求其他进程/线程持有的资源。
不可抢占： 资源不能被强制地从持有它的进程/线程中夺走。资源只能由持有它的进程/线程在使用完毕后自愿释放。
循环等待： 存在一个进程/线程-资源的循环等待链。进程/线程 P1 持有资源 R1 并请求资源 R2；进程/线程 P2 持有资源 R2 并请求资源 R3；...；进程/线程 Pn 持有资源 Rn 并请求资源 R1。形成了一个封闭的环形等待链。

解决死锁的方法：

解决死锁的思路主要围绕破坏上述四个必要条件之一，或者允许死锁发生但能检测和恢复。

死锁预防： （在系统设计时就确保四个必要条件中至少一个永不成立）
- 破坏互斥： 对于某些类型的资源（如只读文件），允许非互斥访问。但绝大多数资源（如打印机、共享变量、写锁）本质上是互斥的，此方法适用性有限。
- 破坏请求保持：
  - 一次性分配： 进程在开始执行前，必须申请它所需要运行期间的全部资源。只有所有资源都可用时才分配给它。缺点是资源利用率低，可能导致进程饥饿（某些资源一直被别的进程占用）。
  - 资源预分配： 类似一次性分配，但更早进行。
- 破坏不可抢占： 如果一个进程请求资源失败（该资源被其他进程占用且它在等待其他资源），则强制释放它当前持有的所有资源。如果另一个进程请求这些被释放的资源，并且这些资源加上它所持有的资源能满足其请求，系统将这些资源分配给它。缺点是增加了实现复杂性，可能导致进程之前的工作无效。
- 破坏循环等待：
  - 资源有序分配： 给所有类型的资源规定一个全局的线性顺序编号。进程在请求资源时必须严格按照递增的顺序请求。即一个进程只有在持有编号为 i 的资源时，才能请求编号 j > i 的资源。这样就不会出现进程持有高编号资源去请求低编号资源而形成循环。这是最实用、最常用的预防方法（如锁排序）。
死锁避免： （在资源分配的每一步进行动态检查，以确保系统永远不会进入不安全状态）
- 核心思想： 系统根据进程的最大需求（进程声明最多需要多少资源）和当前可用资源，判断分配资源后系统是否仍处于安全状态【安全状态：存在一个安全序列（进程执行顺序），使得即使某个进程最大需求全部满足，也能保证所有进程都能顺利完成】。
- 银行家算法： 最经典的死锁避免算法（针对每种资源类型有多个实例）。当一个进程请求资源时，系统模拟分配资源，然后检查系统是否仍处于安全状态。只有分配后仍是安全状态时才实际分配资源。缺点是要求进程事先声明最大资源需求，进程数量和资源数量固定（或变化不频繁），系统开销较大。
死锁检测与恢复： （允许死锁发生，但系统能检测到死锁并采取措施解除它）
- 检测算法： 定期（或根据CPU利用率下降等触发）运行算法，检测系统中是否存在循环等待链（构造资源分配图并检测环）。需要维护进程和资源的占用/等待关系信息。
- 恢复机制（解除死锁）：
  - 进程终止：
    - 终止所有死锁进程： 简单粗暴，代价高。
    - 按优先级/代价终止： 一次终止一个死锁进程（选代价最小的），释放其资源，直到死锁解除。
  - 资源抢占： 从某些死锁进程中强行抢占资源分配给其他进程。
    - 需要选择牺牲进程（根据优先级、运行时间、所需资源量等）。
    - 回退： 将牺牲进程回退到某个安全的检查点，再重新启动。需要系统支持检查点机制。
    - 饥饿： 需要确保同一进程不会总是被选为牺牲品。
鸵鸟策略： 忽略死锁问题，假装死锁永远不会发生。适用于死锁发生概率极低或解决死锁代价过高（超预期）的系统（早期Windows、Unix内核通常采用此策略）。

总结：

方法	思路	优点	缺点	适用场景
死锁预防	破坏必要条件之一	简单，从根本上杜绝死锁	限制并发性，资源利用率低，实现约束多	对安全性要求极高的系统
(常用：资源有序分配)	(尤其是资源有序分配)	(资源有序分配相对易实现)
死锁避免	动态检查分配的安全性	允许更灵活的资源请求	进程需声明最大需求，开销大，适用性受限	特定资源类型（如银行家算法）
(如银行家算法)
死锁检测与恢复	允许死锁发生但能检测并解除	资源利用率高，对进程约束少	检测开销，恢复复杂（回滚、丢失工作），可能造成饥饿	死锁不频繁但后果可接受的系统
鸵鸟策略	忽略	零开销	发生死锁时系统可能崩溃或挂起	死锁概率极低或代价过高的系统