如何定位&避免死锁?
如何定位&避免死锁?
请问:死锁是如何产生的,如何预防?
请问:死锁产生条件?
请问:解决死锁的基本方法 ?
请问:死锁产生的原因 ?
什么是死锁?
死锁是指两个或多个任务(比如线程、进程)彼此等待对方释放资源,结果谁也不愿意先让步,导致程序卡住不动。
如下图场景汇总:
- 任务A 拿着资源1,还要资源2才能继续。
 - 任务B 拿着资源2,还要资源1才能继续。
 - 谁都不肯放手自己手里的资源,于是都卡在那等着。
 - 这种互相等待的情况就叫 死锁。
 
死锁通常有两种情况:
- 一种是使用 
synchronized内置锁 造成的, - 另一种是使用 
Lock显式锁引起的。 
下面我们分别来看这两种情况。
内置锁:synchronized死锁
这是一个演示死锁的小程序。我们用两个线程和两把锁来展示什么是死锁。
基本流程:
1、 创建两个锁对象:lockA 和 lockB。2、 启动两个线程:
- 线程 1 先拿 
lockA,然后尝试拿lockB。 - 线程 2 先拿 
lockB,然后尝试拿lockA。 
3、 每个线程拿到第一个锁之后都会停顿 1 秒钟,再去拿第二个锁。4、 最终两个线程都在等对方释放锁,导致死锁。

