有图解有案例,我终于把Condition的原理讲透彻了
liuian 2025-06-15 17:36 57 浏览
平时加解锁都是直接使用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
相关推荐
- 教你把多个视频合并成一个视频的方法
-
一.情况介绍当你有一个m3u8文件和一个目录,目录中有连续的视频片段,这些片段可以连成一段完整的视频。m3u8文件打开后像这样:m3u8文件,可以理解为播放列表,里面是播放视频片段的顺序。视频片段像这...
- 零代码编程:用kimichat合并一个文件夹下的多个文件
-
一个文件夹里面有很多个srt字幕文件,如何借助kimichat来自动批量合并呢?在kimichat对话框中输入提示词:你是一个Python编程专家,完成如下的编程任务:这个文件夹:D:\downloa...
- Java APT_java APT 生成代码
-
JavaAPT(AnnotationProcessingTool)是一种在Java编译阶段处理注解的工具。APT会在编译阶段扫描源代码中的注解,并根据这些注解生成代码、资源文件或其他输出,...
- Unit Runtime:一键运行 AI 生成的代码,或许将成为你的复制 + 粘贴神器
-
在我们构建了UnitMesh架构之后,以及对应的demo之后,便着手于实现UnitMesh架构。于是,我们就继续开始UnitRuntime,以用于直接运行AI生成的代码。PS:...
- 挣脱臃肿的枷锁:为什么说Vert.x是Java开发者手中的一柄利剑?
-
如果你是一名Java开发者,那么你的职业生涯几乎无法避开Spring。它如同一位德高望重的老国王,统治着企业级应用开发的大片疆土。SpringBoot的约定大于配置、SpringCloud的微服务...
- 五年后,谷歌还在全力以赴发展 Kotlin
-
作者|FredericLardinois译者|Sambodhi策划|Tina自2017年谷歌I/O全球开发者大会上,谷歌首次宣布将Kotlin(JetBrains开发的Ja...
- kotlin和java开发哪个好,优缺点对比
-
Kotlin和Java都是常见的编程语言,它们有各自的优缺点。Kotlin的优点:简洁:Kotlin程序相对于Java程序更简洁,可以减少代码量。安全:Kotlin在类型系统和空值安全...
- 移动端架构模式全景解析:从MVC到MVVM,如何选择最佳设计方案?
-
掌握不同架构模式的精髓,是构建可维护、可测试且高效移动应用的关键。在移动应用开发中,选择合适的软件架构模式对项目的可维护性、可测试性和团队协作效率至关重要。随着应用复杂度的增加,一个良好的架构能够帮助...
- 颜值非常高的XShell替代工具Termora,不一样的使用体验!
-
Termora是一款面向开发者和运维人员的跨平台SSH终端与文件管理工具,支持Windows、macOS及Linux系统,通过一体化界面简化远程服务器管理流程。其核心定位是解决多平台环境下远程连接、文...
- 预处理的底层原理和预处理编译运行异常的解决方案
-
若文章对您有帮助,欢迎关注程序员小迷。助您在编程路上越走越好![Mac-10.7.1LionIntel-based]Q:预处理到底干了什么事情?A:预处理,顾名思义,预先做的处理。源代码中...
- 为“架构”再建个模:如何用代码描述软件架构?
-
在架构治理平台ArchGuard中,为了实现对架构的治理,我们需要代码+模型描述所要处理的内容和数据。所以,在ArchGuard中,我们有了代码的模型、依赖的模型、变更的模型等,剩下的两个...
- 深度解析:Google Gemma 3n —— 移动优先的轻量多模态大模型
-
2025年6月,Google正式发布了Gemma3n,这是一款能够在2GB内存环境下运行的轻量级多模态大模型。它延续了Gemma家族的开源基因,同时在架构设计上大幅优化,目标是让...
- 比分网开发技术栈与功能详解_比分网有哪些
-
一、核心功能模块一个基本的比分网通常包含以下模块:首页/总览实时比分看板:滚动展示所有正在进行的比赛,包含比分、比赛时间、红黄牌等关键信息。热门赛事/焦点战:突出显示重要的、关注度高的比赛。赛事导航...
- 设计模式之-生成器_一键生成设计
-
一、【概念定义】——“分步构建复杂对象,隐藏创建细节”生成器模式(BuilderPattern):一种“分步构建型”创建型设计模式,它将一个复杂对象的构建与其表示分离,使得同样的构建过程可以创建...
- 构建第一个 Kotlin Android 应用_kotlin简介
-
第一步:安装AndroidStudio(推荐IDE)AndroidStudio是官方推荐的Android开发集成开发环境(IDE),内置对Kotlin的完整支持。1.下载And...
- 一周热门
-
-
【验证码逆向专栏】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使用fitz模块提取pdf中的图片
-
- 最近发表
- 标签列表
-
- 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)