AQS

AQS -- 指AbstractQueuedSynchronizer类。

ReentrantLock把所有Lock接口的操作都委派到一个Sync类上，该类继承了AQS.

AbstractQueuedSynchronizer中抽象了绝大多数Lock的功能，而只把tryAcquire方法延迟到子类中实现。

    AQS是java中管理“锁”的抽象类，锁的许多公共方法都是在这个类中实现。AQS是独占锁(例如，ReentrantLock)和共享锁(例如，Semaphore)的公共父类。AQS通过cas实现。

AQS锁的类别 -- 分为“独占锁”和“共享锁”两种。

(01) 独占锁 -- 锁在一个时间点只能被一个线程锁占有。根据锁的获取机制，它又划分为“公平锁”和“非公平锁”。公平锁，是按照通过CLH等待线程按照先来先得的规则，公平的获取锁；而非公平锁，则当线程要获取锁时，它会无视CLH等待队列而直接获取锁。独占锁的典型实例子是ReentrantLock，此外，ReentrantReadWriteLock.WriteLock也是独占锁。

 (02) 共享锁 --能被多个线程同时拥有，能被共享的锁。JUC包中的ReentrantReadWriteLock.ReadLock，CyclicBarrier， CountDownLatch和Semaphore都是共享锁。

共享锁与独占锁均是通过AQS实现的。

 CLH队列是AQS中“等待锁”的线程队列。CLH是锁维护的线程队列。

CLH是一个非阻塞的 FIFO 队列。也就是说往里面插入或移除一个节点的时候，在并发条件下不会阻塞，而是通过自旋锁和 CAS 保证节点插入和移除的原子性。

当使用公平锁时，当前线程aquireLock到锁就直接返回，否则就进入CLH队列休眠等待。

AbstractQueuedSynchronizer会把所有的请求线程构成一个CLH队列，当一个线程执行完毕（lock.unlock()）时会激活自己的后继节点，但正在执行的线程并不在队列中，而那些等待执行的线程全部处于阻塞状态.

 

关于AQS, ReentrantLock 和 sync的关系如下：

public class ReentrantLock implements Lock,java.io.Serializable {

public void unlock() {

   sync.release(1);

}

 

   private final Sync sync;

   abstract static class Sync extends AbstractQueuedSynchronizer {

       ...

    }

   ...

}

Sync又有两个子类：

final static class NonfairSync extendsSync 

final static class FairSync extendsSync 

 

公平锁在尝试获取锁时，即使“锁”没有被任何线程锁持有，它也会判断自己是不是CLH等待队列的表头；是的话，才获取锁。

而非公平锁在尝试获取锁时，如果“锁”没有被任何线程持有，则不管它在CLH队列的何处，它都直接获取锁。只有当非公平锁尝试获取锁失败的时候，它才会像公平锁一样，进入CLH等待队列排序等待。