源码如下:
1  | public class DeadLockExample {  | 
以上程序的执行结果如下:
从输出可以看到:
- 线程 1 拿到了 A,等待 B;
 - 线程 2 拿到了 B,等待 A;
 
双方都无法继续执行,程序卡住。 这就是典型的死锁场景。
显式锁:Lock死锁
这个案例演示演示使用Lock场景下的死锁。
1、 创建两个锁对象:lockA 和 lockB
2、 创建两个线程 t1 和 t2
3、 t1 先获取 lockA,然后尝试获取 lockB
4、 t2 先获取 lockB,然后尝试获取 lockA
源码如下:
1  | import java.util.concurrent.locks.Lock;  | 
以上程序的执行结果如下:
死锁产生的条件
死锁的产生必须满足以下四个条件。
当这四个条件同时满足时,就可能发生死锁。
死锁发生的四个必要条件
当下面这四个条件同时满足时,系统就有可能发生死锁(即多个进程或线程互相等待对方释放资源,导致谁都无法继续执行)。
互斥:资源不能共享,一次只能被一个进程使用。 比如打印机、某个文件的写权限等。
持有并等待:一个进程在等待其他资源时,并不释放自己已经占有的资源。 就像你一只手拿着笔,另一只手等着拿书,谁也不放手。
不可抢占:资源只能由持有它的进程主动释放,不能被强制抢走。 有点像借了别人的东西,必须他自己愿意才能还。
循环等待:存在一个进程链,每个进程都在等待下一个进程所持有的资源。 A 等 B,B 等 C,C 又在等 A,形成一个“死循环”。
这个流程帮助我们判断系统中是否可能出现死锁。只要打破其中一个条件,就可以防止死锁的发生。
必要条件1:互斥
一个资源不能同时被多个线程使用。
如果一个线程已经用了这个资源,其他线程就得等它用完才能继续用。
这就是常说的“互斥锁”。
比如上图中,线程T1已经拿到了资源,那T2就不能拿。T2只能等着,直到T1用完了释放资源。
必要条件2:占有并且等待
当一个线程已经拿到了某个资源,还想再拿另一个被别的线程占用的资源时,它就得等着。
在等的过程中,它不会把自己已经拿到的资源释放掉。
比如上图中:
- 线程 T1 拿到了资源1,又去申请资源2;
 - 但资源2已经被线程 T3 占用;所以 T1 就卡住等待;
 - 但 T1 在等待的时候,还是抓着资源1不放。
 
必要条件3:不可抢占
一个资源一旦被某个线程占用了,只有这个线程用完后才能释放。
其他线程不能抢这个资源。
比如下图中
- 线程 T1 已经拿到了资源,在它没用完之前,T2 线程是拿不到这个资源的。
 - T2 只能等 T1 用完了、释放了,才能去使用。
 
必要条件4:循环等待
当发生死锁时,一定会出现一个“线程和资源”的 等待 环。
在这个等待 环 里,每个线程都在等下一个线程占用的资源,结果谁也继续不下去。
比如下图中,线程 T1 在等 T2 占着的资源,而 T2 又在等 T1 占着的资源。
两者互相等待,就卡住了,这就是典型的死锁情况。
死锁排查工具
工具1:arthas
Arthas 是一个用于线上 Java 应用监控和问题排查的工具。
它能让你实时看到应用的负载、内存、垃圾回收、线程等运行状态,还能在不修改代码的前提下,查看方法调用的参数、返回值、执行时间等问题信息,帮助你快速定位线上问题。
当你使用 watch 命令监控某个方法时,Arthas 的工作流程如下:
1、 Arthas找到这个方法在内存中的位置
2、 在这个方法的开头和结尾偷偷加上记录参数和返回值的代码
3、 方法被调用时,这些额外代码就会把信息传回给你看
4、 等你不需要监控了,Arthas就把这些额外代码去掉
arthas排查死锁
(1) 启动Arthas
首先,你需要启动Arthas并附加到目标Java进程:
1  | java -jar arthas-boot.jar  | 
然后选择你要诊断的Java进程。
(2)使用thread命令查看线程状态
1  | thread #查看所有线程状态  | 
(3) 检测死锁
Arthas提供了专门的命令来检测死锁:
1  | thread -b  | 
这个命令会直接显示当前JVM中存在的死锁线程信息。
(4) 分析死锁线程堆栈
如果发现死锁,可以使用以下命令查看线程的详细堆栈:
1  | thread <thread-id>  | 
例如:
1  | thread 12  | 
工具2:jstack
在使用 jstack 分析问题前,我们先要用 jps 找到正在运行的 Java 程序对应的进程编号(PID)。
操作方法如下:
- 命令:
jps -l - 功能:列出本机所有 Java 程序的 PID 和启动类名。
 
jps 是 Java 自带的一个小工具,可以快速查看当前有哪些 Java 程序在运行。
拿到 PID 后,就可以用 jstack -l PID 来分析线程状态,比如查找有没有线程死锁。
效果如下图:
jstack的作用:抓取当前 Java 程序中所有线程的状态快照。-l参数:显示更详细的锁信息,有助于排查死锁。
小提示:输入
jstack -help可以查看更多参数说明。
工具3:JConsole
- 打开 JDK 安装目录下的 
bin文件夹,找到jconsole.exe,双击运行。 
在弹出的界面中,选择你要监控的 Java 程序,点击“连接”。
进入主界面后,切换到“线程”标签页,然后点击“检测死锁”按钮。
- 稍等几秒,工具会自动找出死锁的线程,并显示相关信息。
 
工具4:Java VisualVM
Java VisualVM 是 JDK 自带的一个性能分析工具,放在 JDK 的 bin 目录下,直接双击就能打开:
打开后等几秒钟,本地运行的所有 Java 程序就会显示出来。双击你要查看的程序,然后切换到“线程”标签页,如下图:
进入线程页面后,如果程序中有死锁,会直接提示出来。点击“线程 Dump”,可以查看死锁的详细信息,如下图所示:
工具5:JMC
JMC 是 Java Mission Control 的缩写,是 JDK 自带的一个工具,用来监控和分析 Java 程序的运行情况。
它放在 JDK 安装目录下的 bin 文件夹里,直接双击就能启动。
启动界面如下图:
打开后会看到 JMC 的主页界面:
然后在列表中找到你要排查的 Java 程序,右键选择“启动 JMX 控制台”,就可以查看这个程序的详细运行状态了,如下图所示:
接着点击顶部的“线程”标签,在页面中勾选“死锁检测”,系统就会自动检查是否有线程死锁,并显示死锁的具体信息:
如何避免死锁 ?
死锁的发生必须同时满足四个条件:互斥、占有并等待、不可剥夺、循环等待。
- 只要打破其中一个,就能防止死锁。
 - 只要打破其中一个,就能防止死锁。
 - 只要打破其中一个,就能防止死锁。
 - 只要打破其中一个,就能防止死锁。
 
重要的事情说4遍
我们可以从这四个方面入手,系统性地避免死锁问题。
| 条件 | 破坏手段 | 关键技术 | 典型场景 | 
|---|---|---|---|
| 互斥 | 无锁编程 | AtomicXXX、ThreadLocal | 
计数器、状态标志 | 
| 占有并等待 | 原子分配 | 全局资源管理器、两阶段锁 | 银行转账 | 
| 不可剥夺 | 超时/中断 | tryLock()、事务回滚 | 
实时交易 | 
| 循环等待 | 锁排序 | 资源ID排序、分层锁 | 多资源批量操作 | 
破坏必要条件1:打破“互斥”这个条件
避免死锁,核心是打破“互斥”这个条件,常见的做法有以下几种:
(1)用无锁结构代替锁
比如用 ConcurrentHashMap 替代加了锁的 Map,这样多个线程可以更高效地操作数据,不需要排队等锁。
(2)使用原子类
像 AtomicInteger 这样的类,可以在不加锁的情况下保证操作的原子性,适合简单的并发场景。
(3)线程私有变量
用 ThreadLocal 给每个线程分配自己的变量,彼此之间不共享,自然就不会抢资源。
(4)读写分离
通过读写锁(如 ReentrantReadWriteLock),允许多个读操作同时进行,但写操作独占。这样在读多写少的场景下效率更高。
示例代码如下:
1  | ReadWriteLock rwLock = new ReentrantReadWriteLock();  | 
破坏必要条件2:打破“破坏占有并等待”这个条件
破坏占有并等待条件,避免死锁,可以有两种方案:
方案1:一次性申请所有资源
设计思路:
- 一次把需要的所有资源都申请到,否则一个也不拿。
 - 这样就不会出现“拿到了A还在等B”的情况,自然也就不会死锁。
 
实现方式:
- 用一个叫 
AtomicResourceAllocator的工具类来统一管理资源申请和释放。 
代码如下:
1  | import java.util.;  | 
转账服务:使用原子分配,转账前先一次性申请两个账户的使用权,成功后再操作余额。
1  | class TransferService {  | 
方案2:两阶段加锁协议(2PL)
两阶段锁协议(Two-Phase Locking, 2PL)是数据库系统和并发控制中广泛使用的技术,通过将锁的获取和释放分为两个明确的阶段,彻底破坏”占有并等待”条件,从而避免死锁。
其核心规则是:
| 阶段 | 操作规则 | 目的 | 
|---|---|---|
| 扩张阶段 | 线程只能获取锁,不能释放任何已持有的锁 | 确保资源集中申请,避免零散占用 | 
| 收缩阶段 | 线程只能释放锁,不能获取任何新锁 | 确保资源有序释放,避免循环等待 | 
工作原理(以银行转账为例)
1  | // 账户资源  | 
关键点:
- 一旦开始释放锁(进入收缩阶段),就不能再申请新锁,从而切断”持有A等B”的死锁链条。
 - 锁的释放顺序通常与获取顺序相反(后进先出)。
 
破坏必要条件3:打破“打破不可抢占条件”这个条件
方案1:超时机制
有时候我们不想一直等下去,而是希望只尝试一段时间去获取锁。这时候可以用 tryLock 方法。示例代码如下:
1  | Lock lock = new ReentrantLock();  | 
也就是:我最多等1秒钟,能拿到锁就干,拿不到就算了。
方案2:可中断锁
还有一种情况,如果一个线程正在等待锁,但你中途不想让它等了,想“打断”它,就可以使用 lockInterruptibly() 方法。
1  | lock.lockInterruptibly(); // 可响应中断的加锁  | 
意思是: 这个线程在等锁的时候,如果你通知它“别等了”,它就会停下来,而不是傻傻地一直等。
破坏必要条件4:打破“ 循环等待”这个条件
方案1:统一加锁顺序
在转账时,为了避免两个账户互相等待对方释放锁导致“卡住”,我们约定一个固定的加锁顺序:谁的账户ID小,就先锁谁。
这样不管谁转给谁,都按这个规则来,就不会出现死锁问题。
1  | public void transfer(Account from, Account to, int amount) {  | 
方案2:分层加锁
有些系统有多个层级(比如数据库、表、行),为了防止混乱,我们要按照从上到下的顺序加锁:
- 先锁数据库
 - 再锁表
 - 最后锁具体某一行
 
不能跳级也不能倒着来,否则会报错。
定义锁层级
1  | public enum LockLevel {  | 
使用
1  | public void updateRecord(Database db, Table table, Row row) {  | 
方案3:资源编号策略
当需要同时锁多个资源时,我们可以根据它们的编号(比如内存地址)进行排序,然后按顺序一个个加锁。
这样也能避免死锁。
示例代码:
1  | public class CompositeResource {  | 
使用
1  | CompositeResource cr = new CompositeResource(accountA, accountB);  | 
死锁的定时检测和恢复
程序会每隔一段时间(比如每5秒)检查一次 JVM 中是否有线程陷入死锁。
如果发现死锁,就打印出详细信息,并尝试通过中断线程来恢复。
示例代码:
1  | import java.lang.management.*;  | 
如需进一步优化,可以根据具体业务逻辑调整恢复策略,例如重试、资源释放或触发故障转移机制等。