为了让小白也能看懂这个死锁Case，我请来了小黑...

小黑有点困，他想休息，又怕耽误时间，于是准备小眯一会。

为了能按时起来，他设了闹钟，作为程序员，必须得整两个，防止单点故障。

当任意一个闹钟响起，小黑就起来把两个闹钟都关掉，继续干活，就像这样：

public class Clock {
    private BlackBro blackBro;

    public void setBlackBro(BlackBro blackBro) {
        this.blackBro = blackBro;
    }

    public synchronized void ring() {
        System.out.println(Thread.currentThread() + " Clock.ring...");
        blackBro.wake();
    }

    public synchronized void close() {
        System.out.println(Thread.currentThread() + " Clock.close...");
    }
}

public class BlackBro {
    private Clock[] clocks;

    public void setClocks(Clock[] clocks) {
        this.clocks = clocks;
    }

    public synchronized void wake() {
        System.out.println(Thread.currentThread() + "BlackBro.wake...");
        for (Clock clock : clocks) {
            clock.close();
        }
    }
}

为了防止闹钟和小黑在执行操作期间被人打扰，我贴心地给他们都加上了锁 —— synchronized。

模拟这个场景将是这样：

public static void main(String[] args) {
    Clock clock1 = new Clock();
    Clock clock2 = new Clock();
    BlackBro blackBro = new BlackBro();

    clock1.setBlackBro(blackBro);
    clock2.setBlackBro(blackBro);
    blackBro.setClocks(new Clock[]{clock1, clock2});

    // sleep...
    Thread t1 = new Thread(clock1::ring);
    Thread t2 = new Thread(clock2::ring);

    t1.start();
    t2.start();
}

启动程序发现，陷入了无尽地等待：

Thread[Thread-0,5,main] Clock.ring...
Thread[Thread-1,5,main] Clock.ring...
Thread[Thread-1,5,main]BlackBro.wake...

这是怎么回事？眼尖的同学肯定发现问题了。我们看一下 jstack：

Found one Java-level deadlock:
=============================
"Thread-0":
  waiting to lock monitor 0x0000600003ecc000 (object 0x000000070fc52398, a com.demo.BlackBro),
  which is held by "Thread-1"

"Thread-1":
  waiting to lock monitor 0x0000600003ec04e0 (object 0x000000070fc50f88, a com.demo.Clock),
  which is held by "Thread-0"

Java stack information for the threads listed above:
===================================================

原来是死锁了：我们起了两个闹钟线程，两个线程各自拿到自己的对象锁，开始 ring，ring 又都会去唤醒小黑，但小黑对象只有一个，只有一个闹钟能顺利拿到小黑的对象锁，小黑被唤醒后又去关闹钟，但却没法关掉，因为闹钟在等小黑唤醒的期间不会被别人打断，于是闹钟在等小黑，小黑在等闹钟，形成了死锁。

我相信稍微仔细点大家都能发现这个问题，这是因为我把干扰项都排除，只留下非常简单的框架。如果在一个非常复杂的系统中，还是很难发现的。这也是我今天遇到的一个线上问题，花了半天时间才排查出来。

这个 case 教育我们要谨慎使用锁，尤其是 synchronized；其次如果发现程序没有按预期地执行，尤其是该执行的没执行，可以留个心眼，看看堆栈是不是有死锁。

2024 年第一个小case送给你，你学废了吗？

原文地址：https://mp.weixin.qq.com/s/LqVlSVR6lG6-jGRdEvYixw