如何通过 AQS 的共享模式源码理解 CountDownLatch 在多任务对齐场景下的同步屏障执行原理

冬静大大_3592

冬静大大_3592

2026-04-15

598人浏览

原创

countdownlatch的await()不抢锁而等计数归零,因其基于aqs共享模式,tryacquireshared()仅检查state是否为0;countdown()用cas确保减一原子性;不可重用因state归零后无重置机制;中断await()不影响state。

如何通过 aqs 的共享模式源码理解 countdownlatch 在多任务对齐场景下的同步屏障执行原理

CountDownLatch 的 await() 为什么阻塞后不“抢锁”而是等计数归零

因为 await() 调用的是 AQS 的 acquireSharedInterruptibly(),而底层 tryAcquireShared() 的逻辑极其简单:只看 state 是否为 0。不为 0 就返回 -1,AQS 自动把线程塞进 CLH 队列挂起;为 0 就返回 1,直接放行。它根本不是在“争抢某个资源”,而是在“查状态快照”——这正是同步屏障(barrier)的本质:不竞争,只对齐。

常见错误是误以为 await() 类似 ReentrantLock.lock(),需要唤醒后重新竞争。实际没有竞争过程:一旦 countDown() 把 state 减到 0,AQS 会调用 doReleaseShared() 唤醒所有在队列里等待的节点,且这些线程被唤醒后不再检查条件,直接继续执行 —— 因为条件(state == 0)已在唤醒前由最后一个 countDown() 保证成立。

countDown() 的 CAS 自旋为何必须用 compareAndSetState

countDown() 底层走 releaseShared() → tryReleaseShared(),后者用死循环 + compareAndSetState() 实现减一。这不是为了“重试失败”,而是确保:即使多个线程同时调用 countDown(),也只有一个能成功把 state 从 N 减为 N−1,避免漏减或重复减。

容易踩的坑:

  • 手写类似逻辑时用 getState() - 1 再 setState(),会导致竞态条件 —— 两个线程读到相同 state,都算出新值,先后写入,实际只减了一次
  • 没加 volatile 语义(AQS 的 state 是 volatile int),可能因 CPU 缓存不一致导致某线程永远看不到 state == 0
  • 忽略返回值:只有当 compareAndSetState(old, new) 成功时才表示本次减一真正生效,这也是判断是否该触发唤醒的唯一依据

为什么 CountDownLatch 不可重用,而 CyclicBarrier 可以

关键在状态机设计:CountDownLatch 的 state 归零后,tryAcquireShared() 永远返回 1,后续所有 await() 都直接通过;但它的 Sync 类没有提供重置 state 的 public 方法,也不响应任何 reset 请求 —— 这是故意的不可逆设计。

对比 CyclicBarrier:它内部有 Generation 对象标记“代”,每次所有线程通过屏障后,nextGeneration() 会新建一代、重置计数、并调用 Condition.signalAll() 唤醒等待者。而 CountDownLatch 根本不维护“代”概念,也没有 Condition 实例,它的唤醒靠的是 AQS 共享模式下的 unparkSuccessor() 直接操作队列节点。

所以如果你需要多次对齐(比如每秒一批任务),别硬复用 CountDownLatch,要么重建实例,要么换 CyclicBarrier 或 Phaser。

多任务对齐场景下,主线程 await() 被中断时 state 状态怎么变

await() 响应中断,抛出 InterruptedException,但此时 state 完全不受影响 —— 既不会回滚,也不会被设为 0。中断只是让当前线程退出等待队列,不改变屏障本身的进度。

这意味着:

  • 其他未中断的线程仍按原逻辑等待,直到 state 归零
  • 被中断的线程若想重试,必须自己捕获异常后重新调用 await(),但要注意:如果此时 state 已为 0,await() 会立即返回,无需再等
  • 没有“中断即失效”机制,所以业务代码里不能假设“中断 = 屏障失败”,得结合实际 state 值或完成标志做二次判断

最易忽略的一点:很多生产代码在 catch(InterruptedException) 后直接 return,却忘了恢复中断状态(Thread.currentThread().interrupt()),导致上层调用方收不到中断信号,引发超时或 hang 住。

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

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

下载

相关标签:

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

相关专题

更多
java
java

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

2023.06.15

9397

6

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

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

2023.07.05

6562

9

java自学难吗
java自学难吗

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

2023.07.31

5832

8

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

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

2023.08.01

1024

3

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

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

2023.08.02

868

3

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

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

2023.08.02

1236

5

java有什么用
java有什么用

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

2023.08.02

2469

5

java在线网站
java在线网站

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

2023.08.03

19811

3

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

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

2023.08.03

1115

8

热门下载

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

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.6万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.4万人学习