0

0

Java并发编程中为什么会出现死锁_死锁产生原因分析

P粉602998670

P粉602998670

发布时间:2026-01-08 13:31:17

|

256人浏览过

|

来源于php中文网

原创

死锁发生的四个必要条件是互斥、占有并等待、不可剥夺、循环等待:互斥指资源不能被多个线程同时访问;占有并等待指线程持有锁又申请其他锁;不可剥夺指锁不能被强制释放;循环等待指多个线程形成闭环等待链。

java并发编程中为什么会出现死锁_死锁产生原因分析

死锁发生的四个必要条件是什么

Java 中的死锁不是“随机发生”的异常,而是必须同时满足四个经典条件才会出现:互斥、占有并等待、不可剥夺、循环等待。只要其中任一条件被打破,死锁就不会发生。

在 Java 多线程场景下, synchronized ReentrantLock 造成资源互斥;线程已持有锁又去请求别的锁,就构成“占有并等待”;Java 锁默认不可剥夺(不能由 JVM 强制释放);而多个线程 A→B、B→A 地交叉请求锁,就形成循环等待链。

  • 互斥:比如 synchronized(obj1) synchronized(obj2) 分别保护不同临界区,两者不能同时进入
  • 占有并等待:线程 T1 持有 obj1 的锁,同时调用 synchronized(obj2)
  • 不可剥夺:T1 不主动释放 obj1 ,其他线程无法强行获取
  • 循环等待:T1 等 T2 释放 obj2 ,T2 又等 T1 释放 obj1

典型代码复现死锁的写法

下面这段代码是教科书级的双线程双锁死锁示例,运行后大概率卡住,且 jstack 能清晰看到 BLOCKED 和循环等待关系:

public class DeadlockExample {
    private static final Object lock1 = new Object();
    private static final Object lock2 = new Object();
<pre class='brush:java;toolbar:false;'>public static void main(String[] args) {
    Thread t1 = new Thread(() -> {
        synchronized (lock1) {
            System.out.println("T1: acquired lock1");
            try { Thread.sleep(100); } catch (InterruptedException e) {}
            synchronized (lock2) {
                System.out.println("T1: acquired lock2");
            }
        }
    });

    Thread t2 = new Thread(() -> {
        synchronized (lock2) {
            System.out.println("T2: acquired lock2");
            try { Thread.sleep(100); } catch (InterruptedException e) {}
            synchronized (lock1) {
                System.out.println("T2: acquired lock1");
            }
        }
    });

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

}

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

关键点在于:两个线程以**相反顺序**获取同一组锁。哪怕只差几毫秒的时序,就可能让双方各持一锁、互相等待。

为什么 tryLock(timeout) 能避免死锁

ReentrantLock.tryLock(long, TimeUnit) 提供超时机制,本质是把“无限期等待”变成“有限尝试”,从而破坏“占有并等待”或“循环等待”的持续性。

阿里云AI平台
阿里云AI平台

阿里云AI平台

下载
  • 它不会阻塞线程,超时返回 false ,线程可选择释放已有锁、重试或退出
  • 配合固定加锁顺序(如按对象哈希值排序),能从设计上消除循环等待可能
  • 注意:仅用 tryLock() 不带参数(非公平立即尝试)并不能防死锁,仍可能陷入循环等待

常见规避模式是“先申请所有锁,失败则全部释放再重来”,但要注意释放顺序与申请顺序无关,只要确保不嵌套等待即可。

排查死锁最有效的手段是什么

不要靠日志猜,Java 自带工具足够直接: jstack -l <pid> 是首选。它会明确标出 Found 1 deadlock. ,并列出每个死锁线程的帧、持有的锁和正在等待的锁。

输出中重点关注:

  • 线程状态是否为 BLOCKED (而不是 WAITING TIMED_WAITING
  • 每行 - waiting to lock <0x...> - locked <0x...> 是否形成闭环
  • 锁地址(如 0x000000076b5a8a00 )是否在多个线程间重复出现

IDEA 或 JConsole 也能图形化展示,但底层都依赖 jstack 数据。线上环境务必保留 -XX:+PrintConcurrentLocks 或定期采集 thread dump。

真正难的不是发现死锁,而是确认哪个业务路径触发了锁顺序错乱——这往往藏在嵌套调用、异步回调或代理增强里。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

447

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

606

2023.08.10

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

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

766

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

377

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

32

2026.01.21

C++多线程相关合集
C++多线程相关合集

本专题整合了C++多线程相关教程,阅读专题下面的的文章了解更多详细内容。

30

2026.01.21

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

103

2026.02.06

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

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

99

2025.12.01

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

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

精品课程

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

共23课时 | 4.4万人学习

C# 教程
C# 教程

共94课时 | 11.3万人学习

Java 教程
Java 教程

共578课时 | 81.9万人学习

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

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