J.U.C核心之AQS

AQS是什么

AbstractQueuedSynchronizer抽象同步队列简称AQS，它是实现同步器的基础组件，并发包中锁的底层就是使用AQS实现的。

AQS是一个FIFO的双向队列，它有以下几个重要的字段、方法及内部类：
字段：

• state：同步状态
• exclusiveOwnerThread：锁的持有者
• head：队列首节点
• tail：队列尾节点

内部类Node：
字段：

• thread：用来存放进入AQS队列里面的线程
• SHARED：标记是获取共享资源时被阻塞挂起后放入AQS队列的Node节点
• EXCLUSIVE：标记是获取独占资源时被阻塞挂起后放入AQS队列的Node节点
• waitStatus：当前线程的等待状态
  CANCELLED = 1：线程被取消
  SIGNAL = -1：线程需要被唤醒
  CONDITION = -2：线程在队列里面等待
  PROPAGATE = -3：释放共享资源时需要通知其他节点
• prev：前驱节点
• next：后置节点

内部类ConditionObject

当一个线程在获得锁时，AQS会使用CAS操作把state状态值从0变为1，然后设置锁的持有者（exclusiveOwnerThread）为当前线程。
其它线程再次获得该锁时会调用acquire()方法

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

acquire()方法中首先会使用tryAcquire()方法尝试获取资源

protected final boolean tryAcquire(int acquires) {
    return nonfairTryAcquire(acquires);
}

final boolean nonfairTryAcquire(int acquires) {
    final Thread current = Thread.currentThread();
    int c = getState();
    if (c == 0) {
        if (compareAndSetState(0, acquires)) {
            setExclusiveOwnerThread(current);
            return true;
        }
    }
    else if (current == getExclusiveOwnerThread()) {
        int nextc = c + acquires;
        if (nextc < 0) // overflow
            throw new Error("Maximum lock count exceeded");
        setState(nextc);
        return true;
    }
    return false;
}

大致逻辑是设置state变量的值，成功则直接返回，失败则将当前线程封装为类型为Node.EXCLUSIVE的Node节点后，插入到AQS阻塞队列的尾部，然后调用LockSupport.park(this)方法挂起自己。

当一个线程在释放锁时，会调用AQS的tryRelease()方法释放资源，将state变量的值-1，然后调用LockSupport.unpark()方法激活AQS队列里面被阻塞的一个线程。被激活的线程则使用tryAcquire尝试，看当前状态变量state的值是否满足自己的需要，满足则该线程被激活继续往下执行，否正还是会被AQS队列挂起。

public final boolean release(int arg) {
    if (tryRelease(arg)) {
        Node h = head;
        if (h != null && h.waitStatus != 0)
            unparkSuccessor(h);
        return true;
    }
    return false;
}