AbstractQueuedSynchronizer 维护一个同步变量state，用这个变量来维护锁的状态， 变量值为0表示没有线程加锁，变量值大于0表示有线程加锁了。 对于线程来说， 加锁就是增加这个同步变量，解锁就是释放这个同步变量，增加成功表示加锁成功，线程从此拥有锁。
锁分两种类型， 独占锁和共享锁， 独占锁代表只有一个线程可以加锁成功， 共享锁代表有多个线程可以加锁成功。
线程在竞争失败时（加锁失败）， 会被放到一个同步等待队列（FIFO）中， 当持有锁的线程释放锁时，队列中的节点（线程）就有机会加锁（按顺序加锁）, 加锁成功的节点会从队列中移出（head指向它，但不算在队列中了）。
同步等待队列是一个CLH加锁队列的变种， CLH通常用于队列自旋锁， 同步等待队列使用类似于CLH的控制机制来阻塞加锁的线程，每个节点代表一个线程， 在前驱节点中放置后续线程的控制信息（阻塞、自旋等），每个节点循环读取前驱节点的状态，根据状态来进行自旋或者阻塞自己，已经加锁的节点在释放锁时，需要需要唤醒后继节点。
加入队列时，需要将新节点设置为tail（原子操作）， 出队列时，需要将队列设置为head（也就是说head指向的节点不属于队列）。
代表队列节点的是Node类，它有几个重要成员:
volatile Node prev;
volatile Node next;
volatile int waitStatus;
volatile Thread thread;
thread是节点对应的等待线程，它有可能在自旋，也有可能在阻塞，还有可能被取消了。
prev是节点前驱，它指向前一个节点，主要用来处理节点取消， 在前驱节点对应的线程被取消时（等待超时或者被中断），其正常后继节点通过prev可以向前移动直到链接上正常节点（这总会成功，因为head指向的一定是正常节点）。
next是节点后继，它指向后一个节点， 主要用来实现阻塞机制，当前节点在释放锁或者被取消时，通过next找到后继节点的线程id，然后唤醒它。
waitStatus是节点状态， 它的取值如下：
static final int CANCELLED = 1;
static final int SIGNAL = -1;
static final int CONDITION = -2;
static final int PROPAGATE = -3;
| 节点状态 | 取值 | 说明 |
|---|---|---|
| 0 | 初始值 | |
| CANCELLED | 1 | 线程等待超时或者被中断时，标记为取消状态，一旦节点进入此状态便不会转换到其他状态，实际上一个取消节点对应的线程永远不会被再次阻塞。 |
| SIGNAL | -1 | 表示此节点的后继者已经（或者马上会）被阻塞，所以当前节点在释放锁或者取消的时候， 需要唤醒其后继节点。 |
| CONDITION | -2 | 表示当前线程在条件队列中，当线程从条件队列移动到同步队列时，状态会被设置为0。 |
| PROPAGATE | -3 | 表示下次acquireShared可以无条件传播到后续地点 |
AQS同步器支持独占锁和同步锁， 每种锁使用不同的节点模式：
static final Node SHARED = new Node();
static final Node EXCLUSIVE = null;
Node nextWaiter;
Node(Thread thread, Node mode) { // Used by addWaiter
this.nextWaiter = mode;
this.thread = thread;
}
这里nextWaiter有两个作用，一个是用来指示是否为SHARED模式的节点，一个是在条件队列中使用，指向下一个等待条件的节点。
