如何通过分析 AQS 信号量传播路径，解析释放资源精准唤醒队列首位线程的原理？

本文共计1339个文字，预计阅读时间需要6分钟。

AQS（AbstractQueuedSynchronizer）的同步队列是严格的FIFO双向链表，节点指向的是已获取资源且正在执行的节点（即已出队节点），而真正等待唤醒的是队列头部的第一个线程节点。释放操作不依赖于遍历，而是直接检查队列头节点的状态，判断其是否满足释放条件（如`waitStatus !=CANCELLED`），然后调用`LockSupport.unpark(node.thread)`唤醒它——这就是精准的来源：

常见错误现象：unparkSuccessor 中跳过 CANCELLED 节点时，若连续多个节点被取消，可能最终唤醒的是 head 后第 N 个节点。这不是 bug，而是设计使然：AQS 不保证唤醒「第一个未取消节点」以外的任何顺序，但保证不会漏掉它。