0

0

Java并发编程中的死锁检测与防范技术

P粉602998670

P粉602998670

发布时间:2026-01-22 11:28:02

|

867人浏览过

|

来源于php中文网

原创

threadmxbean 只能检测 monitor 锁死锁,返回死锁线程 id 数组;对 reentrantlock 默认无效,需显式开启公平模式并手动遍历;jstack 的“found n deadlock.”是确定性结论,需核对 waiting to lock 与 locked 的地址一致性。

java并发编程中的死锁检测与防范技术

死锁发生时 ThreadMXBean 能查到什么

Java 自带的 ThreadMXBean 是唯一能在运行时无侵入检测死锁的官方机制。它不预测、不拦截,只在死锁已形成后扫描所有线程的锁持有/等待关系,返回一个 long[] 数组——里面是死锁线程的 threadId

关键点在于:它只能发现「互相持有对方所需 monitor 锁」的循环等待,对 ReentrantLock 默认不生效(除非显式开启公平模式并配合 getOwner() 等手动遍历)。

  • ThreadMXBean.findDeadlockedThreads() 返回 null 表示未检测到死锁;返回空数组表示有死锁但未包含同步器(如 ReentrantLock
  • 必须通过 ManagementFactory.getThreadMXBean() 获取实例,且 JVM 需启用监控(默认开启)
  • 该方法会触发一次全局线程状态快照,高并发下有轻微性能抖动,不宜高频轮询
ThreadMXBean bean = ManagementFactory.getThreadMXBean();
long[] deadlockedIds = bean.findDeadlockedThreads(); // 注意:仅限 monitor 锁
if (deadlockedIds != null && deadlockedIds.length > 0) {
    for (long id : deadlockedIds) {
        ThreadInfo info = bean.getThreadInfo(id, Integer.MAX_VALUE);
        System.out.println("Deadlocked thread: " + info.getThreadName());
    }
}

jstack 定位死锁现场的真实输出特征

jstack <pid></pid> 是线上最可靠的死锁诊断命令,它的输出里「Found 1 deadlock.」段落不是提示,而是结论性证据——只要出现,就代表 JVM 已确认死锁成立。

真实输出中重点关注三类信息:线程名、waiting to lock 后的十六进制地址、以及同一地址出现在另一处的 locked 行。这两个地址一致,才构成闭环。

VIVA
VIVA

一个免费的AI创意视觉设计平台

下载

立即学习Java免费学习笔记(深入)”;

  • 不要只看「java.lang.Thread.State: BLOCKED」——大量阻塞不等于死锁,必须存在互相等待的锁地址链
  • jstack -l 会额外打印 AbstractOwnableSynchronizer 信息,对 ReentrantLock 死锁有效
  • 如果 jstack 输出里没有「Found N deadlock.」但有多处 parking to wait for,可能是 LockSupport.park() 引发的活锁或资源饥饿,不是死锁

synchronized 嵌套顺序不一致为何必然导致死锁风险

死锁四必要条件中,“循环等待”在 Java 里最常由嵌套 synchronized 的加锁顺序不一致触发。这不是概率问题,而是逻辑必然:只要两个线程以不同顺序申请同一组对象锁,且都未释放前就申请下一个,就满足死锁全部条件。

  • 典型错误模式:threadA synchronized(obj1) → synchronized(obj2),而 threadB synchronized(obj2) → synchronized(obj1)
  • 即使 obj1 和 obj2 是不同类的实例,只要被多个线程交叉访问,风险就存在
  • 加锁顺序无法靠“先判断再加锁”规避——因为判断本身也需要同步,否则判断结果可能过期
// 危险:顺序依赖调用方,无法保证全局一致
void transfer(Account from, Account to, int amount) {
    synchronized(from) {
        synchronized(to) { // ← 顺序由参数决定,不可控
            from.withdraw(amount);
            to.deposit(amount);
        }
    }
}

tryLock() 主动打破死锁循环的实操要点

ReentrantLock.tryLock(long, TimeUnit) 是少数能从代码层面主动防御死锁的手段。它不强制阻塞,超时即放弃,从而切断循环等待链条。但这不是万能解药,使用时必须处理好业务语义回退。

  • 必须指定超时时间(如 100, TimeUnit.MILLISECONDS),设为 0 等价于非阻塞尝试,设为 -1 或不带参的 tryLock() 仍是阻塞行为
  • 获取锁失败后不能简单重试——重试可能再次进入相同竞争路径;应记录日志、降级处理或抛出特定异常供上层决策
  • 若涉及多把锁,需按固定顺序申请,并在任意一把失败时释放已持有的锁(注意 try-finally 保证)
ReentrantLock lock1 = new ReentrantLock();
ReentrantLock lock2 = new ReentrantLock();

boolean transfer(Account from, Account to, int amount) throws InterruptedException {
    if (!lock1.tryLock(100, TimeUnit.MILLISECONDS)) return false;
    try {
        if (!lock2.tryLock(100, TimeUnit.MILLISECONDS)) return false;
        try {
            from.withdraw(amount);
            to.deposit(amount);
            return true;
        } finally {
            lock2.unlock();
        }
    } finally {
        lock1.unlock();
    }
}
死锁不是偶发异常,而是设计缺陷的确定性暴露。真正难防的不是 monitor 锁冲突,而是混合使用 synchronizedReentrantLockStampedLock 甚至 wait()/notify() 时,锁边界和所有权转移变得模糊——这时连 jstack 都可能只显示部分线索。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

254

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

1089

2024.03.01

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

765

2023.08.10

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

99

2025.12.01

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

22

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

48

2026.03.09

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

93

2026.03.06

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

216

2026.03.05

PHP高性能API设计与Laravel服务架构实践
PHP高性能API设计与Laravel服务架构实践

本专题围绕 PHP 在现代 Web 后端开发中的高性能实践展开,重点讲解基于 Laravel 框架构建可扩展 API 服务的核心方法。内容涵盖路由与中间件机制、服务容器与依赖注入、接口版本管理、缓存策略设计以及队列异步处理方案。同时结合高并发场景,深入分析性能瓶颈定位与优化思路,帮助开发者构建稳定、高效、易维护的 PHP 后端服务体系。

412

2026.03.04

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.3万人学习

C# 教程
C# 教程

共94课时 | 11.2万人学习

Java 教程
Java 教程

共578课时 | 80.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号