如何通过 AQS 的 Shared 模式底层实现理解 CountDownLatch 在任务对齐中的同步原理

夏杰姑娘_9099

夏杰姑娘_9099

2026-04-26

242人浏览

原创

countdownlatch的await()阻塞在aqs共享队列中,因tryacquireshared返回-1导致线程入队并park;countdown()通过cas循环确保state递减原子性;其不可重置源于state归零后拒绝修改,而cyclicbarrier基于可重置的count和condition实现。

如何通过 aqs 的 shared 模式底层实现理解 countdownlatch 在任务对齐中的同步原理

CountDownLatch 的 await() 为什么阻塞在 AQS 共享队列里

因为 await() 调用的是 acquireSharedInterruptibly(1),而 AQS 在共享模式下会先执行 tryAcquireShared(int) ——这个方法只做一件事:return (getState() == 0) ? 1 : -1。只要 state != 0,就返回 -1,触发线程入队并 park。

关键点在于:它不抢锁,也不修改 state,纯粹是“查状态 + 等通知”。所有调用 await() 的线程都会被封装成 Node 加入 CLH 双向同步队列,头结点是虚拟节点,后续节点按 FIFO 排队。

  • 不是 wait/notify 那种依赖对象监视器的机制,不会丢唤醒
  • 阻塞由 LockSupport.park() 完成,unpark() 可提前发放许可,无时序风险
  • 一旦 state 归零,doReleaseShared() 会遍历队列,挨个 unpark() 所有等待节点

countDown() 如何通过 CAS 保证 state 递减的原子性

countDown() 最终调用 tryReleaseShared(1),核心逻辑是一个无限 for 循环 + compareAndSetState(c, nextc):

for (;;) {
    int c = getState();
    if (c == 0) return false;
    int nextc = c - 1;
    if (compareAndSetState(c, nextc)) return nextc == 0;
}

这里没有锁,全靠 volatile + CAS。每次读取当前 state,计算新值,再尝试原子更新。失败就重试,直到成功。

AiTxt 文案助手
AiTxt 文案助手

一款面向日常文案创作的AI写作助手,可根据不同内容需求辅助生成和优化宣传、营销及工作场景中的文字。

下载
  • 多个线程并发调用 countDown() 不会导致计数丢失,这是 CountDownLatch 可靠性的底层保障
  • 只有最后一次将 state 减到 0 的线程,才会返回 true,从而触发 doReleaseShared() 唤醒全部等待者
  • 注意:state 是 int 类型,理论最大值 2^31−1,但实际业务中极少接近溢出,不过若误用(如反复 new 而非复用)可能掩盖计数异常

为什么 CountDownLatch 无法重置,而 CyclicBarrier 可以

根本差异就在 AQS 的复用设计上:CountDownLatch 的 state 是一次性消耗品,归零后 tryAcquireShared() 永远返回 1,await() 不再阻塞;但它的 tryReleaseShared() 在 state == 0 时直接返回 false,拒绝任何后续 countDown() 修改 —— 也就是“锁死了”。

  • CyclicBarrier 不基于 AQS 的 state 做倒计时,而是用独立的 int count + ReentrantLock + Condition 实现,reset() 就是重置 count 和 trip 条件队列
  • 想让 CountDownLatch “复用”,只能 new 新实例,但要注意旧实例的 await 线程是否已全部唤醒,否则可能引发 NPE 或逻辑错乱
  • 生产环境若需循环等待,优先选 CyclicBarrier 或 Phaser,别 hack CountDownLatch

任务对齐场景下,await() 超时判断的实际意义

await(long, TimeUnit) 底层调用 tryAcquireSharedNanos(1, nanosTimeout),本质是带超时的自旋 + park。它不是简单地 sleep 后检查,而是:

  • 先尝试快速获取(即检查 state == 0),成功则立即返回
  • 失败则计算 deadline,进入带超时的 park,期间仍可能被其他线程 countDown() 唤醒
  • 若超时未唤醒,返回 false,但此时线程已脱离 AQS 队列,后续再调用 await() 会重新入队 —— 这点常被忽略

也就是说,超时不是“放弃等待”,而是“本次放弃”,不改变内部状态,也不影响其他线程继续 countDown()。真正要中断等待逻辑,得配合 Thread.interrupt() 或显式判断返回值。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

10897

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

8022

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

6952

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1164

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

948

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1416

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2869

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20151

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1255

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
誉天教育RHCE视频教程
誉天教育RHCE视频教程

共9课时 | 1.8万人学习

尚观Linux RHCE视频教程(二)
尚观Linux RHCE视频教程(二)

共34课时 | 7万人学习

尚观RHCE视频教程(一)
尚观RHCE视频教程(一)

共28课时 | 5.9万人学习