AQS：AbstractQueuedSynchronizer

概念

它维护了一个volatile int state（代表共享资源）和一个FIFO线程等待队列（多线程争用资源被阻塞时会进入此队列）。

state的访问方式有三种:
getState()
setState()
compareAndSetState()

AQS定义两种资源共享方式：Exclusive（独占，只有一个线程能执行，如ReentrantLock）和Share（共享，多个线程可同时执行，如Semaphore/CountDownLatch）。

自定义同步器实现时主要实现以下几种方法

isHeldExclusively()：该线程是否正在独占资源。只有用到condition才需要去实现它。
tryAcquire(int)：独占方式。尝试获取资源，成功则返回true，失败则返回false。
tryRelease(int)：独占方式。尝试释放资源，成功则返回true，失败则返回false。
tryAcquireShared(int)：共享方式。尝试获取资源。负数表示失败；0表示成功，但没有剩余可用资源；正数表示成功，且有剩余资源。
tryReleaseShared(int)：共享方式。尝试释放资源，如果释放后允许唤醒后续等待结点返回true，否则返回false。

源码解析

acquire源码

public finalvoid acquire(int arg) {

  if(!tryAcquire(arg) &&

      acquireQueued(addWaiter(Node.EXCLUSIVE), arg))

    selfInterrupt();

}

函数流程如下：

tryAcquire()尝试直接去获取资源，如果成功则直接返回；

addWaiter()将该线程加入等待队列的尾部，并标记为独占模式；

acquireQueued()使线程在等待队列中获取资源，一直获取到资源后才返回。如果在整个等待过程中被中断过，则返回true，否则返回false。

如果线程在等待过程中被中断过，它是不响应的。只是获取资源后才再进行自我中断selfInterrupt()，将中断补上。

release源码

public final boolean release(int arg) {

  if (tryRelease(arg)) {

    Node h = head;//找到头结点

    if (h != null && h.waitStatus != 0)

      unparkSuccessor(h);//唤醒等待队列里的下一个线程

    return true;

  }

  return false;

}

注意:release()是根据tryRelease()的返回值来判断该线程是否已经完成释放掉资源了！ 所以自义定同步器在实现时，如果已经彻底释放资源(state=0)，要返回true，否则返回false。

acquireShared源码

public final void acquireShared(int arg) {

  if (tryAcquireShared(arg) < 0)

      doAcquireShared(arg);

}

这里tryAcquireShared()依然需要自定义同步器去实现。但是AQS已经把其返回值的语义定义好了：负值代表获取失败；0代表获取成功，但没有剩余资源；正数表示获取成功，还有剩余资源，其他线程还可以去获取。所以这里acquireShared()的流程就是：

tryAcquireShared()尝试获取资源，成功则直接返回；

失败则通过doAcquireShared()进入等待队列，直到获取到资源为止才返回。

releaseShared源码

public final boolean releaseShared(int arg) {

  if (tryReleaseShared(arg)) {//尝试释放资源

    doReleaseShared();//唤醒后继结点

    return true;

  }

  return false;

}

此方法的流程也比较简单，一句话：释放掉资源后，唤醒后继。跟独占模式下的release()相似，但有一点稍微需要注意：独占模式下的tryRelease()在完全释放掉资源（state=0）后，才会返回true去唤醒其他线程，这主要是基于独占下可重入的考量；而共享模式下的releaseShared()则没有这种要求，共享模式实质就是控制一定量的线程并发执行，那么拥有资源的线程在释放掉部分资源时就可以唤醒后继等待结点。

自定义同步器的补充说明

同步类在实现时一般都将自定义同步器（sync）定义为内部类，供自己使用；而同步类自己（Mutex）则实现某个接口，对外服务。当然，接口的实现要直接依赖sync，它们在语义上也存在某种对应关系！！而sync只用实现资源state的获取-释放方式tryAcquire-tryRelelase，至于线程的排队、等待、唤醒等，上层的AQS都已经实现好了，我们不用关心。

除了Mutex，ReentrantLock/CountDownLatch/Semphore这些同步类的实现方式都差不多，不同的地方就在获取-释放资源的方式上。掌握了这点，AQS的核心便被攻破了！