AQS的原理

AQS（AbstractQueuedSynchronizer）即 抽象队列同步器，是用来构建锁或者其他同步组件的基础框架，它使用了一个int成员变量表示同步状态，通过内置的FIFO队列来完成资源获取线程的排队工作。
抽象队列同步器自身没有实现任何同步接口，它仅仅是定义了若干同步状态获取和释放的方法来供自定义同步组件使用，同步器既可以支持独占式地获取同步状态，也可以支持共享式地获取同步状态。
抽象队列同步器的设计是基于模板方法模式的，自定义同步组件通过调用抽象队列同步器提供的模板方法，而这些模板方法将会调用使用者重写的方法，重写同步器指定的方法时，需要使用同步器提供的如下3个方法来访问或修改同步状态：

• getState()：获取当前同步状态。
• setState(int newState)：设置当前同步状态。
• compareAndSetState(int expect,int update)：使用CAS设置当前状态，该方法能够保证状态设置的原子性。
  同步器提供的模板方法基本上分为3类：独占式获取与释放同步状态、共享式获取与释放同步状态和查询同步队列中的等待线程情况。自定义同步组件将使用同步器提供的模板方法来实现自己的同步语义。

自定义同步器可以重写的方法：

使用抽象队列同步器实现独占锁：

public class MyLock implements Lock{
	private static class MySynchronizer extends AbstractQueuedSynchronizer{
		@override
		protected boolean isHeldExclusively() {//判断锁是否被占用
            return getState() == 1;
        }
        @override
        protected boolean tryAcquire(int acquires) {
        	//尝试获取锁
        }
        @override
        protected boolean tryRelease(int releases){
        	//尝试释放锁
        }
	} 
	private final MySynchronizer ms= new MySynchronizer ();
	......//实现Lock中的方法，使用ms的模板方法
}

例如，在MyLock实现Lock接口中的lock()方法，用于获取锁，只需要在方法实现中调用自定义同步器的模板方法acquire(int args)即可。

抽象队列同步器依赖内部的同步队列（一个FIFO双向队列）来完成同步状态的管理，当前线程获取同步状态失败时，同步器会将当前线程以及等待状态等信息构造成为一个节点（Node）并将其加入同步队列，同时会阻塞当前线程，当同步状态释放时，首节点的线程在释放同步状态时，将会唤醒后继节点，而后继节点将会在获取同步状态成功时将自己设置为首节点。

• 独占式同步状态获取与释放
  通过调用抽象队列同步器的acquire(int arg)方法可以获取同步状态，该方法对中断不敏感，也就是由于线程获取同步状态失败后进入同步队列中，后续对线程进行中断操作时，线程不会从同步队列中移出，该方法代码如下：

public final void acquire(int arg){
	if(!tryAcquire(arg)&&acquireQueued(addWaiter(Node.EXCLUSIVE),arg))
		selfInterrupt();
}

上述代码主要完成了同步状态获取、节点构造、加入同步队列以及在同步队列中自旋等待的相关工作，其主要逻辑是：首先调用自定义同步器实现的tryAcquire(int arg)方法，该方法保证线程安全的获取同步状态，如果同步状态获取失败，则构造同步节点并通过addWaiter(Node node)方法将该节点加入到同步队列的尾部，最后调用acquireQueued(Node node,int arg)方法，使得该节点以“死循环”的方式获取同步状态。如果获取不到则阻塞节点中的线程，而被阻塞线程的唤醒主要依靠前驱节点的出队或阻塞线程被中断来实现。
抽象队列同步器的addWaiter和enq的实现代码如下：

节点进入同步队列之后，就进入了一个自旋的过程（acquireQueued方法），每个节点（或者说每个线程）都在自省地观察，当条件满足，获取到了同步状态，就可以从这个自旋过程中退出，否则依旧留在这个自旋过程中（并会阻塞节点的线程），如代码所示：

在acquireQueued(final Node node,int arg)方法中，当前线程在“死循环”中尝试获取同步状态，而只有前驱节点是头节点才能够尝试获取同步状态。
acquire(int arg)方法调用流程：

下面看下如何释放释放同步状态的：

该方法执行时，会唤醒头节点的后继节点线程，unparkSuccessor(Node node)方法使用LockSupport来唤醒处于等待状态的线程。

• 共享式同步状态获取与释放
  共享式获取与独占式获取最主要的区别在于同一时刻能否有多个线程同时获取到同步状态。
  通过调用同步器的acquireShared(int arg)方法可以共享式地获取同步状态，该方法代码如下:
  
  在acquireShared(int arg)方法中，同步器调用tryAcquireShared(int arg)方法尝试获取同步状态，tryAcquireShared(int arg)方法返回值为int类型，当返回值大于等于0时，表示能够获取到同步状态。因此，在共享式获取的自旋过程中，成功获取到同步状态并退出自旋的条件就是tryAcquireShared(int arg)方法返回值大于等于0。可以看到，在doAcquireShared(int arg)方法的自旋过程中，如果当前节点的前驱为头节点时，尝试获取同步状态，如果返回值大于等于0，表示该次获取同步状态成功并从自旋过程中退出.
  与独占式一样，共享式获取也需要释放同步状态，通过调用releaseShared(int arg)方法可以释放同步状态，该方法代码:
  
  该方法在释放同步状态之后，将会唤醒后续处于等待状态的节点。对于能够支持多个线程同时访问的并发组件（比如Semaphore），它和独占式主要区别在于tryReleaseShared(int arg)方法必须确保同步状态（或者资源数）线程安全释放，一般是通过循环和CAS来保证的，因为释放同步状态的操作会同时来自多个线程。
  共享锁的实现原理：
  https://www.jianshu.com/p/3accad380127
  公平锁与非公平锁：
  https://www.jianshu.com/p/eaea337c5e5b