JUC AQS

       

       一个基于AQS的Synchronizer所执行的基本操作,是一些不同形式的获取(acquire)和释放(release).获取操作是状态依赖的操作，总能够阻塞。借助锁和信号量，“获取”的含义变得相当直观--获取锁或者许可--并且调用者可能不得不去等待，直到Synchronizer处于可发生的状态。CountDownLatch的请求意味着“等待，直到闭锁到达它的终止态”，FutureTask则意味着“等待，直到任务已经完成”。“释放”不是一个可阻塞的操作：“释放”可以允许线程在请求执行前阻塞。

   

        为了让一个类具有状态依赖性，它必须拥有一些状态。同步类中有一些状态需要管理，这项任务落在AQS上：它管理一个关于状态信息的单一整数，状态信息可以通过protected类型的getState,setState和compareAndSetState等方法进行操作。这可以用于表现任何状态：例如，ReentrantLock用它来表现拥有它的线程已经请求了多少次锁，Semaphore用它来表现剩余的许可数，FutureTask用它来表示任务的状态（尚未开始，运行，完成和取消）。Synchronizer也可以自己管理一些额外的状态变量；如，ReentrantLock保存了当前锁的所有者的追踪信息，这样它就能区分出是重进入的(reentrant)还是竞争的(contended)条件锁。

AQS中获取和释放操作的规范式：

boolean acquire() throws InteruptedException{
   while (state does not permit acquire){
        if(blocking acquisition requested){
            enqueue current thread if not already queued
            block current thread
        }
        else
            return failure
   }
   possibly update synchronization state
   dequeue thread if it was queued
   return sucess
}

void release(){
    update synchronization state
    if (new state may permit a blocked thread to acquire)
       unblock on or more queued threads
}