如何编写稳定触发死锁的测试用例以可靠防控并发Bug？

要稳定复现目标死锁，核心是精准复刻死锁发生时的线程执行时序，而非依赖系统随机调度。结合你提供的线程栈轨迹，可通过以下技巧实现：

一、基于线程栈的关键时序复刻 #

从死锁时的线程栈中提取两个线程的锁操作顺序：

• 明确线程A先持有锁X，再尝试获取锁Y；线程B先持有锁Y，再尝试获取锁X
• 定位线程在获取锁前后的代码节点

在测试用例中严格遵循这个顺序，重点是确保两个线程都拿到各自的第一把锁后，再同时尝试获取对方的锁——这是死锁的必要条件。

二、强制线程同步的干预手段 #

1. 用同步屏障锁死时序 #

用CountDownLatch或CyclicBarrier强制线程在关键节点等待，确保时序完全符合死锁触发条件，这是最可靠的方式：

// 示例：Java场景下的死锁测试用例
CountDownLatch latch = new CountDownLatch(2);
Object lockX = new Object();
Object lockY = new Object();

// 线程A：持X等Y
new Thread(() -> {
    synchronized (lockX) {
        latch.countDown();
        try {
            latch.await(); // 等待线程B拿到锁Y
        } catch (InterruptedException e) {
            Thread.currentThread().interrupt();
        }
        // 此时线程B已持有Y，A尝试拿Y必然触发死锁
        synchronized (lockY) {
            System.out.println("Thread A acquired both locks");
        }
    }
}).start();

// 线程B：持Y等X
new Thread(() -> {
    synchronized (lockY) {
        latch.countDown();
        try {
            latch.await(); // 等待线程A拿到锁X
        } catch (InterruptedException e) {
            Thread.currentThread().interrupt();
        }
        // 此时线程A已持有X，B尝试拿X必然触发死锁
        synchronized (lockX) {
            System.out.println("Thread B acquired both locks");
        }
    }
}).start();

这种方式能100%确保两个线程进入互相等待的状态，直接触发死锁。

2. 精准插入休眠/状态等待 #

如果无法用同步屏障，可在获取第一把锁后，循环等待另一个线程的状态标记，确保对方已拿到目标锁：

volatile boolean threadBHasLockY = false;

// 线程A
synchronized (lockX) {
    while (!threadBHasLockY) {
        Thread.sleep(1); // 极短休眠，给线程B调度时间
    }
    synchronized (lockY) {}
}

// 线程B
synchronized (lockY) {
    threadBHasLockY = true;
    synchronized (lockX) {}
}

三、调整系统调度参数（减少随机性） #

Linux环境 #

• 绑定CPU核：用taskset把测试进程绑定到单个CPU核，避免多核调度带来的时序偏差，比如：

  taskset -c 0 java DeadlockTest
  

• 关闭CPU调频：强制CPU运行在最高性能模式，避免因频率波动导致执行速度变化：

  echo performance | sudo tee /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor
  

• 降低进程优先级：用nice命令降低测试进程优先级，减少系统抢占测试线程的概率：

  nice -n 19 java DeadlockTest
  

Windows环境 #

• 通过任务管理器将测试进程的优先级设置为“低”
• 用SetThreadPriority API给测试线程设置最低优先级，减少调度干扰

四、禁用语言运行时的锁优化（针对Java等虚拟机场景） #

JVM的偏向锁、轻量级锁优化可能会规避死锁场景，需禁用这些优化强制使用重量级锁：

java -XX:-UseBiasedLocking -XX:-UseSpinLock DeadlockTest

五、循环执行测试 #

极端情况下仍可能出现调度偏差，可让测试用例循环执行多次（比如100次），一旦触发死锁就终止并抛出异常，确保CI环境能稳定捕捉问题。

内容的提问来源于stack exchange，提问作者Lewis Chan