AQS

有一篇 大佬的文章:https://www.cnblogs.com/micrari/p/6937995.html

1、AQS

Sync的父类AbstractQueuedSynchronizer经常被称作队列同步器（AQS），这个类非常重要，该类的父类是AbstractOwnableSynchronizer。

2、AQS的实现原理是什么

此处的锁具备synchronized功能，即可以阻塞一个线程。为了实现一把具有阻塞或唤醒功能的锁，需要几个核心要素：

1. 需要一个state变量，标记该锁的状态。state变量至少有两个值：0、1。对state变量的操作，使用CAS保证线程安全。
2. 需要记录当前是哪个线程持有锁。
3. 需要底层支持对一个线程进行阻塞或唤醒操作。
4. 需要有一个队列维护所有阻塞的线程。这个队列也必须是线程安全的无锁队列，也需要使用CAS。

针对要素1和2，在上面两个类中有对应的体现：

state取值不仅可以是0、1，还可以大于1，就是为了支持锁的可重入性。例如，同样一个线程，调
用5次lock，state会变成5；然后调用5次unlock，state减为0。 当state=0时，没有线程持有锁，exclusiveOwnerThread=null； 当state=1时，有一个线程持有锁，exclusiveOwnerThread=该线程；
当state > 1时，说明该线程重入了该锁。
对于要素3，Unsafe类提供了阻塞或唤醒线程的一对操作原语，也就是park/unpark。

有一个LockSupport的工具类，对这一对原语做了简单封装：

在当前线程中调用park()，该线程就会被阻塞；在另外一个线程中，调用unpark(Thread
thread)，传入一个被阻塞的线程，就可以唤醒阻塞在park()地方的线程

unpark(Thread thread)，它实现了一个线程对另外一个线程的“精准唤醒”。notify也只是唤醒某一
个线程，但无法指定具体唤醒哪个线程。
针对要素4，在AQS中利用双向链表和CAS实现了一个阻塞队列。如下所示：

阻塞队列是整个AQS核心中的核心。如下图所示，head指向双向链表头部，tail指向双向链表尾
部。入队就是把新的Node加到tail后面，然后对tail进行CAS操作；出队就是对head进行CAS操作，把
head向后移一个位置。

初始的时候，head=tail=NULL；然后，在往队列中加入阻塞的线程时，会新建一个空的Node，让
head和tail都指向这个空Node；之后，在后面加入被阻塞的线程对象。所以，当head=tail的时候，说
明队列为空。

3、 java API中哪些类中使用了AQS