死锁发生的四个条件有哪些

什么是死锁？

在操作系统和多线程编程中，死锁（Deadlock）是指两个或两个以上的进程（或线程）在执行过程中，因争夺资源而造成的一种互相等待的现象。若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁，这些永远在互相等待的进程称为死锁进程。

死锁不仅存在于操作系统底层，在现代高并发Java应用、数据库事务处理中也是极其常见且致命的错误。理解死锁发生的四个条件，是解决这一问题的前提。

死锁发生的四个必要条件

要发生死锁，必须同时满足以下四个条件。只要破坏其中任何一个条件，死锁就不会发生。这四个条件分别是：互斥条件、占有并等待条件、非抢占条件和循环等待条件。

这四个条件必须同时成立，死锁才会发生。这是解决死锁问题的理论基石。

Java多线程死锁实战示例

为了更直观地理解这四个条件，我们通过一个经典的Java代码示例来演示死锁是如何产生的。在这个例子中，两个线程Thread-A和Thread-B分别持有锁A和锁B，并试图获取对方的锁。

public class DeadlockDemo {
    public static void main(String[] args) {
        final String lockA = "LockA";
        final String lockB = "LockB";
        Thread threadA = new Thread(() -> {
            synchronized (lockA) {
                System.out.println("Thread A: Holding Lock A ...");
                try { Thread.sleep(100); } catch (InterruptedException e) {}
                System.out.println("Thread A: Waiting for Lock B ...");
                synchronized (lockB) {
                    System.out.println("Thread A: Holding Lock A & B");
                }
            }
        });
        Thread threadB = new Thread(() -> {
            synchronized (lockB) {
                System.out.println("Thread B: Holding Lock B ...");
                try { Thread.sleep(100); } catch (InterruptedException e) {}
                System.out.println("Thread B: Waiting for Lock A ...");
                synchronized (lockA) {
                    System.out.println("Thread B: Holding Lock A & B");
                }
            }
        });
        threadA.start();
        threadB.start();
    }
}
                    

代码分析：

• 互斥条件： synchronized 关键字保证了锁的互斥性。
• 占有并等待： Thread-A 先获取了 lockA，然后在尝试获取 lockB 时，依然持有 lockA。
• 非抢占： 一旦获取了锁，JVM不会强制释放，必须等待线程执行完毕或异常。
• 循环等待： Thread-A 等待 lockB (被 Thread-B 持有)，Thread-B 等待 lockA (被 Thread-A 持有)，形成闭环。

死锁的预防与避免策略

既然知道了死锁发生的四个条件，我们就可以通过破坏其中至少一个条件来预防死锁，或者使用算法来避免死锁。

死锁的检测与解除

在某些情况下，允许死锁发生，但系统需要能够检测出死锁，并在检测到后采取措施解除死锁。这通常用于资源利用率要求高、且死锁发生概率较低的场景。

1. 死锁检测

系统通过资源分配图（Resource Allocation Graph, RAG）或等待图（Wait-For Graph）来检测死锁。

• 资源分配图简化： 不断消除那些不阻塞的进程所对应的边（即该进程能获得所需资源并运行结束），若最终所有边都能被消除，则无死锁；若图中仍存在环，则存在死锁。
• 等待图： 只包含进程节点，若进程P等待进程Q的资源，则有一条从P到Q的边。若等待图中存在环，则系统处于死锁状态。

2. 死锁解除

一旦检测到死锁，必须采取措施将其解除。常见方法包括：

网友们还关心：死锁的进阶话题

除了基础的四个条件和预防策略，开发者在实际工作中还经常遇到以下相关问题：

如何定位Java死锁？

在Java开发中，可以使用以下工具定位死锁：

• jstack 命令： 使用 jstack <pid> 查看线程快照，JVM通常会直接报告发现的死锁信息。
• JConsole / VisualVM： 图形化监控工具，可以直观地看到线程状态和资源锁的持有情况。
• Arthas： 阿里巴巴开源的Java诊断工具，使用 thread -b 命令可以自动检测并打印死锁线程。

数据库死锁怎么处理？

数据库（如MySQL）中的死锁通常由事务并发引起。解决方法包括：

• 统一访问顺序： 所有事务以相同的顺序访问资源（如表或行）。
• 缩短事务： 减少事务持有锁的时间，尽快提交或回滚。
• 设置超时： 数据库引擎通常有死锁检测机制，超过一定时间未获取锁的事务会被回滚。

关于死锁的常见问答 (FAQ)