试想有这么一种场景：有四个线程由于业务需求需要同时占用某资源，但该资源在同一个时刻只能被其中唯一线程所独占。那么此时应该如何标识该资源已经被独占，同时剩余无法获取该资源的线程又该何去何从呢？
这里就涉及到了关于共享资源的竞争与同步关系。对于不同的开发者来说，实现的思路可能会有不同。这时如果能够有一个较为通用的且性能较优同步框架，那么可以在一定程度上帮助开发人员快速有效的完成多线程资源同步竞争方面的编码。
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) { // 初始化一个空节点用于帮助唤醒队列中的第一个有效线程
if (compareAndSetHead(new Node()))
tail = head;
} else {
// 这段逻辑用于考虑多线程并发的场景，如果此时队列中已经有了节点
// 再次尝试将当前节点插至队尾
node.prev = t;
if (compareAndSetTail(t, node)) {
t.next = node;
return t;
}
}
}
}
这段逻辑不复杂：
小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。
深知大多数初中级Java工程师，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！
因此收集整理了一份《2024年最新Java开发全套学习资料》送给大家，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。
由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频
如果你觉得这些内容对你有帮助，可以添加下面V无偿领取！（备注Java）
最后
由于文案过于长，在此就不一一介绍了，这份Java后端架构进阶笔记内容包括：Java集合，JVM、Java并发、微服务、SpringNetty与 RPC 、网络、日志 、Zookeeper 、Kafka 、RabbitMQ 、Hbase 、MongoDB、Cassandra 、Java基础、负载均衡、数据库、一致性算法、Java算法、数据结构、分布式缓存等等知识详解。
本知识体系适合于所有Java程序员学习，关于以上目录中的知识点都有详细的讲解及介绍，掌握该知识点的所有内容对你会有一个质的提升，其中也总结了很多面试过程中遇到的题目以及有对应的视频解析总结。
se 、MongoDB、Cassandra 、Java基础、负载均衡、数据库、一致性算法、Java算法、数据结构、分布式缓存**等等知识详解。
[外链图片转存中…(img-IAJyInc3-1711172770567)]
本知识体系适合于所有Java程序员学习，关于以上目录中的知识点都有详细的讲解及介绍，掌握该知识点的所有内容对你会有一个质的提升，其中也总结了很多面试过程中遇到的题目以及有对应的视频解析总结。
[外链图片转存中…(img-jI5XHC72-1711172770568)]
[外链图片转存中…(img-E1jE8rgl-1711172770569)]
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
