讲师中心 微信公众号
AI工具推荐 视频效率加速

如何通过 AQS 的 Shared 模式源码理解 CountDownLatch 在任务对齐中的同步逻辑

冬瑶姑娘_2242

冬瑶姑娘_2242

发布时间:2026-04-20 09:57:23

|

304人浏览过

|

来源于php中文网

原创

CountDownLatch的await()只响应state==0,因其tryAcquireShared返回1(成功)仅当getState()==0,否则返回-1阻塞;countDown()用for(;;)确保CAS减state原子性,仅最后一次减至0的线程触发唤醒。

如何通过 aqs 的 shared 模式源码理解 countdownlatch 在任务对齐中的同步逻辑

CountDownLatch 的 await() 为什么只响应 state == 0?

因为 tryAcquireShared 的返回值直接决定线程是否能“获取共享资源”:返回 ≥ 0 才算成功,而 CountDownLatch 的实现里只写死了 (getState() == 0) ? 1 : -1。它根本不关心“还有多少资源剩”,只关心“门关没关”——state 是 0 就代表所有 countDown() 已完成,门开了,放行。

这个设计意味着:

  • await() 不是“抢资源”,而是“等信号”;它不参与计数过程,只观察最终状态
  • 一旦 state 变为 0,所有在 doAcquireSharedInterruptibly 中挂起的线程都会被唤醒(通过 setHeadAndPropagate 向后传播)
  • 没有“部分满足”逻辑:哪怕 state 从 5→1,只要不是 0,await() 就继续阻塞

countDown() 的 CAS 循环为何必须用 for(;;)?

tryReleaseShared 里那个死循环不是为了重试多次,而是为了确保 CAS 原子性更新成功。因为多个线程可能同时调用 countDown(),都读到同一个旧值 c,但只有一个能成功把 state 从 c 改成 c-1。失败者必须重读新 state 再试——否则会漏减或重复减。

常见错误是忽略返回值判断:return nextc == 0 这一行才是关键——只有最后一次减到 0 的那个线程,才会触发唤醒逻辑(AQS 的 doReleaseShared 流程)。其他线程减完就默默退出。

为什么 await() 被中断后不能简单 ignore?

acquireSharedInterruptibly 在入口就检查 Thread.interrupted(),一旦发现已中断,立刻抛 InterruptedException。这不是“礼貌提醒”,而是 AQS 共享模式的契约:中断必须立即响应,不能让线程卡在队列里假装没发生。

容易踩的坑:

  • 在 catch (InterruptedException) 里只打印日志却不恢复中断状态(Thread.currentThread().interrupt()),会导致上层无法感知中断意图
  • 误以为 await(long, TimeUnit) 超时后线程就“安全了”——其实超时返回 false 后,如果后续还有 countDown(),该线程仍可能被唤醒,需自行处理状态一致性

任务对齐场景下,state 初始值设错会导致什么?

初始 count 必须严格等于实际要等待的 countDown() 总次数。少设了,await() 永远不会返回;多设了,主线程永远卡住——而且这种错误**不会抛异常,也不会告警**,只会静默 hang 住。

典型陷阱:

  • 异步任务中,部分分支没走到 countDown()(比如异常提前 return)
  • 使用线程池时,任务提交失败或被拒绝,但没对应补偿 countDown()
  • 误把 CyclicBarrier 的“可重置”特性套用到 CountDownLatch 上,试图复用已触发的实例

真正难调试的从来不是代码写法,而是那个没被执行的 countDown() ——它藏在某个 if 分支、finally 外、或者被 swallow 的 catch 块里。

热门AI工具

更多
WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

超级麦吉

一款通过数字员工协作完成调研、数据分析与文档制作的AI办公平台。

创客贴AI

创客贴AI是一款AI图像与设计工具,AI辅助的智能在线设计工具。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

相关专题

更多
java
java

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

11357

2023.06.15

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

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

8462

2023.07.05

java自学难吗
java自学难吗

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

7292

2023.07.31

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

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

1204

2023.08.01

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

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

988

2023.08.02

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

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

1456

2023.08.02

java有什么用
java有什么用

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

2989

2023.08.02

java在线网站
java在线网站

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

20251

2023.08.03

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

100

2026.10.22

热门下载

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

精品课程

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

共9课时 | 1.8万人学习

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

共34课时 | 7万人学习

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

共28课时 | 5.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn