Java 中 AQS 源码中 Node 节点状态怎么设计与流转

秋枫君_1097

秋枫君_1097

2026-10-23

158人浏览

原创

node节点五种核心状态为:cancelled=1(节点失效)、initial=0(初始状态)、signal=-1(需唤醒后继)、condition=-2(在条件队列中等待)、propagate=-3(共享模式下传播唤醒);状态由节点自身与前后节点协作通过cas原子更新,不依赖轮询。

java 中 aqs 源码中 node 节点状态怎么设计与流转

Node 节点的五种核心状态含义

Node 类中 waitStatus 字段是整型 volatile 变量,用于标识节点在同步队列或条件队列中的生命周期状态。它不表示“锁是否持有”,而是表达“当前线程在等待什么、能否被唤醒、是否应被忽略”。关键状态有五个:

  • CANCELLED = 1:节点已失效。比如线程被中断、超时未获取锁、或 acquire 过程中发生异常。该节点不再参与竞争,其 next 指针可能为 null,后续节点会跳过它。
  • INITIAL = 0:初始状态。新节点入队但尚未被前驱节点标记为需唤醒(即还没设置 SIGNAL),也未进入条件队列。此时线程可能刚挂起,或正等待首次检查。
  • SIGNAL = -1:关键唤醒标记。表示“当本节点释放锁/被唤醒时,必须通知后继节点”。前驱节点在挂起自己前,会把后继节点的 waitStatus 设为 SIGNAL;后继节点被 unpark 前,也会先确认前驱是否为 SIGNAL 状态。
  • CONDITION = -2:仅出现在条件队列(ConditionObject 的 firstWaiter/lastWaiter 链表)中。表示线程正 await() 在某个 Condition 上,尚未 signal。此时 node.nextWaiter 指向下一个条件节点,prev/next 无意义(条件队列是单向链表)。
  • PROPAGATE = -3:仅用于共享模式(如 CountDownLatch、Semaphore)。表示“本次 releaseShared 成功后,应继续唤醒后续共享节点”,避免因 CAS 失败导致唤醒遗漏。它只在 doReleaseShared 中短暂出现并快速传播。

状态流转的核心驱动机制

状态不是靠定时轮询或外部调度更新,而是由**节点自身行为 + 前驱/后继协作**触发的原子变更。主要流转路径如下:

  • 新节点入队 → waitStatus 初始化为 0;若前驱是 head,会尝试直接 tryAcquire,失败则将前驱 waitStatus 改为 SIGNAL;
  • 线程检测到前驱为 SIGNAL → 调用 LockSupport.park 挂起自己;挂起前会再次检查 state 和前驱状态,防止错过唤醒;
  • 前驱节点释放锁(release)→ 若后继是 SIGNAL 状态,调用 unparkSuccessor 唤醒它;唤醒后后继节点重新 tryAcquire;
  • await() 执行 → 当前线程节点从同步队列移出,加入条件队列,waitStatus 设为 CONDITION;
  • signal() 执行 → 将条件队列头节点移回同步队列尾部,waitStatus 重置为 0,并尝试设置其前驱为 SIGNAL;
  • 线程中断或超时 → 在 acquireQueued 或 checkInterruptWhileWaiting 中主动将 waitStatus 设为 CANCELLED,并触发 clean-up(如 unlinkCancelledWaiters)。

状态设计背后的工程考量

AQS 不用枚举或对象封装状态,而选择 int 常量 + volatile 字段,是因为:

  • 状态变更必须支持 CAS 操作(如 compareAndSetWaitStatus),int 是 JVM 层最高效支持 CAS 的基本类型;
  • 多个状态可组合使用(例如 CONDITION 和 SHARED 标记通过 nextWaiter 区分,不与 waitStatus 冲突);
  • 负值状态(-1/-2/-3)便于与正常数值(0/1)区分,且在 if 判断中天然支持 “
  • 取消态用正数 1,与其他负值状态形成语义隔离,clean-up 逻辑可统一用 == CANCELLED 判断。

常见误读与注意事项

实际阅读源码时容易混淆的点:

  • waitStatus == 0 不代表“空闲”,只代表“尚未被前驱标记为需唤醒”,它可能正处在 park 前的最后一次检查中;
  • SIGNAL 不是“我已被唤醒”,而是“请在我释放后通知我后继”——它是为前驱服务的状态;
  • 一个节点不会同时处于 CONDITION 和 SIGNAL 状态,因为 CONDITION 节点不在同步队列中,其 prev/next 无效;
  • PROPAGATE 不会持久存在,它只在共享释放的瞬时被写入,随后被后续节点读取并转为 SIGNAL 或继续传播。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关文章

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

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

下载

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

相关专题

更多
java
java

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

2023.06.15

11017

6

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

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

2023.07.05

8122

9

java自学难吗
java自学难吗

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

2023.07.31

7032

8

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

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

2023.08.01

1184

3

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

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

2023.08.02

968

3

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

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

2023.08.02

1436

5

java有什么用
java有什么用

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

2023.08.02

2909

5

java在线网站
java在线网站

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

2023.08.03

20171

3

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

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

2023.08.03

1275

8

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习