HoRain云--揭秘AQS：ReentrantLock高效锁机制
🎬 HoRain 云小助手：个人主页
⛺️生活的理想，就是为了理想的生活!
⛳️ 推荐
前些天发现了一个超棒的服务器购买网站，性价比超高，大内存超划算！忍不住分享一下给大家。点击跳转到网站。
目录
⛳️ 推荐
🔧 加锁流程详解
🔄 解锁与传递
⚖️ 关键机制与设计思想
💡 总结与实践
AbstractQueuedSynchronizer（AQS）是Java并发包中构建锁和同步器的核心框架。理解它最好的方式，就是通过一个具体的锁实现来看其运作机制。下面这个表格清晰地展示了ReentrantLock与AQS的协作关系，帮你快速抓住核心。
组件/角色 | 在 | 核心职责 |
|---|---|---|
AQS (AbstractQueuedSynchronizer) | 内部类 | 提供同步状态管理、线程阻塞队列（CLH变体） 和线程阻塞/唤醒的底层框架。 |
State (同步状态) | AQS 中的 | 对 |
独占模式 (Exclusive) |
| 同一时间只能有一个线程获取锁。 |
尝试获取/释放锁 (TryAcquire/Release) | 由 | 定义公平/非公平策略下，如何具体地获取和释放锁。 |
线程排队队列 (CLH Queue) | AQS 内部维护的 FIFO 双向链表（ | 存放获取锁失败的线程，形成一个等待队列，确保锁分配的公平性。 |
🔧 加锁流程详解
当你调用lock.lock()时，其内部流程清晰地展示了AQS如何运作。
首次争抢（非公平锁为例）
线程A首先会直接尝试利用CAS操作将state从0改为1。如果成功，表示它立刻抢到了锁，并将独占线程设置为自身。这种“插队”行为是非公平锁的典型特征，旨在减少线程切换的开销，提升性能。
争抢失败，进入队列
如果线程A已持有锁，此时线程B来争抢，CAS操作会失败。随后会调用AQS的
acquire(1)方法。这个方法是一个模板方法，其核心逻辑是：tryAcquire：再次尝试获取锁。对于非公平锁，它仍然会直接尝试CAS抢锁。对于公平锁，它会先检查等待队列中是否有前辈（hasQueuedPredecessors()），如果没有，才会尝试CAS。这即是公平与非公平的核心区别。addWaiter：如果tryAcquire失败，线程B会被包装成一个Node节点，然后以线程安全（CAS） 的方式加入到等待队列的尾部。acquireQueued：入队后的线程B会进入一个自旋循环。在这个循环中，它会检查自己是否是队列中的第二个节点（即头节点的后继节点）。如果是，它会再次尝试tryAcquire。如果不是，或者尝试失败，它就会阻塞自己（通过LockSupport.park()），等待被唤醒。
处理可重入
如果线程A已经持有锁，再次调用
lock()，这就是可重入。此时，tryAcquire会检查当前线程是否是独占线程，如果是，则将state简单地加1。因此，state的值就代表了该线程重入锁的次数。
🔄 解锁与传递
解锁过程（lock.unlock()）则相对直接，展示了锁如何安全地在线程间传递。
释放锁
线程A调用
unlock()，会触发tryRelease方法。该方法会将state减1。只有当state被减为0时，才表示锁被完全释放（即重入次数已清零）。唤醒后继
如果锁被完全释放，AQS会找到等待队列的头节点（它是一个空节点或已取消的节点），然后唤醒其后的第一个有效等待节点（即线程B）。
后继线程获取锁
线程B被唤醒后，会从之前
acquireQueued中的阻塞点继续执行，再次尝试tryAcquire。此时锁已被释放，线程B成功获取锁，并将自己设置为新的头节点，从而出队。
⚖️ 关键机制与设计思想
公平 vs. 非公平：根本区别在于新来的线程是否会检查并尊重等待队列。非公平锁允许“插队”，吞吐量通常更高；公平锁则严格遵循FIFO，避免了“饥饿”现象。
CAS与线程安全：无论是修改state，还是向队列添加节点，AQS都大量使用CAS操作来保证并发环境下的线程安全，这是实现无锁化竞争的基础。
线程阻塞与唤醒：AQS使用
LockSupport.park()和unpark()来阻塞和唤醒线程，这是比Object.wait()/notify()更底层、更灵活的原语。
💡 总结与实践
AQS通过一个状态（state） 和一个FIFO队列，构建了一个强大且灵活的同步器框架。ReentrantLock只是其一个经典应用。基于AQS，你还可以实现信号量（Semaphore）、栅栏（CountDownLatch）等复杂的同步工具。
简单来说，AQS就像是一个高度定制化的“排队管理器”：它定义好了排队的规则、休息区的管理以及何时叫下一个号的流程，而具体的“服务窗口”（如ReentrantLock）则只需决定什么样的顾客（线程）可以被立刻服务（获取锁）。
希望这个结合ReentrantLock的解析能帮助你透彻地理解AQS的工作原理！如果你对AQS的共享模式（如Semaphore）或Condition条件队列感兴趣，我们可以继续深入探讨。
❤️❤️❤️本人水平有限，如有纰漏，欢迎各位大佬评论批评指正！😄😄😄
💘💘💘如果觉得这篇文对你有帮助的话，也请给个点赞、收藏下吧，非常感谢!👍 👍 👍
🔥🔥🔥Stay Hungry Stay Foolish 道阻且长,行则将至,让我们一起加油吧！🌙🌙🌙