前言
AQS是AbstractQueuedSynchronizer,是用来构建锁或者其他同步组件的基础框架,其中在AQS中同步器依赖内部的同步队列(一个FIFO的队列)来完成对同步状态的管理,因此了解AQS的同步队列对了解AQS有很大的帮助。
基础知识
同步队列的基础数据结构是节点(Node),其中Node的字段如下:
volatile int waitStatus;
volatile Node prev;
volatile Node next;
volatile Thread thread;
Node nextWaiter;
其中waitStatus的可能的状态值如下:
状态值 | 解释说明 |
CANCELLED | 值为1,表示在同步队列中等待超时或者被中断,等待状态被取消 |
SINGAL | 值是-1,表示后继线程处在等待状态中,当前线程释放或者取消,将会通知后继节点 |
CONDITION | 值是-2,表示线程处在等待条件中,当前状态是被阻塞 |
PROPAGATE | 值是-3,表示下一次共享状态会无条件被传播下去 |
INIT | 值是0,表示初始状态 |
上面表格讲述了waitStatus的几种状态,另外的几个字段prev表示前继节点,next表示后续节点,thread表示当前等待的线程,nextWaiter表示是等待队列的后继节点,如果当前节点是共享的,那么这个字段表示节点类型和等待队列的后继节点共用同一个字段。
源码分析
有了上述基础知识后,我们接下来就进行源码分析了,以下源码均基于jdk1.8。
首先看进队方法:
private Node enq(final No