详解CountDownLatch底层源码

大家好,我是此林。

今天来分享一下CountDownLatch的底层源码。

CountDownLatch 是 Java 并发包 (java.util.concurrent) 中的线程之间同步工具类,主要用于协调多个线程的执行顺序。其核心思想是通过计数器实现线程间的"等待-唤醒"机制,也就是AQS那一套。

话不多说,先上一个例子。

@Slf4j
public class A {public static void main(String[] args) throws InterruptedException {CountDownLatch latch = new CountDownLatch(1);for (int i = 0; i < 5; i++) {new Thread(() -> {try {latch.await();log.info(Thread.currentThread().getName() + ":启动");} catch (InterruptedException e) {throw new RuntimeException(e);}}, "线程-"+i).start();}log.info("准备中...");Thread.sleep(5000);latch.countDown();}
}

这段代码里,5个线程需要等待主线程统一发号施令,然后才会启动执行。

可以看到,主线程休眠5秒后,发号施令,5个线程才各自启动。 

1. CountDownLatch的源码

接下来,进入正题,来看下CountDownLatch的源码。

怎么看源码呢?一说到看源码,有些朋友可能觉得源码冗长,眼花缭乱的,下面说下具体方法。

1.1. 先看整体结构。

(快捷键:Alt + 7)

 可以看到,CountDownLatch 里还有个 Sync 静态内部类,这个类继承了 AQS,重写了 tryAccquireShared() 和 tryReleaseShared() 方法。

其他方法很常见了吧,之前案例里就用过。

1. CountDownLatch(int n) :构造方法,传入计数器。

2. await() :线程阻塞等待到 CountDownLatch 减到 0。

3. latch.await(1, TimeUnit.SECONDS):线程最多阻塞等待1秒钟,1秒钟过后无论CountDownLatch 是否减到 0,都开始执行。

4. countDown():计数器的值减1。

1.2. 接下来,我们去看各个方法的源码。

1. CountDownLatch(int n)构造方法

CountDownLatch latch = new CountDownLatch(1);

实际上,CountDownLatch构造方法里会实例化静态内部类 Sync。

这个 setState() 方法就是父类AQS里的方法,设置 state 属性。

我们都知道 AQS 里锁的状态、重入等等都是由这个 state 公共变量来维护的。

为了保证多线程环境下内存的可见性,state 变量用了 volatile 关键字修饰。

2. countDown() 方法

具体会执行到这个方法:

这个无非是无限for循环,不断CAS自旋,直到成功、原子性地把state减1。

减一之后如果发现state等于0了,那么就返回true,接下来会去唤醒阻塞队列的线程。

这里会去唤醒阻塞队列的第一个线程,即头结点的后继节点。

问:为什么是头节点的后继?
答:AQS 队列设计,头节点是虚拟节点(不关联线程),仅作为占位符。

     head (dummy) → Node1 (thread1) → Node2 (thread2) → ...

再问:那为什么只是唤醒第一个线程?不应该唤醒所有线程吗?

答:第一个线程被唤醒了之后,它最后会执行AQS的acquire()方法。

如果是共享模式下,会额外执行这一步,它会自动唤醒下一个线程,也就是会不断链式唤醒,相当于唤醒所有线程了。

3. 再来看 await() 方法

await() 的作用是让当前线程阻塞等待。

如果执行 countdown() 方法发现 CountDownLatch 减到 0了,那就会唤醒阻塞等待的线程。

latch.await();

 这个 acquireSharedInterruptibly() 是AQS里的 模板方法 

这个 acquireSharedInterruptibly() 也很简单,就一个 if 条件判断,如果为 true,就抛异常。

第一个条件:

Thread.interrupted()

如果线程当前已经是中断状态,那直接抛异常,没必要阻塞等待下去了。

第二个条件:

tryAcquireShared(arg) < 0 &&acquire(null, arg, true, true, false, 0L) < 0)

这个 tryAcquireShared(arg) 实际执行的就是 Sync 里重写 的方法,之前我们类的结构图里也看过。tryAcquireShared(arg) 特别简单,就一行代码。

 如果 state 计数器为0了,返回1,state计数器不为0,返回-1。

很明显,

tryAcquireShared(arg) < 0 

代表 state 计数器不为0,就说明当前线程要阻塞等待了,继续进入 acquire() 方法,加入阻塞队列。

这个 acquire() 方法就是 AQS 的模板方法,它是AQS同步机制的核心方法,实现了独占/共享模式的资源获取逻辑,支持可中断和超时特性。ReentrantLock/Semaphore等同步器的底层都依赖该方法。

3. AQS 的 acquire() 方法

