java面试必备八股文（Java多线程（6）：锁与AQS（中））

您好  
  
  
  
  
  
  
 ，我是湘王 
  
  
  
  
  
  
  ，这是我的博客园


 


 


 


 


 


 


 

，欢迎您来 
 
 
 
 
 
 
，欢迎您再来～

Java中的AQS（AbstractQueuedSynchronizer  
   
   
   
   
   
   
   ，抽象队列同步器）是用来实现锁及其他同步功能组件的Java底层技术基础

 

 

 

 

 

 

 
，java.util.concurrent包下大部分类的实现都离不开它  
  
  
  
  
  
  
 。

通过继承AQS：

1  
  
  
  
  
  
  
 、ReentrantLock的内部类实现了公平锁和非公平锁；

2 
  
  
  
  
  
  
  、CountDownLatch的内部类实现了发令枪；

3


 


 


 


 


 


 


 

、ReentrantReadWriteLock的内部类实现了独享锁和共享锁；

4 
 
 
 
 
 
 
、Semaphore的内部类实现了公平锁和非公平锁 
  
  
  
  
  
  
  。

AQS主要实现两大功能：独占（Exclusive
 

 

 

 

 

 

 

，有时也叫排他）和共享（Share）


 


 


 


 


 


 


 

。

AQS在内部维护一个FIFO（First In First Out               ，先进先出）的CLH（Craig
 

 
 

 
 

 
 

 
 

 
 

 
 

 
 ，Landin














，and Hagersten）线程阻塞队列和一个资源同步状态的变量volatile int state 
 
 
 
 
 
 
。

CLH是一个虚拟的双向队列                      ，也就是不存在队列实例
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 ，仅存在节点之间的关联关系的队列  
   
   
   
   
   
   
   。AQS是将每一条请求共享资源的线程





















，封装成一个CLH线程队列节点（Node）               ，从而实现锁的分配

 

 

 

 

 

 

 
。因此
 
  
 
  
 
  
 
  
 
  
 
  
 
  
 ，说了一大堆














，用一句简单的话来形容AQS就是：基于CLH线程阻塞队列  
  
  
  
  
  
  
 ，通过volatile变量 + CAS + 自旋方式来改变线程状态 
  
  
  
  
  
  
  ，成功则获取锁


 


 


 


 


 


 


 

，失败则进入CLH队列
 

 

 

 

 

 

 

。

AQS已经实现了CLH线程阻塞队列的维护 
 
 
 
 
 
 
，所以一般子类自定义实现AQS  
   
   
   
   
   
   
   ，要么是独占

 

 

 

 

 

 

 
，要么是共享
 

 

 

 

 

 

 

，也就是要么实现tryAcquire()和tryRelease()等系列方法               ，要么实现tryAcquireShared()和tryReleaseShared()等系列方法               。

CLH队列由多个node节点组成
 

 
 

 
 

 
 

 
 

 
 

 
 

 
 ，而且大量使用“CAS自旋volatile变量               ”这种经典代码：

CLH队列的结构为：

给CLH设置首节点：

给CLH设置尾节点：

整个AQS的流程如图：

AQS特别复杂














，如果想把多线程搞透的                      ，就需要深入研究每个方法的流程
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 ，拿acquire(int)方法的执行流程为例：

我把AQS的源码做了较为详细的注释





















，可以结合注释看看
 

 
 

 
 

 
 

 
 

 
 

 
 

 
 。例如：

如果只是了解多线程的简单用法               ，AQS可以绕过














。

感谢您的大驾光临！咨询技术  
   
   
   
   
   
   
   、产品

 

 

 

 

 

 

 
、运营和管理相关问题
 
  
 
  
 
  
 
  
 
  
 
  
 
  
 ，请关注后留言                      。欢迎骚扰














，不胜荣幸～