1.AQS是什么？
AbstractQueuedSynchronizer简称AQS，抽象队列同步器。
是用来构建锁或者其他同步器组件的重量级基础框架及整个JUC体系的基石，通过内置的FIFO队列来完成资源获取线程的排队工作，并通过一个int类型变量表示持有锁的状态。
2.为什么AQS是JUC的基石？
- 和AQS有关的：ReentrantLock，CountDownLatch，ReentrentReadWriteLock，Semaphore等。
- 进一步理解锁和同步器的关系：
- 锁，面向锁的使用者：定义了程序员和锁交互的使用API，隐藏了实现细节，调用即可。
- 同步器，面向锁的实现者：比如Java并发大神Douglee，提出统一规范并简化了锁的实现，屏蔽了同步状态管理，阻塞线程排队和通知，唤醒机制等。
3.能干嘛？
加锁会导致阻塞，有阻塞就需要排队，实现排队必然需要有某种形式的队列来进行管理。
抢到资源的线程直接使用办理业务，抢占不到资源的线程的必然涉及一种排队等候机制，抢占资源失败的线程继续去等待(类似办理窗口都满了，暂时没有受理窗口的顾客只能去候客区排队等候)，仍然保留获取锁的可能且获取锁流程仍在继续(候客区的顾客也在等着叫号，轮到了再去受理窗口办理业务）。
既然说到了排队等候机制，那么就一定会有某种队列形成，这样的队列是什么数据结构呢?
如果共享资源被占用，就需要一定的阻塞等待唤醒机制来保证锁分配。这个机制主要用的是CLH队列的变体实现的，将暂时获取不到锁的线程加入到队列中，这个队列就是AQS的抽象表现。它将请求共享资源的线程封装成队列的结点(Node) ，通过CAS、自旋以及LockSuport.park()的方式，维护state变量的状态，使并发达到同步的效果。
4.AQS初识
官方解释：为实现阻塞锁和相关同步器提供一个框架，它是一个依赖先进先出的一个等待。依靠单个原子int值来表示状态，通过占用和释放方法，改变状态值。
AQS使用一个volatile的int类型的成员变量来表示同步状态，通过内置的FIFO队列来完成资源获取的排队工作将每条要去抢占资源的线程封装成一个Node节点来实现锁的分配，通过CAS完成对state值的修改。
5.AQS内部体系架构
6.内部类Node
内部结构：
属性说明：
7.AQS同步队列的基本结构
8.AQS源码解读案例图示
