AQS原理解析

在java的并发包中，提供了各种各样的并发锁（ReentrantLock,CountDownLatch,Semaphore),这些锁的实现都是继承AQS（AbstractQuerySynchronizer）。

AbstractQuerySynchronizer是一个抽象类，他继承了AbstractOwnableSynchronizer和Seriallizade两个类。

其中AbstractOwnableSynchronizer主要包含一个Thread成员，代表获取锁的独有线程。

AQS有个内部类Node，包含一个线程，每个线程来请求锁的时候，封装成一个Node节点，定义如下

static final class Node {    static final Node SHARED = new Node(); //节点处于共享模式    static final Node EXCLUSIVE = null;  //节点处于独占模式    static final int CANCELLED =  1;     static final int SIGNAL    = -1;    static final int CONDITION = -2;    static final int PROPAGATE = -3;    volatile int waitStatus;    volatile Node prev;    volatile Node next;    volatile Thread thread;    Node nextWaiter;    final boolean isShared() {        return nextWaiter == SHARED;    }    final Node predecessor() throws NullPointerException {        Node p = prev;        if (p == null)            throw new NullPointerException();        else            return p;    }}

AQS是把所有竞争锁的线程构成一个双向链表，采用成员变量

private volatile int state;

作为共享变量，由三个方法对该变量进行操作和获取

protected final int getState() {    return state;}

protected final void setState(int newState) {    state = newState;}

protected final boolean compareAndSetState(int expect, int update) {    // See below for intrinsics setup to support this    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);}

其中compareAndsetState方法是使用CAS原理，不明白可以先去看看CAS原理，保证更新内存变量的原子性。

下面主要介绍一下AQS的主要方法

protected boolean tryAcquire(int arg) {    throw new UnsupportedOperationException();}

protected boolean tryRelease(int arg) {    throw new UnsupportedOperationException();}
protected int tryAcquireShared(int arg) {    throw new UnsupportedOperationException();}
protected boolean tryReleaseShared(int arg) {    throw new UnsupportedOperationException();}

这四个方法是AQS的组要方法了，具体实现锁的时候就需要实现其中两个方法。从方法名称知道是一类独占锁实现，一类是共享锁实现。

对于多个线程获取锁时候线程的阻塞等待，AQS已经帮我们实现完成。

注：锁有公平锁和非公平锁的区别，这个主要是有具体的锁实现类来完成。公平锁是指所有竞争锁的线程来了以后一次排在队列后面。

非公平锁是进来以后先去获取资源stat，如果获取成功，得到锁，否则加入队列。

 未完待续......