这篇文章写完放着也蛮久的了,今天终于发布了,对于拖延症患者来说也真是不容易~哈哈哈。
言归正传,其实吧。。我觉得对于大部分想了解 AQS 的朋友来说,明白 AQS 是个啥玩意儿以及为啥需要 AQS,其实是最重要的。就像我一开始去看 AQS 的时候,抱着代码就啃,看不懂就去网上搜。。但是网上文章千篇一律。。大部分都是给你逐行分析下代码然后就没了。。。但其实对我们来说我知道为啥要这么干其实也相当重要。。
嗯。。所以就有了这篇文章。。笔者会先给你介绍下 AQS 的作者为啥要整这个东西。。然后笔者再结合自身感悟给你划了划重点。。如果你认真读了。。肯定会有所收获的哦
试想有这么一种场景:有四个线程由于业务需求需要同时占用某资源,但该资源在同一个时刻只能被其中唯一线程所独占。那么此时应该如何标识该资源已经被独占,同时剩余无法获取该资源的线程又该何去何从呢?
这里就涉及到了关于共享资源的竞争与同步关系。对于不同的开发者来说,实现的思路可能会有不同。这时如果能够有一个较为通用的且性能较优同步框架,那么可以在一定程度上帮助开发人员快速有效的完成多线程资源同步竞争方面的编码。
AQS 正是为了解决这个问题而被设计出来的。AQS 是一个集同步状态管理、线程阻塞、线程释放及队列管理功能与一身的同步框架。其核心思想是当多个线程竞争资源时会将未成功竞争到资源的线程构造为 Node 节点放置到一个双向 FIFO 队列中。被放入到该队列中的线程会保持阻塞直至被前驱节点唤醒。值得注意的是该队列中只有队首节点有资格被唤醒竞争锁。
从以下几个点切入翻阅 AQS 源码,那就相当如鱼得水了:
-
同步状态的处理
-
FIFO 队列的设计,如何处理未竞争到资源的线程
-
竞争失败时线程如何处理
-
共享资源的释放
后面的章节主要会结合 AQS 源码,介绍下独占模式下锁竞争及释放相关内容。
private volatile int state;
翻阅下 AQS 源码,不难发现有这么一个 volatile 类型的 state 变量。通俗的说这个 state 变量可以用于标识当前锁的占用情况。打个比方:当 state 值为 1 的时候表示当前锁已经被某线程占用,除非等占用的锁的线程释放锁后将 state 置为 0,否则其它线程无法获取该锁。这里的 state 变量用 volatile 关键字保证其在多线程之间的可见性。
protected boolean tryAcquire(int arg) {
throw new UnsupportedOperationException();
}
protected boolean tryRelease(int arg) {
throw new UnsupportedOperationException();
}
同时,我们发现 AQS 预留了个口子可以供开发人员按照自身需求进行二次重构。因此也就出现了类似与 ReentrantLock 可重入锁、CountDownLatch 等实现。
对于整个 AQS 框架来说,队列的设计可以说重中之重。那么为什么 AQS 需要一个队列呢?
对于一个资源同步竞争框架来说,如何处理没有获取到锁的线程是非常重要的,比方说现在有 ABCD 四个线程同时竞争锁,其中线程 A 竞争成功了。那么剩下的线程 BCD 该咋办呢?
我们可以尝试试想下自己会如何解决:
-
线程自旋等待,不断重新尝试获取锁。这样虽然可以满足需求,但是众多线程同时自旋等待实际上是对 CPU 资源的一种浪费,这么做不太合适。
-
将线程挂起,等待锁释放时唤醒,再竞争获取。如果等待的线程比较多,同时被唤醒可能会发生“惊群”问题。
上面两种方法的可行性其实都不太高,对于一个同步框架来说,当有多个线程尝试竞争资源时,我们并不希望所有的线程同时来竞争锁。而且更重要的是,能够有效的监控当前处于等待过程中的线程也十分必要
。那么这个时候借助 FIFO 队列管理线程,既可以有效的帮助开发者监控线程,同时也可以在一定程度上减少饥饿问题出现的概率(线程先入先出)。
除此之外 AQS 中用于存放线程的队列还有以下几点考量:
- Node 节点的设计
-
前驱、后继节点,分别保存当前节点在队列中的前驱节点和后继节点
-
节点状态:节点拥有不同的状态可以帮助我们更好的管理队列中的线程。在本文中我们只讨论 SIGNAL 和 CANCEL 状态。当前驱节点的状态为 SIGNAL 时,表示当前节点可以被安全挂起,锁释放时当前线程会被唤醒去尝试重新获取锁;CANCEL 状态表示当前线程被取消,无需再尝试获取锁,可以被移除队列
// 线程被取消
static final int CANCELLED = 1;
// 后续线程在锁释放后可以被唤醒
static final int SIGNAL = -1;
// 当前线程在 condition 队列中
static final int CONDITION = -2;
// 没有深入体会,表示下一次共享式同步状态获取将会无条件被传播下去
static final int PROPAGATE = -3;
-
AQS 中的双向线程队列 由于 Node 前驱和后继节点的存在。这里保存 Node 的队列实际上是一个双向队列。在这个队列里前驱节点的存在会更重要些:
当前新节点被插入到队列中时,如果前驱节点状态为取消状态。我们可以通过前驱节点不断往前回溯,完成一个类似滑动窗口的功能,跳过无效线程
,从而帮助我们更有效的管理等待队列中线程。而且上面也提过了,等待线程都放在队列中,一方面可以管控等待线程,另一方面也可以减少饥饿现象发生的概率。 -
HEAD 和 TAIL HEAD 和 TAIL 节点分别指向队列的首尾节点。当第一次往队列中塞入一个新的节点时会构造一个虚拟节点作为 HEAD 头节点。为什么需要虚拟的 HEAD 头节点呢?因为在 AQS 的设计理念中,当前节点能够安心自我阻塞的前提条件是前驱节点在释放锁资源时,能够唤醒后继节点。
而插入到第一个队列中的节点,没有前驱节点怎么办,我们就构造一个虚拟节点来满足需求
。
同时 HEAD 和 TAIL 节点的存在加上双向队列的设计,整体的队列就显的非常灵活。
这一章节开始我们将结合源码对 AQS 获取锁的流程进行讨论。
public final void acquire(int arg) {
if (!tryAcquire(arg) &&
acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
selfInterrupt();
}
acquire 方法用于获取锁,这里可以拆解为三步:
-
tryAcquired: 看名字就知道用于尝试获取锁,并不保证一定可以获取锁,具体逻辑由子类实现。如果在这一步成功获取到了锁,后面的逻辑也就没有必要继续执行了。
-
addWaiter:
尝试竞争锁资源失败后,我们就要考虑将这个线程构造成一个节点插入到队列中了
。这里的 addWaiter() 方法会将当前线程包装成一个 Node 节点后,维护到 FIFO 双向队列中。
private Node addWaiter(Node mode) {
// 将当前线程包装成一个 Node 节点
Node node = new Node(Thread.currentThread(), mode);
Node pred = tail;
// 如果 tail 节点不为空:新节点的前驱指向 tail,原尾节点的后继指向当前节点,当前节点成为新的尾节点
if (pred != null) {
node.prev = pred;
if (compareAndSetTail(pred, node)) {
pred.next = node;
return node;
}
}
// 第一次往队列中新增节点时,会执行 enq 方法
enq(node);
return node;
}
private Node enq(final Node node) {
for (;😉 {
// head 和 tail 在初始情况下都为 null
Node t = tail;
if (t == null) { // 初始化一个空节点用于帮助唤醒队列中的第一个有效线程
小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数初中级Java工程师,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年最新Java开发全套学习资料》送给大家,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频
如果你觉得这些内容对你有帮助,可以添加下面V无偿领取!(备注Java)
最后
分享一些资料给大家,我觉得这些都是很有用的东西,大家也可以跟着来学习,查漏补缺。
《Java高级面试》
《Java高级架构知识》
《算法知识》
你有帮助,可以添加下面V无偿领取!(备注Java)**
[外链图片转存中…(img-j5ehfP4q-1710413189919)]
最后
分享一些资料给大家,我觉得这些都是很有用的东西,大家也可以跟着来学习,查漏补缺。
《Java高级面试》
[外链图片转存中…(img-qSZasX8z-1710413189919)]
《Java高级架构知识》
[外链图片转存中…(img-SePLH0kD-1710413189919)]
《算法知识》
[外链图片转存中…(img-j9yBDurN-1710413189920)]