同步队列阻塞器AQS的执行流程,案例图

假设有A、B、C三个线程使用AQS抢占资源,A先到,抢占一段时间后释放,B后到,C最后到

同步队列阻塞器里面,初始,有head、tail指向null,state=0,当前抢占线程null,其中head,tail为Node类型,state为int类型,exclusiveOwnerThread(当前抢占线程)为Thread类型。

Node对象类型关键属性:next下一个节点指向、pre前一个节点指向、Thread拥有节点线程、waitStatus等待状态。

此时A线程最先到,通过CAS抢占资源。

state设置为1,代表已抢占。

抢占的线程为A,exclusiveOwnerThread=A

A抢到资源后继续执行。

此时B线程来到,发现同步队列阻塞器state=1,也就是已经被占用了,而且占有线程是A,所以B尝试CAS抢占资源,失败后开始排队。

排队流程是,线程B发现如果tail指向为null,先创建一个虚拟节点,同步队列阻塞器的head,tail指向虚拟节点

然后把线程B封装成Node节点。

线程B的pre指向虚拟节点,如果tail指向NodeB成功,则虚拟节点的next指向NodeB

把虚拟节点的等待标志设为-1,然后阻塞线程B

此时C线程来到,发现同步队列阻塞器state=1,也就是已经被占用了,而且占有线程是A,所以C尝试CAS抢占资源,失败后开始排队。

此时C发现tail指向不为null,所以直接在tail的指向,也就是NodeB后面排队。

节点C的pre先指向节点B

tail的节点如果指向节点C成功,节点B的next指向节点C

C线程会把节点B的等待状态设置为-1,然后阻塞线程C

如果此时A执行完了,会清空state和占有线程,让虚拟线程的waitStatus为0,并释放线程B

线程B释放后,会去占有资源,state=1,占有线程为线程B

会把虚拟节点置空,把NodeB变为虚拟节点

1.让head指向节点B

2.节点B的线程为null

3.节点B的pre指向null

4.虚拟节点的next指向null(为了被GC)

相关推荐
星浩AI5 分钟前
让模型自己写 Skills——从素材到自动生成工作流
人工智能·后端·agent
华仔啊2 小时前
为啥不用 MP 的 saveOrUpdateBatch?MySQL 一条 SQL 批量增改才是最优解
java·后端
武子康3 小时前
大数据-242 离线数仓 - DataX 实战:MySQL 全量/增量导入 HDFS + Hive 分区(离线数仓 ODS
大数据·后端·apache hive
砍材农夫4 小时前
TCP和UDP区别
后端
千寻girling4 小时前
一份不可多得的 《 Django 》 零基础入门教程
后端·python·面试
千寻girling4 小时前
Python 是用来做 AI 人工智能 的 , 不适合开发 Web 网站 | 《Web框架》
人工智能·后端·算法
贾铭4 小时前
如何实现一个网页版的剪映(三)使用fabric.js绘制时间轴
前端·后端
xiaoye20184 小时前
Spring 自定义 Redis 超时:TTL、TTI 与 Pipeline 实战
后端
xiaoye20184 小时前
Lettuce连接模型、命令执行、Pipeline 浅析
java
程序员爱钓鱼7 小时前
GoHTML解析利器:github.com/PuerkitoBio/goquery实战指南
后端·google·go