浅析AQS的同步队列的进队过程

最新推荐文章于 2023-03-09 16:40:39 发布

treverof

最新推荐文章于 2023-03-09 16:40:39 发布

阅读量440

点赞数 1

本文链接：https://blog.csdn.net/u013264213/article/details/90647833

版权

本文深入解析AQS的同步队列进队过程，包括节点状态、队列结构以及源码分析，涉及进队逻辑、节点状态管理、乐观锁的应用，帮助理解AQS如何管理同步状态。

摘要由CSDN通过智能技术生成

前言

AQS是AbstractQueuedSynchronizer，是用来构建锁或者其他同步组件的基础框架，其中在AQS中同步器依赖内部的同步队列（一个FIFO的队列）来完成对同步状态的管理，因此了解AQS的同步队列对了解AQS有很大的帮助。

同步队列的基础数据结构是节点(Node),其中Node的字段如下：

volatile int waitStatus;

volatile Node prev;

volatile Node next;

volatile Thread thread;

Node nextWaiter;

其中waitStatus的可能的状态值如下：

waitStatus的状态值
状态值	解释说明
CANCELLED	值为1，表示在同步队列中等待超时或者被中断，等待状态被取消
SINGAL	值是-1，表示后继线程处在等待状态中，当前线程释放或者取消，将会通知后继节点
CONDITION	值是-2，表示线程处在等待条件中，当前状态是被阻塞
PROPAGATE	值是-3，表示下一次共享状态会无条件被传播下去
INIT	值是0，表示初始状态

上面表格讲述了waitStatus的几种状态，另外的几个字段prev表示前继节点，next表示后续节点，thread表示当前等待的线程，nextWaiter表示是等待队列的后继节点，如果当前节点是共享的，那么这个字段表示节点类型和等待队列的后继节点共用同一个字段。

有了上述基础知识后，我们接下来就进行源码分析了，以下源码均基于jdk1.8。

首先看进队方法：

private Node enq(final No

关注