简介:
AQS全称 AbstractQueuedSynchronizer，提供了一个基于FIFO(先进先出)队列，可以用于构建锁或者其他相关同步装置的基础框架。
ReentrantLock、Semaphore、CountDownLatch、FutrueTask，这些都是基于AQS构建的。
而AQS是基于volatile变量的读/写和CAS( 也就是compareAndSet()方法 )实现的。
volatile可以保证并发中的可见性，还可以禁止指令重排序。CAS，用于管理对共享数据的并发访问。
状态信息state：
AQS的子类通过继承AQS并实现它的方法来管理其状态，管理的方式就是通过类似acquire()和release()的方式来操纵状态。
acquire()获取状态、维护状态。release()释放状态。
AQS这个同步器利用了一个int整数来表示状态信息。
状态信息state用volatile修饰，可以通过getState()，setState()以及compareAndSetState()等方法来进行操作。
状态信息state在不同的AQS子类中有不同的含义，比如在信号量Semaphore中，每次acquire()就会使state减一，而每次release()就会使state加一。
在其他的子类中，acquire()、release()具体含义也是不同的。
FIFO队列：
内部的FIFO队列通过内部类Node实现。
队列中的元素Node就是保存着线程引用和线程状态的容器，每个线程对同步器的访问，都可以看做是队列中的一个节点。
Node类的结构如下：
int waitStatus 表示节点的状态。其中包含的状态有：
- CANCELLED，值为1，表示当前的线程被取消；
- SIGNAL，值为-1，表示当前节点的后继节点包含的线程需要运行，也就是unpark；
- CONDITION，值为-2，表示当前节点在等待condition，也就是在condition队列中；
- PROPAGATE，值为-3，表示当前场景下后续的acquireShared能够得以执行值为0，表示当前节点在sync队列中，等待着获取锁。
Node prev 前驱节点，比如当前节点被取消，那就需要前驱节点和后继节点来完成连接。
Node next 后继节点。
Node nextWaiter 存储condition队列中的后继节点。
Thread thread 入队列时的当前线程。
ConditionObject:
而另一个内部类ConditionObject实现了Condition接口，并且实现了其中的await(),signal(),signalALL()等方法。
ConditionObject主要是为并发编程中的同步提供了等待通知的实现方式，可以在不满足某个条件的时候挂起线程等待。直到满足某个条件的时候在唤醒线程。
参考博客：