有图解有案例,我终于把Condition的原理讲透彻了
liuian 2025-06-15 17:36 42 浏览
平时加解锁都是直接使用Synchronized关键字来实现的,简单好用,为啥还要引用ReentrantLock呢?
为了解决小伙伴的疑问,我们来对两者做个简单的比较吧:
相同点
两者都是“可重入锁”,即当前线程获取到锁对象之后,如果想继续获取锁对象还是可以继续获取的,只不过锁对象的计数器进行“+1”操作就可以了。
不同点
- ReentrantLock是基于API实现的,Synchronized是依赖于JVM实现的;
- ReentrantLock可以响应中断,Synchronized是不可以的;
- ReentrantLock可以指定是公平锁还是非公平锁,而Synchronized只能是非公平锁;
- ReentrantLock的lock是同步非阻塞,采用的是乐观并发策略,Synchronized是同步阻塞的,使用的是悲观并发策略;
- ReentrantLock借助Condition可以实现多路选择通知,Synchronized通过wait()和notify()/notifyAll()方法可以实现等待/通知机制(单路通知);
综上所述,ReentrantLock还是有区别于Synchronized的使用场景的,今天我们就来聊一聊它的多路选择通知功能。
实战
没有实战的“纸上谈兵”都是扯淡,今天我们反其道而行,先抛出实战Demo。
场景描述
加油站为了吸引更多的车主前来加油,在加油站投放了自动洗车机来为加油的汽车提供免费洗车服务。我们规定汽车必须按照“加油->洗车->驶离”的流程来加油,等前一辆汽车驶离之后才允许下一辆车进来加油。
代码实现
首先创建锁对象并生成三个Condition
/**
* 控制线程唤醒的标志
*/
private int flag = 1;
/**
* 创建锁对象
*/
private Lock lock = new ReentrantLock();
/**
* 等待队列
* c1对应加油
* c2对应洗车
* c3对应开车
*/
Condition c1 = lock.newCondition();
Condition c2 = lock.newCondition();
Condition c3 = lock.newCondition();
然后声明加油、清洗、驶离的方法,并规定加完油之后去洗车并驶离加油站
/**
* 汽车加油
*/
public void fuelUp(int num) {
lock.lock();
try {
while (flag!=1){
c1.await();
}
System.out.println("第"+num+"辆车开始加油");
flag = 2;
c2.signal();
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
}
/**
* 汽车清洗
*/
public void carWash(int num) {
lock.lock();
try {
while (flag!=2){
c2.await();
}
System.out.println("第"+num+"辆车开始清洗");
flag = 3;
c3.signal();
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
}
/**
* 驶离
*/
public void drive(int num) {
lock.lock();
try {
while (flag!=3){
c3.await();
}
System.out.println("第"+num+"辆车已经驶离加油站");
flag = 1;
c1.signal();
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
}
其中await为等待方法,signal为唤醒方法。
最后我们来定义main方法,模拟一下3辆车同时到达加油站的场景
public static void main(String[] args) {
CarOperation carOperation = new CarOperation();
//汽车加油
new Thread(()->{
for (int i = 1; i < 4; i++) {
carOperation.fuelUp(i);
}
},"fuelUp").start();
//汽车清洗
new Thread(()->{
for (int i = 1; i < 4; i++) {
carOperation.carWash(i);
}
},"carRepair").start();
//驶离
new Thread(()->{
for (int i = 1; i < 4; i++) {
carOperation.drive(i);
}
},"drive").start();
}
使用是不是很丝滑?为了加深大家对Condition的理解,接下来我们用图解的方式分析一波Condition的原理~
图解
大家都看到了,上边的案例都是围绕Condition来操作的,那什么是Condition呢?Condition是一个接口,里边定义了线程等待和唤醒的方法。
代码中调用的lock.newCondition()实际调用的是Sync类中的newCondition方法,而ConditionObject就是Condition的实现类。
final ConditionObject newCondition() {
return new ConditionObject();
}
我们发现它处于AQS的内部,没法直接实例化,所以需要配合ReentrantLock来使用。
ConditionObject
ConditionObject内部维护了一个基于Node的FIFO单向队列,我们把它称为等待队列。firstWaiter指向首节点,lastWaiter指向尾节点,Node中的nextWaiter指向队列中的下一个元素,并且等待队列中节点的waitStatus都是-2。
了解了ConditionObject的数据结构之后,我们就从源码角度来图解一下ReentrantLock的等待/唤醒机制。
await
首先找到AQS类中await的源码
public final void await() throws InterruptedException {
if (Thread.interrupted())
throw new InterruptedException();
//将当前线程封装成node加入等待队列尾部
Node node = addConditionWaiter();
int savedState = fullyRelease(node);
int interruptMode = 0;
//检测此节点的线程是否在同步队上,如果不在,则说明该线程还不具备竞争锁的资格,则继续等待直到检测到此节点在同步队列上
while (!isOnSyncQueue(node)) {
//当node处于等待队列时,挂起当前线程。
LockSupport.park(this);
//如果发生了中断,则跳出循环,结束等待
if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
break;
}
//被唤醒后该节点一定会在AQS队列上,
//之前分析过acquireQueued方法获取不到锁会继续阻塞
//获取到了锁,中断过返回true,未中断过返回false
//获取到锁存在中断并且不是中断唤醒的线程将中断模式设置为重新中断
if (acquireQueued(node, savedState) && interruptMode != THROW_IE)
interruptMode = REINTERRUPT;
if (node.nextWaiter != null) // clean up if cancelled
//清除条件队列中所有状态不为 CONDITION 的结点
unlinkCancelledWaiters();
if (interruptMode != 0)
reportInterruptAfterWait(interruptMode);
}
如果线程中断,清除中断标记并抛出异常。
查看addConditionWaiter
该方法的作用是将当前线程封装成node加入等待队列尾部
private Node addConditionWaiter() {
Node t = lastWaiter;
if (t != null && t.waitStatus != Node.CONDITION) {
//将不处于等待状态的结点从等待队列中移除
unlinkCancelledWaiters();
t = lastWaiter;
}
Node node = new Node(Thread.currentThread(), Node.CONDITION);
//尾节点为空
if (t == null)
//将首节点指向node
firstWaiter = node;
else
//将尾节点的nextWaiter指向node节点
t.nextWaiter = node;
//尾节点指向node
lastWaiter = node;
return node;
}
首先将t指向尾节点,如果尾节点不为空并且它的waitStatus!=-2,则将不处于等待状态的结点从等待队列中移除,并且将t指向新的尾节点。
将当前线程封装成waitStatus为-2的节点追加到等待队列尾部。
如果尾节点为空,则队列为空,将首尾节点都指向当前节点。
如果尾节点不为空,证明队列中有其他节点,则将当前尾节点的nextWaiter指向当前节点,将当前节点置为尾节点。
接着我们来查看下unlinkCancelledWaiters()方法——将不处于等待状态的结点从等待队列中移除。
private void unlinkCancelledWaiters() {
Node t = firstWaiter;
//trail是t的前驱结点
Node trail = null;
while (t != null) {
//next为t的后继结点
Node next = t.nextWaiter;
//如果t节点的waitStatus不为-2即失效节点
if (t.waitStatus != Node.CONDITION) {
t.nextWaiter = null;
//如果t的前驱节点为空,则将首节点指向next
if (trail == null)
firstWaiter = next;
else
//t的前驱结点不为空,将前驱节点的后继指针指向next
trail.nextWaiter = next;
//如果next为null,则将尾节点指向t的前驱节点
if (next == null)
lastWaiter = trail;
}
else
trail = t;
t = next;
}
}
t为当前节点,trail为t的前驱节点,next为t的后继节点。
while方法会从首节点顺着等待队列往后寻找waitStatus!=-2的节点,将当前节点的nextWaiter置为空。
如果当前节点的前驱节点为空,代表当前节点为首节点,则将next设置为首节点;
如果不为空,则将前驱节点的nextWaiter指向后继节点。
如果后继节点为空,则直接将前驱节点设置为尾节点。
查看fullyRelease
从名字也差不多能明白该方法的作用是彻底释放锁资源。
final int fullyRelease(Node node) {
//释放锁失败为true,释放锁成功为false
boolean failed = true;
try {
//获取当前锁的state
int savedState = getState();
//释放锁成功的话
if (release(savedState)) {
failed = false;
return savedState;
} else {
throw new IllegalMonitorStateException();
}
} finally {
if (failed)
//释放锁失败的话将节点状态置为取消
node.waitStatus = Node.CANCELLED;
}
}
最重要的就是release方法,而我们上文中已经讲过了,release执行成功的话,当前线程已经释放了锁资源。
查看isOnSyncQueue
判断当前线程所在的Node是否在同步队列中(同步队列即AQS队列)。在这里有必要给大家看一下同步队列与等待队列的关系图了。
final boolean isOnSyncQueue(Node node) {
if (node.waitStatus == Node.CONDITION || node.prev == null)
return false;
if (node.next != null)
return true;
//node节点的next为null
return findNodeFromTail(node);
}
如果当前节点的waitStatus=-2,说明它在等待队列中,返回false;如果当前节点有前驱节点,则证明它在AQS队列中,但是前驱节点为空,说明它是头节点,而头节点是不参与锁竞争的,也返回false。
如果当前节点既不在等待队列中,又不是AQS中的头结点且存在next节点,说明它存在于AQS中,直接返回true。
接着往下看,如果当前节点的next为空,该节点可能是tail节点,也可能是该节点的next还未赋值,所以需要从后往前遍历节点。
private boolean findNodeFromTail(Node node) {
Node t = tail;
for (;;) {
//先用尾节点来判断,然后用队列中的节点依次来判断
if (t == node)
return true;
//节点为空,说明找到头也不在AQS队列中,返回false
if (t == null)
return false;
t = t.prev;
}
}
在遍历过程中,如果队列中有节点等于当前节点,返回true;如果找到头节点也没找到,则返回false。
我们回到await的while循环处,如果返回false,说明该节点不在同步队列中,进入循环中挂起该线程。
知识点补充
阿Q的理解是线程被唤醒会存在两种情况:一种是调用signal/signalAll唤醒线程;一种是通过线程中断信号,唤醒线程并抛出中断异常。
查看checkInterruptWhileWaiting(难点)
该方法的作用是判断当前线程是否发生过中断,如果未发生中断返回0,如果发生了中断返回1或者-1。
private int checkInterruptWhileWaiting(Node node) {
return Thread.interrupted() ?
(transferAfterCancelledWait(node) ? THROW_IE : REINTERRUPT) :
0;
}
我们来看看transferAfterCancelledWait方法是如果区分1和-1的
final boolean transferAfterCancelledWait(Node node) {
//cas尝试将node的waitStatus设置为0
if (compareAndSetWaitStatus(node, Node.CONDITION, 0)) {
//将node节点由等待队列加入AQS队列
enq(node);
return true;
}
//cas失败后,看看队列是不是已经在AQS队列中,如果不在,则通过yield方法给其它线程让路
while (!isOnSyncQueue(node))
Thread.yield();
//如果已经在AQS队列中,则返回false
return false;
}
那什么情况下cas操作会成功?什么情况下又会失败呢?
当线程接收到中断信号时会被唤醒,此时node的waitStatus=-2,所以会cas成功,同时会将node从等待队列转移到AQS队列中。
当线程先通过signal唤醒后接收到中断信号,由于signal已经将node的waitStatus设置为-2了,所以此时会cas失败。
举例
大家可以用下边的例子在transferAfterCancelledWait中打断点测试一下,相信就明了了。
public class CarOperation {
//创建一个重入锁
private Lock lock = new ReentrantLock();
//声明等待队列
Condition c1 = lock.newCondition();
/*
* 等待操作
*/
public void await() {
lock.lock();
try {
System.out.println("开始阻塞");
c1.await();
System.out.println("唤醒之后继续执行");
} catch (InterruptedException e) {
System.out.println("唤醒但是抛出异常了");
e.printStackTrace();
} finally {
lock.unlock();
}
}
/*
* 唤醒操作
*/
public void signal() {
lock.lock();
try {
c1.signal();
System.out.println("唤醒了。。。。。。。。。。。。。。");
} finally {
lock.unlock();
}
}
}
中断测试
public static void main(String[] args) {
CarOperation carOperation = new CarOperation();
Thread t1 = new Thread(()->{
//等待,挂起线程
carOperation.await();
});
t1.start();
try {
//模拟其它线程抢占资源执行过程
Thread.sleep(10000);
//发出线程中断信号
t1.interrupt();
} catch (InterruptedException exception) {
exception.printStackTrace();
}
}
先唤醒后中断测试
public static void main(String[] args) {
CarOperation carOperation = new CarOperation();
Thread t1 = new Thread(()->{
carOperation.await();
});
t1.start();
try {
Thread.sleep(10000);
//先唤醒线程
carOperation.signal();
//后中断
t1.interrupt();
} catch (InterruptedException exception) {
exception.printStackTrace();
}
}
查看reportInterruptAfterWait
//要么抛出异常,要么重新中断。
private void reportInterruptAfterWait(int interruptMode)
throws InterruptedException {
if (interruptMode == THROW_IE)
throw new InterruptedException();
else if (interruptMode == REINTERRUPT)
selfInterrupt();
}
以上就是await的全部内容了,我们先来做个简单的总结。
总结
- 将当前线程封装成node加入等待队列尾部;
- 彻底释放锁资源,也就是将它的同步队列节点从同步队列队首移除;
- 如果当前节点不在同步队列中,挂起当前线程;
- 自旋,直到该线程被中断或者被唤醒移动到同步队列中;
- 阻塞当前节点,直到它获取到锁资源;
如果你哪个地方存在疑问可以小窗阿Q!
signal
接下来我们再来捋一捋唤醒的过程
public final void signal() {
//当前线程是否是锁的持有者,不是的话抛出异常
if (!isHeldExclusively())
throw new IllegalMonitorStateException();
Node first = firstWaiter;
if (first != null)
//具体的唤醒过程
doSignal(first);
}
private void doSignal(Node first) {
do {
//获取头结点的下一个节点并赋值为头结点
if ( (firstWaiter = first.nextWaiter) == null)
lastWaiter = null;
//将之前的头节点置为空
first.nextWaiter = null;
//将头结点从等待队列转移到AQS队列中,如果转移失败,则寻找下一个节点继续转移
} while (!transferForSignal(first) &&
(first = firstWaiter) != null);
}
首先将等待队列的头结点从等待队列中取出来
然后执行transferForSignal方法进行转移
final boolean transferForSignal(Node node) {
//将node的waitStatus设置为0,如果设置失败说明node的节点已经不在等待队列中了,返回false
if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))
return false;
//将node从等待队列转移到AQS队列,并返回node的前驱节点
Node p = enq(node);
//获取node前驱节点的状态
int ws = p.waitStatus;
//如果该节点是取消状态或者将其设置为唤醒状态失败(说明本身已经是唤醒状态了),所以可以去唤醒node节点所在的线程
if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))
//唤醒当前节点
LockSupport.unpark(node.thread);
return true;
}
将等待队列的头结点从等待队列转移到AQS队列中,如果转移失败,说明该节点已被取消,直接返回false,然后将first指向新的头结点重新进行转移。如果转移成功则根据前驱节点的状态判断是否直接唤醒当前线程。
怎么样?唤醒的逻辑是不是超级简单?我们也按例做个简单的总结。
总结
从等待队列的队首开始,尝试对队首节点执行唤醒操作,如果节点已经被取消了,就尝试唤醒下一个节点。
对首节点执行唤醒操作时,首先将节点转移到同步队列,如果前驱节点的状态为取消状态或设置前驱节点的状态为唤醒状态失败,那么就立即唤醒当前节点对应的线程,否则不执行唤醒操作。
原文链接:
https://mp.weixin.qq.com/s/UeeZ3gVLo8Ze1sCwJ9dn9Q
相关推荐
- 总结下SpringData JPA 的常用语法
-
SpringDataJPA常用有两种写法,一个是用Jpa自带方法进行CRUD,适合简单查询场景、例如查询全部数据、根据某个字段查询,根据某字段排序等等。另一种是使用注解方式,@Query、@Modi...
- 解决JPA在多线程中事务无法生效的问题
-
在使用SpringBoot2.x和JPA的过程中,如果在多线程环境下发现查询方法(如@Query或findAll)以及事务(如@Transactional)无法生效,通常是由于S...
- PostgreSQL系列(一):数据类型和基本类型转换
-
自从厂子里出来后,数据库的主力就从Oracle变成MySQL了。有一说一哈,贵确实是有贵的道理,不是开源能比的。后面的工作里面基本上就是主MySQL,辅MongoDB、ES等NoSQL。最近想写一点跟...
- 基于MCP实现text2sql
-
目的:基于MCP实现text2sql能力参考:https://blog.csdn.net/hacker_Lees/article/details/146426392服务端#选用开源的MySQLMCP...
- ORACLE 错误代码及解决办法
-
ORA-00001:违反唯一约束条件(.)错误说明:当在唯一索引所对应的列上键入重复值时,会触发此异常。ORA-00017:请求会话以设置跟踪事件ORA-00018:超出最大会话数ORA-00...
- 从 SQLite 到 DuckDB:查询快 5 倍,存储减少 80%
-
作者丨Trace译者丨明知山策划丨李冬梅Trace从一开始就使用SQLite将所有数据存储在用户设备上。这是一个非常不错的选择——SQLite高度可靠,并且多种编程语言都提供了广泛支持...
- 010:通过 MCP PostgreSQL 安全访问数据
-
项目简介提供对PostgreSQL数据库的只读访问功能。该服务器允许大型语言模型(LLMs)检查数据库的模式结构,并执行只读查询操作。核心功能提供对PostgreSQL数据库的只读访问允许L...
- 发现了一个好用且免费的SQL数据库工具(DBeaver)
-
缘起最近Ai不是大火么,想着自己也弄一些开源的框架来捣腾一下。手上用着Mac,但Mac都没有显卡的,对于学习Ai训练模型不方便,所以最近新购入了一台4090的拯救者,打算用来好好学习一下Ai(呸,以上...
- 微软发布.NET 10首个预览版:JIT编译器再进化、跨平台开发更流畅
-
IT之家2月26日消息,微软.NET团队昨日(2月25日)发布博文,宣布推出.NET10首个预览版更新,重点改进.NETRuntime、SDK、libraries、C#、AS...
- 数据库管理工具Navicat Premium最新版发布啦
-
管理多个数据库要么需要使用多个客户端应用程序,要么找到一个可以容纳你使用的所有数据库的应用程序。其中一个工具是NavicatPremium。它不仅支持大多数主要的数据库管理系统(DBMS),而且它...
- 50+AI新品齐发,微软Build放大招:拥抱Agent胜算几何?
-
北京时间5月20日凌晨,如果你打开微软Build2025开发者大会的直播,最先吸引你的可能不是一场原本属于AI和开发者的技术盛会,而是开场不久后的尴尬一幕:一边是几位微软员工在台下大...
- 揭秘:一条SQL语句的执行过程是怎么样的?
-
数据库系统能够接受SQL语句,并返回数据查询的结果,或者对数据库中的数据进行修改,可以说几乎每个程序员都使用过它。而MySQL又是目前使用最广泛的数据库。所以,解析一下MySQL编译并执行...
- 各家sql工具,都闹过哪些乐子?
-
相信这些sql工具,大家都不陌生吧,它们在业内绝对算得上第一梯队的产品了,但是你知道,他们都闹过什么乐子吗?首先登场的是Navicat,这款强大的数据库管理工具,曾经让一位程序员朋友“火”了一把。Na...
- 详解PG数据库管理工具--pgadmin工具、安装部署及相关功能
-
概述今天主要介绍一下PG数据库管理工具--pgadmin,一起来看看吧~一、介绍pgAdmin4是一款为PostgreSQL设计的可靠和全面的数据库设计和管理软件,它允许连接到特定的数据库,创建表和...
- Enpass for Mac(跨平台密码管理软件)
-
还在寻找密码管理软件吗?密码管理软件有很多,但是综合素质相当优秀且完全免费的密码管理软件却并不常见,EnpassMac版是一款免费跨平台密码管理软件,可以通过这款软件高效安全的保护密码文件,而且可以...
- 一周热门
-
-
Python实现人事自动打卡,再也不会被批评
-
【验证码逆向专栏】vaptcha 手势验证码逆向分析
-
Psutil + Flask + Pyecharts + Bootstrap 开发动态可视化系统监控
-
一个解决支持HTML/CSS/JS网页转PDF(高质量)的终极解决方案
-
再见Swagger UI 国人开源了一款超好用的 API 文档生成框架,真香
-
网页转成pdf文件的经验分享 网页转成pdf文件的经验分享怎么弄
-
C++ std::vector 简介
-
飞牛OS入门安装遇到问题,如何解决?
-
系统C盘清理:微信PC端文件清理,扩大C盘可用空间步骤
-
10款高性能NAS丨双十一必看,轻松搞定虚拟机、Docker、软路由
-
- 最近发表
- 标签列表
-
- python判断字典是否为空 (50)
- crontab每周一执行 (48)
- aes和des区别 (43)
- bash脚本和shell脚本的区别 (35)
- canvas库 (33)
- dataframe筛选满足条件的行 (35)
- gitlab日志 (33)
- lua xpcall (36)
- blob转json (33)
- python判断是否在列表中 (34)
- python html转pdf (36)
- 安装指定版本npm (37)
- idea搜索jar包内容 (33)
- css鼠标悬停出现隐藏的文字 (34)
- linux nacos启动命令 (33)
- gitlab 日志 (36)
- adb pull (37)
- python判断元素在不在列表里 (34)
- python 字典删除元素 (34)
- vscode切换git分支 (35)
- python bytes转16进制 (35)
- grep前后几行 (34)
- hashmap转list (35)
- c++ 字符串查找 (35)
- mysql刷新权限 (34)