概念
AQS是AbstarctQueuedSynchronizer 的简称 ，是一个用于构建锁和同步容器的框架。
juc并发 包内许多类都是基于 AQS 构建的
- ReentrantLock
- ReentrantReadWriteLock
- FutureTask
AQS 解决了在实现同步容器时大量的细节问题。
- AQS 使用一个 FIFO 队列表示排队等待锁的线程，队列头结点称作 “哨兵节点” ，它不与任何线程关联。
- 其他的节点与等待线程关联，每个阶段维护一个等待状态 waitStatus。
功能
- 独占锁：每次只能有一个线程持有锁， ReentrantLock 就是以独占方式实现的互斥锁；
- 共享锁：允许多个线程同时获取锁，并发访问共享资源，比如 ReentrantReadWriteLock。
内部原理
AQS 的实现依赖内部的同步队列，也就是 FIFO 的双向队列，如果当前线程竞争锁失败，那么 AQS 会把当前线程以及等待状态信息构造成一个 Node 加入到同步队列中，同时再阻塞该线程。当获取锁的线程释放锁以后，会从队列中唤醒一个阻塞的节点 (线程)。
一个节点表示一个线程，它保存着线程的引用（thread）、状态（waitStatus）、前驱节点（prev）、后继节点（next），其实就是个双端双向链表
- AQS 队列内部维护的是一个 FIFO 的双向链表，这种结构的特点是每个数据结构都有两个指针，分别指向直接的后继节点和直接前驱节点。
- 双向链表可以从任意一个节点开始，很方便的访问前驱和后继。
- 每个 Node 其实是由线程封装，当线程争抢锁失败后会封装成 Node 加入到 ASQ 队列中去。
工作流程
添加线程
当出现锁竞争以及释放锁的时候，AQS 同步队列中的节点会发生变化
- 队列操作的变化：新的线程封装成 Node 节点追加到同步队列中，设置 prev 节点以及修改当前节点的前置节点的 next 节点指向自己；
- tail 指向变化：通过同步器将 tail 重新指向新的尾部节点。
销毁线程
第一个 head 节点表示获取锁成功的节点，当头结点在释放同步状态时，会唤醒后继节点，如果后继节点获得锁成功，会把自己设置为头结点
- head 节点指向：修改 head 节点指向下一个获得锁的节点；
- 新的获得锁的节点：第二个节点被 head 指向了，此时将 prev 的指针指向 null，因为它自己本身就是第一个首节点，所以 pre 指向 null。
AQS 与 ReentrantLock 的联系
ReentrantLock 是根据 AQS 实现的独占锁，提供了两个构造方法
public ReentrantLock() {
sync = new NonfairSync();
}
public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}
ReentrantLock 有三个内部类：Sync，NonfairSync，FairSync
这三个内部类都是基于 AQS 进行的实现，所以ReentrantLock 是基于 AQS 进行的实现。
ReentrantLock 提供两种类型的锁：
- 公平锁-FairSync
- 非公平锁-NonfairSync
- 默认实现是 NonFairSync。
