同步队列阻塞器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)

相关推荐
编程小白gogogo39 分钟前
Student后台管理系统查询接口
java·spring·mybatis
007php00740 分钟前
使用LNMP一键安装包安装PHP、Nginx、Redis、Swoole、OPcache
java·开发语言·redis·python·nginx·php·swoole
Mr_Xuhhh1 小时前
Qt窗口(2)-工具栏
java·c语言·开发语言·数据库·c++·qt·算法
ai小鬼头1 小时前
AIStarter教你快速打包GPT-SoVITS-v2,解锁AI应用市场新玩法
前端·后端·github
续亮~2 小时前
基于Spring AI Alibaba的智能知识助手系统:从零到一的RAG实战开发
java·人工智能·spring·springaialibaba
paopaokaka_luck2 小时前
基于SpringBoot+Vue的汽车租赁系统(协同过滤算法、腾讯地图API、支付宝沙盒支付、WebsSocket实时聊天、ECharts图形化分析)
vue.js·spring boot·后端·websocket·算法·汽车·echarts
giao源2 小时前
Spring Boot 整合 Shiro 实现单用户与多用户认证授权指南
java·spring boot·后端·安全性测试
【本人】2 小时前
Django基础(四)———模板常用过滤器
后端·python·django
豌豆花下猫3 小时前
Python 潮流周刊#111:Django迎来 20 周年、OpenAI 前员工分享工作体验(摘要)
后端·python·ai