如何通过 AQS 的 SIGNAL 状态位理解后继线程在入队前为何需要前驱线程通过 CAS 进行显式标记

落浩酱_4776

落浩酱_4776

2026-04-24

545人浏览

原创

SIGNAL必须由前驱节点设置,因为其语义是“我释放锁时必唤醒后继”,该责任只能由已就绪的前驱承担;后继入队未完成,无法安全自设,且AQS中仅前驱在park前通过shouldParkAfterFailedAcquire中的CAS设置SIGNAL。

如何通过 aqs 的 signal 状态位理解后继线程在入队前为何需要前驱线程通过 cas 进行显式标记

为什么 SIGNAL 必须由前驱节点设置,而不是后继自己设

因为 SIGNAL 的语义是“我释放锁时,必须 unpark 我的后继”,这个责任只能由前驱节点承担——后继线程还没入队完成、甚至还没构造好 Node,根本无法安全地给自己或别人设状态。

常见错误现象:有人试图在 enq() 中让新节点一入队就 compareAndSetWaitStatus(this, 0, SIGNAL),结果要么 CAS 失败(前驱还没来得及更新),要么逻辑错乱(此时前驱可能还是 head,而 head 的 waitStatus 本不该是 SIGNAL)。

  • SIGNAL 是一种“委托唤醒”契约:只有当前节点确认自己会释放资源(比如调用 release()),才配把 SIGNAL 设给前驱
  • 前驱节点设 SIGNAL 的时机,是在它准备 park() 自己之前,用 compareAndSetWaitStatus(p, 0, SIGNAL) 尝试标记自己为“可唤醒后继”
  • 如果 CAS 失败(比如前驱已被其他线程设为 CANCELLED),说明队列状态已变,当前线程应重试或放弃入队

入队过程中谁在什么时候修改 waitStatus 为 SIGNAL

不是后继线程设的,也不是 AQS 构造器自动设的,而是前驱节点在挂起自己前,通过 shouldParkAfterFailedAcquire() 循环中的一次 CAS 设置。

典型流程(以 acquireQueued() 为例):

  • 线程 A 尝试 acquire() 失败 → 调用 addWaiter(Node.EXCLUSIVE) 入队 → 成为 tail
  • 进入 acquireQueued(node, arg) 循环,先检查前驱是否是 head
  • 如果不是,调用 shouldParkAfterFailedAcquire(p, node),其中 p 是前驱节点
  • 该方法会判断:p.waitStatus == SIGNAL → 直接返回 true;否则尝试 compareAndSetWaitStatus(p, 0, SIGNAL)
  • 只有这次 CAS 成功,才表示“前驱已承诺会在释放时唤醒我”

注意:compareAndSetWaitStatus(p, 0, SIGNAL) 的第一个参数是前驱节点 p,不是当前节点 node —— 这个细节决定了谁对唤醒负责。

SIGNAL 为 0 或 CANCELLED 时后继线程的行为差异

后继线程是否能安全挂起,完全取决于前驱的 waitStatus 值。这不是约定,而是 AQS 的硬性守门逻辑。

  • waitStatus == SIGNAL:前驱已明确承诺唤醒,当前线程可放心 LockSupport.park()
  • waitStatus == 0:前驱尚未设 SIGNAL,当前线程不能 park,必须继续循环等待或帮前驱设状态
  • waitStatus == CANCELLED(值为 1):前驱已失效,需跳过它,往前找第一个非 CANCELLED 前驱;找不到则重试入队
  • waitStatus == CONDITION 或 PROPAGATE:说明前驱不在同步队列主路径上,当前线程需重新评估排队位置

性能影响:这个检查看似多一次 volatile 读 + 可能的 CAS,但避免了无谓的 park/unpark 开销。实测中,95% 以上场景在第二次循环就能看到 SIGNAL,无需自旋太久。

容易被忽略的关键点:SIGNAL 不是“我等着被唤醒”,而是“我负责唤醒下一个”

这是最常被误解的地方。SIGNAL 存在于前驱节点上,描述的是前驱节点的义务,不是后继节点的状态。后继节点自己永远不设 SIGNAL,它只读前驱的 waitStatus 来决定是否挂起。

如果你在调试时发现某个节点的 waitStatus 长时间为 0,不要急着给它手动设 SIGNAL —— 它的前驱可能还在初始化、已被取消、或根本没走到设状态那步。真正要盯的是:它的前驱有没有成功执行 compareAndSetWaitStatus(p, 0, SIGNAL),以及该 CAS 是否返回了 true。

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

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

下载

相关标签:

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

相关专题

更多
java
java

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

2023.06.15

12137

6

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

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

2023.07.05

9222

9

java自学难吗
java自学难吗

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

2023.07.31

7872

8

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

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

2023.08.01

1284

3

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

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

2023.08.02

1028

3

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

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

2023.08.02

1536

5

java有什么用
java有什么用

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

2023.08.02

3169

5

java在线网站
java在线网站

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

2023.08.03

20431

3

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

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

2023.08.03

1395

8

热门下载

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

精品课程

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

共6课时 | 54.7万人学习

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

共89课时 | 134.1万人学习