jstack -l <pid> 是最轻量的死锁检测工具，必须加 -l 才显示锁关系，推荐配合 -e 连续执行2–3次；ThreadMXBean 可程序化检测已形成的死锁，但无法捕获伪死锁。
用 jstack 快速抓取线程快照看死锁
Java 自带的 jstack 是最轻量、最直接的死锁现场捕获工具，不需要改代码、不依赖 JVM 启动参数。只要进程还在跑，就能看到真实线程状态。
常见错误现象：jstack -l <pid> 没输出、报“Unable to open socket file”，其实是权限或目标 JVM 不是当前用户启动；或者只看到 java.lang.Thread.State: WAITING 却没标出死锁——那是因为没加 -l 参数（它才启用锁信息检测）。
- 必须加
-l：否则看不到锁持有者和等待者关系 - 推荐加
-e（Java 8u60+）：能显示 native 方法栈，对排查 JNI 或 IO 阻塞有帮助 - 别只看一次：死锁可能瞬时发生，建议连续执行 2–3 次，对比线程状态是否稳定卡在
BLOCKED (on object monitor) - 输出里重点找
Found 1 deadlock.段落，它下面会列出所有卷入死锁的线程、各自持有的锁和等待的锁
用 ThreadMXBean 在代码里主动检测死锁
适合集成进健康检查接口或定时任务，比如 Spring Boot 的 /actuator/health 扩展点。它比 jstack 更可控，但只能发现「已形成」的死锁，无法捕获正在演化的锁竞争。
使用场景：服务上线后想自动报警，或压测中需要程序化判断是否出现死锁。
立即学习“Java免费学习笔记（深入）”；
-
ThreadMXBean.findDeadlockedThreads()返回long[]线程 ID 数组，null表示没死锁；空数组（length == 0）也表示没死锁——别当成异常处理 - 要获取详细信息，得再调用
ThreadMXBean.getThreadInfo(ids, true, true)，第二个true表示包含锁信息，第三个true表示包含线程堆栈 - 注意权限：如果 JVM 启用了安全管理器（SecurityManager），可能抛
SecurityException，生产环境默认不启用，一般不用管 - 性能影响极小：这个 API 是 JVM 内建支持，不是采样或 hook，调用开销可忽略
jstack 输出里怎么看懂死锁链条
很多人扫一眼就放弃，其实关键就三行：谁持有什么锁、在等什么锁、谁又反过来等它。
典型错误理解：把 waiting to lock <0x0000000712345678> 当成对象地址——它只是 JVM 内部锁标识符，不能直接查对象实例；也不代表内存泄漏。
- 每个死锁线程块开头有
"Thread-1" #12这样的标识，# 后面是线程序号，不是 ID -
- locked <0x0000000712345678>表示当前线程持有该锁；waiting to lock <0x0000000787654321>表示它正阻塞等待另一个锁 - 交叉比对两个线程的
locked和waiting to lock值，如果 A 等 B 持的锁、B 又等 A 持的锁，就是闭环 - 锁对象类型通常来自
synchronized(obj)或ReentrantLock，但jstack不区分，只看地址匹配
ThreadMXBean 检测不到的“伪死锁”情况
有些情况看起来像死锁，但 ThreadMXBean.findDeadlockedThreads() 返回 null，jstack 也不报 Found 1 deadlock.——因为 JVM 层面根本没形成 MonitorEnter 循环等待。
常见于：线程池耗尽 + 互相 submit 任务等待结果、CompletableFuture.join() 在同一线程池里串行触发、或 ReentrantLock.tryLock() 超时失败后没释放前置锁。
- 这类问题不会被 JVM 死锁检测机制捕获，但业务上完全卡死
- 排查方向要转向线程池状态：用
ThreadPoolExecutor.getActiveCount()、getQueue().size()看是否积压 - 如果是
ForkJoinPool，注意join()可能导致工作窃取失效，用ManagedBlocker或换用CompletableFuture.supplyAsync(..., executor) - 没有银弹：这种场景必须结合业务逻辑 + 异步调用链路 + 线程 dump 中的堆栈上下文来人工推演
真正难的不是找到死锁，而是确认那个 waiting to lock 地址对应的业务对象是谁、为什么会在那里加锁、有没有遗漏的 unlock 路径——这些得靠日志、代码审查和锁粒度设计，工具只负责暴露表象。
