AQS是JUC并发工具的统一底层引擎，通过volatile int state和FIFO双向链表队列封装线程排队、阻塞唤醒等通用逻辑，子类只需实现tryAcquire等模板方法即可支持独占/共享两种模式。
AQS 是 JUC 并发工具的统一底层引擎，它不直接提供锁或信号量功能，而是把线程排队、状态管理、阻塞唤醒这些重复性高、出错风险大的逻辑全部收口封装，让上层组件只需专注“资源是否可用”这一业务判断。
核心靠一个 state + 一个 FIFO 队列
AQS 内部仅用一个 volatile int state 表示同步状态，比如：
- ReentrantLock 中，state=0 表示未加锁，state=1 表示已加锁，>1 表示重入次数
- Semaphore 中，state 表示剩余许可数
- CountDownLatch 中，state 表示倒计时剩余值
所有对 state 的读写都通过 getState()、setState() 和原子的 compareAndSetState() 完成，保证可见性与原子性。
当线程抢资源失败，AQS 就把它封装成 Node 节点，插入到一个基于双向链表实现的 FIFO 同步队列尾部。这个队列没有独立容器对象，只靠节点间的 prev/next 引用维系，轻量且高效。
立即学习“Java免费学习笔记（深入）”；
两种模式适配不同场景
AQS 抽象出独占式（Exclusive）和共享式（Shared）两种获取逻辑：
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
- 独占式：同一时刻只允许一个线程成功，如 ReentrantLock、ReentrantReadWriteLock 的写锁
- 共享式：多个线程可同时成功，如 Semaphore 的 acquire()、CountDownLatch 的 await()
子类只需实现 tryAcquire()/tryRelease()（独占）或 tryAcquireShared()/tryReleaseShared()（共享），其余排队、挂起、唤醒、超时中断等均由 AQS 框架自动调度。
模板方法统一控制流程
AQS 对外暴露的 acquire()、acquireInterruptibly()、acquireShared() 等方法都是 final 的模板方法，内部严格组织了以下步骤：
- 先调用子类的 tryAcquire 尝试快速获取资源
- 失败则构造节点入队，并检查前驱是否为头节点、是否需挂起自身
- 挂起后由其他线程 release 时唤醒队首节点，再循环尝试
- 整个过程天然支持响应中断、超时等待等高级语义
这种设计让 ReentrantLock 可轻松支持公平/非公平策略，Semaphore 可灵活控制许可数量，CountDownLatch 只需在 countDown() 中 setState(0) 即可批量唤醒全部等待者。
真正做到了“一次编写，多处复用”
从 JDK 5 引入 JUC 开始，Doug Lea 就明确将 AQS 定位为同步器的“底盘”。今天 JUC 中几乎所有显式同步工具——包括 ReentrantLock、Semaphore、CountDownLatch、CyclicBarrier、ReentrantReadWriteLock、SynchronousQueue、FutureTask —— 全部继承自 AQS 或其子类。
它不绑定具体语义，也不预设使用方式，只提供一套稳定、高性能、可扩展的协作骨架。开发者甚至可以基于它几行代码就写出定制化的流控锁或阶段性屏障。
