Java 并发编程:并发中死锁的形成条件及处理

简介: 首发公众号:码农架构

死锁是一种无限的互相等待的状态,两个或两个以上的线程或进程构成一个互相等待的环状。以两个线程为例,线程一持有A锁同时在等待B锁,而线程二持有B锁同时在等待A锁,这就导致两个线程互相等待无法往下执行。现实生活中一个经典的死锁情形就是四辆汽车通过没有红绿灯的十字路口,假如四辆车同时到达中心的,那么它们将形成一个死锁状态。每辆车拥有自己车道上的使用权,但同时也在等另外一辆汽车让出另外一条道的使用权
image.png

死锁的例子


该例子中一共有lock1和lock2两个锁。线程一启动后先尝试获取lock1锁,成功获取lock1后再继续尝试获取lock2锁。而线程二则是先尝试获取lock2锁,成功获取lock2锁后再继续尝试获取lock1锁。当我们某次启动程序后可能的输出情况如下,也就进入了死锁状态,但并非每次都一定会进入死锁状态,每个线程睡眠100毫秒是为了增加死锁的可能。最终两个线程处于互相无线等待状态,获得lock1的线程一在等lock2,而获得lock2的锁却在等lock1。
image.png
image.png

死锁的处理



由于死锁的检测涉及到很多复杂的场景,而且它还是运行时才会产生的,所以编程语言编译器一般也不会提供死锁的检测功能,包括Java也不提供死锁检测功能。这其实就叫做鸵鸟算法,对于某件事如果我们没有很好的处理方法,那么就学鸵鸟一样把头埋入沙中假装什么都看不见。死锁的场景处理就交给了实际编程的开发者,开发者需要自己去避免死锁的发生,或者制定某些措施去处理死锁发生时的场景。常见的死锁处理方式大致分为两类:一种是事前的预防措施,包括锁的顺序化、资源合并、避免锁嵌套等等。另一种是事后的处理措施,包括锁超时机制、抢占资源机制、撤销线程等等。下面我们详细看看每种措施的情况。

锁的顺序变化


前面说到的死锁形成的条件中环形条件,我们可以破坏这个条件来避免死锁的发生。具体就是将锁的获取进行顺序化,所有线程和进程对锁的获取都按指定的顺序进行,比如下图中P1、P2、P3三个线程它们都先尝试持有R1锁,再尝试持有R2锁,最后尝试持有R3锁。当然也可以看成是要获取R3锁就必须先获取R2锁,而要获取R2锁就必须先获取R1锁。这样就能破坏环形条件,从而避免死锁。
image.png

资源合并

资源合并的做法就是将多个资源合并当成一个资源来看待,这样就能将对多个资源的获取变成只对一个资源的获取,从而避免了死锁的发生。如下图,将资源R1、资源R2和资源R3合并成一个资源R,然后三个线程对其进行获取操作。
image.png

避免锁嵌套


锁获取操作的嵌套行为才可能导致死锁发生,所以我们可以通过去除锁嵌套来避免死锁。每个线程都是使用完某个资源就释放,然后才能再获取另外一个资源,而且使用完又进行释放,这就是去除锁嵌套。如下图中线程P1持有R1锁后释放,然后持有R2锁后释放,最后持有R3锁并释放,其它线程也是类似地操作。

image.png

锁的超时机制


事后处理的第一种措施是锁超时机制,核心就在于对锁的等待并非永久的而是有超时的,某个线程对某个锁的等待如果超过了指定的时间则做超时处理,直接结束掉该线程。比如下图中,三个线程已经进入死锁状态了,假如线程P1等待R2锁的时间超过了超时时间,此时P1将结束并且释放对R1锁的占有权。这时线程P3则能够获取到R1锁,于是能够解除等待,自此解除了死锁状态。
image.png

总结

本文主要介绍了死锁相关内容,除了介绍死锁概念外我们还提供了死锁的例子,还有死锁形成的条件,以及死锁的处理方式。死锁的处理主要包括锁的顺序化、资源合并、避免锁嵌套等事前预防措施和超时机制、抢占资源机制、撤销线程机制等事中的处理措施

相关文章
|
1月前
|
Java
如何在Java中进行多线程编程
Java多线程编程常用方式包括:继承Thread类、实现Runnable接口、Callable接口(可返回结果)及使用线程池。推荐线程池以提升性能,避免频繁创建线程。结合同步与通信机制,可有效管理并发任务。
128 6
|
29天前
|
IDE Java 编译器
java编程最基础学习
Java入门需掌握:环境搭建、基础语法、面向对象、数组集合与异常处理。通过实践编写简单程序,逐步深入学习,打牢编程基础。
158 0
|
2月前
|
SQL Java 数据库
2025 年 Java 从零基础小白到编程高手的详细学习路线攻略
2025年Java学习路线涵盖基础语法、面向对象、数据库、JavaWeb、Spring全家桶、分布式、云原生与高并发技术,结合实战项目与源码分析,助力零基础学员系统掌握Java开发技能,从入门到精通,全面提升竞争力,顺利进阶编程高手。
448 0
|
1月前
|
安全 前端开发 Java
从反射到方法句柄:深入探索Java动态编程的终极解决方案
从反射到方法句柄,Java 动态编程不断演进。方法句柄以强类型、低开销、易优化的特性,解决反射性能差、类型弱、安全性低等问题,结合 `invokedynamic` 成为支撑 Lambda 与动态语言的终极方案。
139 0
|
2月前
|
Java 开发者
Java并发编程:CountDownLatch实战解析
Java并发编程:CountDownLatch实战解析
412 100
|
28天前
|
Java 大数据 Go
从混沌到秩序:Java共享内存模型如何通过显式约束驯服并发?
并发编程旨在混乱中建立秩序。本文对比Java共享内存模型与Golang消息传递模型,剖析显式同步与隐式因果的哲学差异,揭示happens-before等机制如何保障内存可见性与数据一致性,展现两大范式的深层分野。(238字)
48 4
|
30天前
|
缓存 安全 Java
如何理解Java中的并发?
Java并发指多任务交替执行,提升资源利用率与响应速度。通过线程实现,涉及线程安全、可见性、原子性等问题,需用synchronized、volatile、线程池及并发工具类解决,是高并发系统开发的关键基础。(238字)
154 4
|
2月前
|
算法 Java
Java多线程编程:实现线程间数据共享机制
以上就是Java中几种主要处理多线程序列化资源以及协调各自独立运行但需相互配合以完成任务threads 的技术手段与策略。正确应用上述技术将大大增强你程序稳定性与效率同时也降低bug出现率因此深刻理解每项技术背后理论至关重要.
192 16
|
2月前
|
NoSQL Java 关系型数据库
超全 Java 学习路线,帮你系统掌握编程的超详细 Java 学习路线
本文为超全Java学习路线,涵盖基础语法、面向对象编程、数据结构与算法、多线程、JVM原理、主流框架(如Spring Boot)、数据库(MySQL、Redis)及项目实战等内容,助力从零基础到企业级开发高手的进阶之路。
235 1
|
3月前
|
安全 Java Shell
Java模块化编程(JPMS)简介与实践
本文全面解析Java 9模块化系统(JPMS),帮助开发者解决JAR地狱、类路径冲突等常见问题,提升代码的封装性、性能与可维护性。内容涵盖模块化核心概念、module-info语法、模块声明、实战迁移、多模块项目构建、高级特性及最佳实践,同时提供常见问题和面试高频题解析,助你掌握Java模块化编程精髓,打造更健壮的应用。