Node节点五种核心状态为：CANCELLED=1（节点失效）、INITIAL=0（初始状态）、SIGNAL=-1（需唤醒后继）、CONDITION=-2（在条件队列中等待）、PROPAGATE=-3（共享模式下传播唤醒）；状态由节点自身与前后节点协作通过CAS原子更新，不依赖轮询。
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 判断。
常见误读与注意事项
实际阅读源码时容易混淆的点：
立即学习“Java免费学习笔记（深入）”；
- waitStatus == 0 不代表“空闲”，只代表“尚未被前驱标记为需唤醒”，它可能正处在 park 前的最后一次检查中；
- SIGNAL 不是“我已被唤醒”，而是“请在我释放后通知我后继”——它是为前驱服务的状态；
- 一个节点不会同时处于 CONDITION 和 SIGNAL 状态，因为 CONDITION 节点不在同步队列中，其 prev/next 无效；
- PROPAGATE 不会持久存在，它只在共享释放的瞬时被写入，随后被后续节点读取并转为 SIGNAL 或继续传播。
