HoRain 云小助手个人主页⛺️生活的理想就是为了理想的生活!⛳️ 推荐前些天发现了一个超棒的服务器购买网站性价比超高大内存超划算忍不住分享一下给大家。点击跳转到网站。目录⛳️ 推荐 加锁流程详解 解锁与传递⚖️ 关键机制与设计思想 总结与实践AbstractQueuedSynchronizerAQS是Java并发包中构建锁和同步器的核心框架。理解它最好的方式就是通过一个具体的锁实现来看其运作机制。下面这个表格清晰地展示了ReentrantLock与AQS的协作关系帮你快速抓住核心。组件/角色在ReentrantLock中的体现核心职责AQS (AbstractQueuedSynchronizer)​内部类Sync继承自 AQS提供同步状态管理、线程阻塞队列CLH变体​ 和线程阻塞/唤醒的底层框架。State (同步状态)​AQS 中的volatile int state字段对ReentrantLock而言state0表示锁空闲state0表示锁被占用且数值代表锁的重入次数。独占模式 (Exclusive)​ReentrantLock是独占锁同一时间只能有一个线程获取锁。尝试获取/释放锁 (TryAcquire/Release)​由Sync的子类 (NonfairSync,FairSync) 实现定义公平/非公平策略下如何具体地获取和释放锁。线程排队队列 (CLH Queue)​AQS 内部维护的 FIFO 双向链表head,tail存放获取锁失败的线程形成一个等待队列确保锁分配的公平性。 加锁流程详解当你调用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 道阻且长,行则将至,让我们一起加油吧