acquire() 方法没啥花头,就是把当前线程通过不断 CAS 自旋直到成功加入阻塞队列。

整体结构上是个 for 无限循环。

流程图如下: 

每次for循环,都会执行以下步骤:

1. 前驱节点有效性检查(无需太关注,会自动清理已取消的前驱节点)

2. 如果当前线程是阻塞队列第一个节点,那就去看下state计数器是否已经减到0了。如果减到0了,当前线程出队,调用 unpark() 方法唤醒下一个线程节点。

3. CAS尝试原子性插入阻塞队列尾部。

这个就是调用 park() 阻塞线程,如果传入了超时时间(执行 latch.await(int n, Timeunit unit),就调用 parkNanos()。

2. 总结一下

总结一下,CountDownLatch 本身就是通过 AQS 的 state 公共变量维护一个计数器。

调用 await() 方法,就是把当前线程加入到阻塞队列,直到 state 变量为 0。

调用 countdown() 方法,就是对 state 变量减一,如果减到0了,那么就唤醒阻塞队列的所有线程。

CountDownLatch也有一些缺点,比如:

它只能一次性使用,无法重置计数。如果需要多次使用 CountDownLatch,必须新建实例,不如 CyclicBarrier 可以复用。

今天的分享就到这里了。

关注我吧,我是此林,带你看不一样的世界!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/43131.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Ubuntu24.04 离线安装 MySQL8.0.41

一、环境准备 1.1 官方下载MySQL8.0.41 完整包 1.2 上传包 & 解压 上传包名称是&#xff1a;mysql-server_8.0.41-1ubuntu24.04_amd64.deb-bundle.tar # 切换到上传目录 cd /home/MySQL8 # 解压&#xff1a; tar -xvf mysql-server_8.0.41-1ubuntu24.04_amd64.deb-bundl…

【算法应用】基于粒子群算法PSO求解无人机集群路径规划问题

目录 1.无人机路径规划模型2.粒子群算法PSO原理3.结果展示4.参考文献5.代码获取 1.无人机路径规划模型 路径最优性 为了实现UAV的高效运行&#xff0c;计划的路径需要在某一特定标准上达到最优。UAV飞行路径Xi表示为UAV需要飞过的一系列n个航路点&#xff0c;每个航路点对应搜…

电脑ip地址每次开机会换吗?全面解析

在探讨“电脑IP地址每次开机会换吗”这一问题时&#xff0c;我们首先需要明确的是&#xff0c;IP地址的更换情况并非一成不变&#xff0c;而是受到多种因素的影响&#xff0c;其中最核心的是IP地址的类型——动态IP还是静态IP。这两种类型的IP地址在分配方式、稳定性以及使用场…

sqli-labs靶场 less 8

文章目录 sqli-labs靶场less 8 布尔盲注 sqli-labs靶场 每道题都从以下模板讲解&#xff0c;并且每个步骤都有图片&#xff0c;清晰明了&#xff0c;便于复盘。 sql注入的基本步骤 注入点注入类型 字符型&#xff1a;判断闭合方式 &#xff08;‘、"、’、“”&#xf…

docker-Dify外接Fastgpt知识库

参考地址&#xff1a;https://mp.weixin.qq.com/s/crQrneHZ0sT-c04YanofSw 总体步骤 部署fda(fastgpt-dify-adapter)docker 部署dify&#xff0c;fastgpt在fastgpt创建open apikey&#xff0c;复制知识库id&#xff1b;在dify外接fastgpt知识库&#xff1b; docker安装 下载…

Django学习笔记

Django学习笔记 安装django pip install django创建APP 用django来写后端的时候&#xff0c;要把各个功能分散到各个创建好的APP去实现 在终端输入 python manage.py startapp app01(APP名称)APP内部文件 admin.py django默认提供了admin后台管理 apps.py app启动类 mo…

向量数据库是什么,它有什么作用?

环境&#xff1a; 向量数据库 问题描述&#xff1a; 向量数据库是什么&#xff0c;它有什么作用 解决方案&#xff1a; 向量数据库是一种专门设计用于高效处理高维向量数据的系统&#xff0c;主要用于存储、索引、查询和检索高维向量数据&#xff0c;特别适合处理非结构化数…

【SPP】蓝牙串口协议应用层深度解析:从连接建立到实战开发

目录 一、SPP应用层协议框架与角色模型 1.1 分层协议栈模型 1.2 设备角色模型&#xff08;DevA 与 DevB 交互&#xff09; 二、连接建立流程&#xff1a;从 SDP 到 RFCOMM 2.1 服务发现&#xff08;SDP&#xff09;流程&#xff08;SDP 记录关键参数&#xff09; 2.2 连接…

【Portainer】Docker可视化组件安装

Portainer Portainer 是用于管理容器化环境的一体化平台工程解决方案&#xff0c;提供广泛的定制功能&#xff0c;以满足个人开发人员和企业团队的需求。 官方地址: https://www.portainer.io/ 安装 在 WSL / Docker Desktop 上使用 Docker 安装 Portainer CE 通过命令或UI页…

【第33节】windows原理:初探PE文件

目录 一、PE文件概述 二、DOS头部 三、DOS头部与NT头部之间 四、NT头部 五、文件头区段 六、了解个别概念 七、扩展头 八、区段头表 一、PE文件概述 PE文件是有特定格式的文件&#xff0c;像后缀名是EXE的可执行文件、后缀名是DLL的动态链接库文件、sys格式的驱动文件&…

谷粒微服务高级篇学习笔记整理---异步线程池

多线程回顾 多线程实现的4种方式 1. 继承 Thread 类 通过继承 Thread 类并重写 run() 方法实现多线程。 public class MyThread extends Thread {Overridepublic void run() {System.out.println("线程运行: " Thread.currentThread().getName());} }// 使用 pub…

网络运维学习笔记(DeepSeek优化版) 024 HCIP-Datacom OSPF域内路由计算

文章目录 OSPF域内路由计算&#xff1a;单区域的路由计算一、OSPF单区域路由计算原理二、1类LSA详解2.1 1类LSA的作用与结构2.2 1类LSA的四种链路类型 三、OSPF路由表生成验证3.1 查看LSDB3.2 查看OSPF路由表3.3 查看全局路由表 四、2类LSA详解4.1 2类LSA的作用与生成条件4.2 2…

飞桨PP系列新成员PP-DocLayout开源,版面检测加速大模型数据构建,超百页文档图像一秒搞定

背景介绍 文档版面区域检测技术通过精准识别并定位文档中的标题、文本块、表格等元素及其空间布局关系&#xff0c;为后续文本分析构建结构化上下文&#xff0c;是文档图像智能处理流程的核心前置环节。随着大语言模型、文档多模态及RAG&#xff08;检索增强生成&#xff09;等…

以科技赋能,炫我云渲染受邀参加中关村文化科技融合影视精品创作研讨会!

在文化与科技深度融合的时代浪潮下&#xff0c;影视创作行业经历着前所未有的变革。影视创作行业发展态势迅猛&#xff0c; 同时也面临着诸多挑战。为促进影视创作行业的创新发展&#xff0c;加强业内交流与合作&#xff0c; 3月25日下午&#xff0c;海淀区文化创意产业协会举办…

NFS挂载异常排查记录

互相PING服务器看是否通&#xff1b;在ubuntu下看下服务器是否正常运行。导出目录是否导出了。最后发现在挂载目录的地方目录路径和后面没有加空格。

flutter 专题 七十一 Flutter 自定义单选控件

在Flutter 应用开发中&#xff0c;经常会遇到各种单选效果&#xff0c;虽然官方提供了Radio组件&#xff0c;但是并不能满足我们实际的开发需求&#xff0c;所以往往还需要自定义控件才能满足平时的开发需求。下面就平时开发中用到的单选进行介绍&#xff1a; 自定义SegmentBa…

在Cesium中使用ThreeJs材质(不是场景融合哦)

在Cesium中使用ThreeJs材质(不是场景融合哦&#xff09;_哔哩哔哩_bilibili

浅谈Thread类及常见方法与线程的状态(多线程编程篇2)

目录 前言 1.Thread类及常见方法 Thread类中常见的属性 1. getId() 2. getName() 3. getState() 4. getPriority() 5. isDaemon() 6. isAlive() 7. isInterrupted() 2.Thread类中常见的方法 Thread.interrupt() (中断线程) Thread.start()(启动线程) 1. 覆写 run…

Elasticsearch:人工智能时代的公共部门数据治理

作者&#xff1a;来自 Elastic Darren Meiss 人工智能&#xff08;AI&#xff09;和生成式人工智能&#xff08;GenAI&#xff09;正在迅速改变公共部门&#xff0c;从理论探讨走向实际应用。正确的数据准备、管理和治理将在 GenAI 的成功实施中发挥关键作用。 我们最近举办了…

使用事件监听器来处理并发环境中RabbitMQ的同步响应问题

RabbitListener 是 Spring AMQP 提供的核心注解&#xff0c;用于简化 RabbitMQ 消息监听器的创建。以下是对 RabbitListener(queues "balloonWords.queue") 的详细解析&#xff1a; 一、基础功能 队列监听 通过 queues 属性指定监听的队列名称&#xff08;如 "…