AbstractQueuedSynchronizer

文章 https://www.2cto.com/kf/201608/540926.html 是一篇对 aqs 的底层工作机制写的很好的文章，同时本文也是对该文章的读后总结和心得。

队列同步器 AbstractQueuedSynchronizer （以下简称同步器），是用来构建锁或者其他同步组件的基础框架，它使用了一个 volatile 修饰的变量 state 来维护同步的状态，通过内置的FIFO队列来完成资源获取线程的排队工作。如果某个线程对 state 变量做了改动，则表示该线程获得或者释放了锁，而修改 state 变量是基于 cas 操作的，是安全的。而且获取锁的方式是非常灵活的，支持超时，可中断方式获取锁。如果想使用该同步器，只需继承
AbstractQueuedSynchronizer 即可，至于用户想实现什么样的获取丶释放锁逻辑，用户可以自己去定制。

-是怎么把线程加入到队列的尾部的？
1丶使用获取锁失败的节点生成一个新的节点 node，2丶判断如果 tail 节点不为空，把 node 的前驱节点 prev 指向 tail，使用 CAS 操作把 node 节点设置为 tail，把原 tail 节点的，后继节点（next）指向 node，并返回 node，3丶如果尾节点 tail 为空（意外着 head 也是空），则循环设置，先创建一个新的节点，然后设置头尾节点为同一个节点（tail == head），重复 2 步骤

-等待中的队列是怎样实现自旋的？
把节点加入到尾节点 tail 后就会让该节点进入自旋状态（调用 acquireQueued 方法），1丶调用该方法之后就会进入自旋状态（for 无限循环），2丶不断的去判断当前节点是否为 head，并且去尝试获取同步状态，3丶把当前节点设置为 head ，并把自己的节点的后继节点设置为空，4丶然后判断获取同步状态失败后是否需要阻塞

-是怎么唤醒后续的线程的？
即当一个线程释放同步状态的时候，会唤醒后继节点；1丶首先更新当前正在运行节点的等待状态，2丶拿到当前节点的后继节点（next），3丶如果该节点不为空且没有中断或者取消等待，获取后继节点（next） s，唤醒后继节点 LockSupport.unpark(s.thread)。当waitStatus 值为 1，由于在等待队列中的线程等待超时或者被中断，需要从同步队列中取消等待，节点进入该状态将不会再变化

-超时机制是怎么做的？
超时机制就是在原有获取锁的基础上外加一个 for 循环，不断的尝试去获取锁，并在设置的时间内返回获取锁的结果