【操作系统-43】死锁：性质及其必要条件

本文链接：https://blog.csdn.net/m0_69378371/article/details/144622416

什么是死锁

死锁（Deadlock）是指在多个进程或线程之间，由于彼此等待对方释放资源，导致系统中所有相关的进程或线程都无法继续执行，从而进入一种永远等待的状态。换句话说，死锁是一个进程集之间的相互依赖关系，其中每个进程都在等待其他进程释放资源，但由于某些资源已经被其他进程占用，它们无法继续执行，形成一个死循环。

死锁的四个必要条件

死锁的发生通常需要以下四个条件同时满足，这四个条件也被称为死锁的四个必要条件：

互斥条件（Mutual Exclusion）：
- 资源在同一时刻只能被一个进程占用。如果有多个进程请求某个资源，它们必须按顺序等待。
占有且等待（Hold and Wait）：
- 一个进程在占有某些资源的同时，还在等待其他进程所持有的资源。
不剥夺（No Preemption）：
- 已分配给进程的资源，在未使用完之前，不能被其他进程强行夺取。只有进程完成任务后，才能释放资源。
循环等待（Circular Wait）：
- 存在一种进程等待链，其中每个进程都在等待下一个进程占用的资源，形成一个环形等待。

如果系统中同时满足以上四个条件，则会发生死锁。

进程死锁

进程死锁（Process Deadlock）是指多个进程因为互相等待对方释放资源，导致这些进程都无法继续执行，从而进入不可恢复的等待状态。进程死锁通常由以下两种情况引起：

资源竞争：多个进程争夺有限的资源（如内存、CPU时间片、I/O设备等），没有合适的同步机制来保证进程间的资源共享，导致死锁。
不当的进程同步：进程间同步机制不当，进程在请求资源时没有充分考虑其他进程的资源需求，导致进程等待的资源永远无法被释放。

进程死锁的典型示例：

假设有两个进程A和B，它们分别需要占用两个资源R1和R2：

进程A请求资源R1并占有，接着请求资源R2。
进程B请求资源R2并占有，接着请求资源R1。

如果此时进程A已经占有了R1，但在等待R2；进程B已经占有了R2，但在等待R1，那么它们将陷入死锁状态，无法继续执行。

死锁的处理方式

死锁的处理通常有三种策略：

预防（Prevention）：
- 通过破坏死锁的四个必要条件之一来防止死锁。例如，避免占有且等待的情况，可以强制要求进程一次性请求所有资源。
避免（Avoidance）：
- 动态地检测系统资源的分配情况，根据当前的资源分配情况判断是否会导致死锁，从而避免可能的死锁发生。经典的死锁避免算法是 银行家算法。
检测和恢复（Detection and Recovery）：
- 系统允许死锁发生，但会定期检测系统中的死锁，并通过回滚进程、强制释放资源等方式进行恢复。

饥饿（Starvation）

饥饿是指一个进程在长时间内无法获得所需资源，导致该进程无法继续执行。饥饿通常发生在某些进程被其他进程长时间或永久性地阻塞的情况下。饥饿不同于死锁，因为饥饿的进程不会永远停滞，它只是得不到资源，而死锁的进程永远处于等待状态。

饥饿的原因：

优先级反转：低优先级的进程无法获得资源，因为高优先级的进程不断占用资源。
资源的分配策略不公平：某些进程总是优先获得资源，导致其他进程长期得不到资源。

饥饿的例子：

在一个优先级调度系统中，若低优先级进程在等待某个资源，而高优先级进程不断占用该资源，低优先级进程就可能长时间得不到资源，导致饥饿。

死循环（Infinite Loop）

死循环是指进程或线程进入一个无限重复执行的状态，在该状态下它不会终止，也不会释放资源。死循环与死锁不同，死锁是因为进程之间资源请求形成闭环，死循环则是一个进程自身的逻辑错误。

死循环的例子：

while (true) {
    // 执行某些操作
    // 但是永远不会退出这个循环
}

死循环的特点：

死循环不会导致资源占用问题，但会导致 CPU 时间的浪费。
死循环通常是由于编程错误或设计缺陷引起的。

死锁、饥饿和死循环的区别

特征	死锁	饥饿	死循环
定义	多个进程相互等待资源，形成循环，导致无法继续执行。	某些进程长时间得不到资源，导致进程无法继续执行。	进程无限执行某个操作而不退出，通常是因为程序错误。
发生条件	必须满足互斥、占有且等待、不剥夺和循环等待条件。	资源分配不公平，或低优先级进程总是得不到资源。	进程的控制逻辑错误，导致进入无限循环状态。
资源占用	死锁中的进程占用资源，但无法继续执行。	饥饿中的进程可能没有占用资源，但因等待未能执行。	死循环中的进程持续占用资源，通常是 CPU。
恢复方式	可以通过死锁检测与恢复、预防或避免策略来解决。	通过公平的资源调度策略或降低优先级反转的概率来解决。	修复程序中的逻辑错误来解决。
影响	死锁会导致所有涉及的进程无法执行，资源无法释放。	饥饿只影响特定进程，其他进程可以继续执行。	死循环通常不会导致资源占用问题，但会浪费 CPU 资源。