AQS：AbstractQueuedSynchronizer，抽象的队列同步器，是用来构建锁或者其它同步器组件的重量级基础框架及整个JUC体系的基石，通过内置的FIFO队列来完成资源获取线程的排队工作，并通过一个int类变量(state)表示持有锁的状态
CLH：Craig、Landin and Hegersten队列，是一个单向链表，AQS中的队列是CLH变体的虚拟双向队列FIFO。
AQS = CLH队列 + state
加锁会导致阻塞，有阻塞就需要排队，实现排队必然需要队列。
抢到资源的线程直接使用处理业务，抢不到资源的必然涉及一种排队等候机制。抢占资源失败的线程继续去等待，但等候线程仍然保留获取锁的可能且获取锁流程仍在继续。
既然说到了排队等候机制，那么就一定会有某种队列形成，这样的队列是什么数据结构呢？
如果共享资源被占用，就需要一定的阻塞等待唤醒机制来保证锁分配。这个机制主要用的是CLH队列的变体实现的，将暂时获取不到锁的线程加入到队列中，这个队列就是AQS的抽象表现。
它将请求共享资源的线程封装成队列的结点（Node），通过CAS、自旋以及LockSupportpark0的方式，维护state变量的状态，使并发达到同步的效果。
AQS使用一个volatile的int类型的成员变量来表示同步状态，通过内置的FIFO队列来完成资源获取的排队工作，将每条要去抢占资源的线程封装成一个Node节点来实现锁的分配，通过CAS完成对State值的修改。
Node的结构
Lock接口的实现类，基本都是通过聚合了一个队列同步器的子类(Sync)完成线程访问控制的