JAVA并发编程(10)-队列同步器(AQS)的实现原理

上一篇中，我们说到了AQS封装了一些列的底层操作，包括通过阻塞队列实现阻塞的获取锁、超时获取锁、获取共享锁等。那么AQS是如何实现这些操作的呢？
阻塞队列－实现同步的关键
AQS中维护了FIFO的一个阻塞队列，在属性中保存了队列的head节点和 tail节点引用，如下：

当一个线程获取同步状态失败时，就会用当前线程构造一个队列节点，调用ＡＱＳ提供的：compareAndSetTail(Node expect,Node　update)　方法，追加到队列的尾部。
每个节点中都包含了waitstatus prev next nextwarter thread 几个属性，具体如下图：

队列中的首节点就是获取到锁的线程节点，同时首节点在释放锁时会唤醒首节点的下一个节点，来获取锁，如果下一个节点获取成功，就将自己设置首节点（这里因为没有并发操作不需要ＣＡＳ操作）。这样就实现了ＦＩＦＯ。

ＡＱＳ独占式同步状态获取与释放实现
在ＡＱＳ中可以通过ａｃｑｕｉｒｅ　方法来实现独占式的获取同步状态。具体代码如下：

可以看到首先调用　ｔｒｙａｃｑｕｉｒｅ方法获取同步状态，如果没有成功　那么
１　构造一个独占式节点，调用　ａｄｄＷａｉｔｅｒ方法，追加到同步队列尾部　（调用compareAndSetTail(Node expect,Node　update)
２　调用ａｃｑｉｒｅＱｕｅｕｅｄ方法　让当前线程再次自旋获取同步状态，这时的自旋，会判断当前节点前置节点是否为ｈｅａｄ节点如果不是则当前线程没有机会获取同步状态，如果获取失败（自旋也有一定的判断条件如果一定条件下比如处理器很忙的情况下自旋了１００ｍｓ　还是没有获取到　那就认定为自旋获取失败）那么就（调用ｌｏｃｋＳｕｐｐｏｒｔ的ｐａｒｋ方法）挂起当前线程。这样当前线程就阻塞在同步队列中了。阻塞后就只能依赖前置节点的出队（锁释放）或线程中断来唤醒这个线程。
ａｄｄＷａｉｔｅｒ方法和ａｃｑｉｒｅＱｕｅｕｅｄ方法　源码如下：

释放同步状态调用方法　ｒｅｌｅａｓｅ方法。如下

这里直接调用　ｔｒｙＲｅｌｅａｓｅ方法释放同步状态，则唤醒后继节点。并返回ｔｒｕｅ　否则返回ｆａｌｓｅ。由于释放锁的操作只有获取到锁的线程可以调用，所以这里不存在竞争，也不需要进行同步处理

疑问１：如果同步队列中的有３个节点正在等待锁，这个时候又来一个线程，同时这个时候ｈｅａｄ释放了锁，那么新来的线程和同步队列中的第二个节点开始竞争锁。万一新来的线程竞争成功。会怎样呢？
　　先来的线程执行逻辑，并在执行完成后释放锁，由于第二个节点还没有获取到锁，所以　ｈｅａｄ节点仍然是原来的ｈｅａｄ节点，第二个节点自旋获取锁失败后再次ｐａｒｋ起来。待新来的线程释放锁时会再次唤醒第二个节点。
　　
疑问２　如果线程Ａ线获取到了锁，开始执行逻辑（由于没有竞争所以不进入同步队列），这个时候线程Ｂ来获取锁，获取失败就会进入等待队列，并尝试将自己设置为ｈｅａｄ节点。这个时候线程Ａ释放锁，同时线程Ｃ也来竞争锁，线程Ｂ也开始竞争锁，但是线程Ｃ竞争成功并执行逻辑，同时线程Ｂ自旋获取锁失败ｐａｒｋ起来，这个时候线程Ｃ释放锁，会唤醒线程Ｂ吗？

疑问３　同步队列是ＦＩＦＯ为什么锁默认都是非公平的，不应该是公平的吗？
　
共享式同步状态获取与释放
共享式同步状态就是同一时刻可以多条线程同时获取同步状态。比如读写锁，可以同时又多个线程进行读操作。但是读操作和写操作互斥。写操作同一时刻只能由一个线程来进行。
ＡＱＳ通过acquireShared(int arg)方法获取共享式同步状态，代码如下：

可以看到和获取独占式同步状态类似，调用tryAcquireShared(arg)获取同步状态失败后
１　构造一个共享式节点，并调用addWaiter追加到同步队列尾部
２　自旋判断如果前置节点是ｈｅａｄ节点那么就尝试获取同步状态，　自旋获取状态失败则挂起。

ＡＱＳ通过releaseShared(int arg)方法获取共享式同步状态，代码如下：

同独占式同步状态的释放，同步状态释放成功后会唤醒后续等待的节点。

疑问１　由于共享式同步状态是共享式的，所以释放的时候应该是唤醒所有的共享式的节点，而不是只唤醒ｈｅａｄ节点后的节点，怎么实现的？

独占式超时获取同步状态

ＡＱＳ通过ａcquireNanos(int arg, long nanosTimeout)　方法实现独占式超时获取同步状态，该方法获取同步状态失败后会调用ｄｏＡcquireNanos(int arg, long nanosTimeout)，代码如下：

可以看到和上文类似
１　构造一个共享式节点，并调用addWaiter追加到同步队列尾部
２　追加到尾节点成功后，开始自旋获取锁，同样只有前置节点是ｈｅａｄ节点才有可能获取到同步状态。否则挂起当前线程。但是这个挂起不是无期限挂起而是计算出需要挂起德时间，等到时间后线程自动醒来，并返回ｆａｌｓｅ．

疑问１　线程到时间醒来并返回ｆａｌｓｅ之后，如何处理同步队列中的节点？