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

相关推荐
葫芦和十三25 分钟前
图解 MongoDB 22|读写关注:持久性与一致性的档位选择
后端·mongodb·agent
葫芦和十三7 小时前
图解 MongoDB 21|选举与 failover:Primary 是怎么选出来的
后端·mongodb·agent
GetcharZp7 小时前
26k Star 开源内网穿透神器 NetBird,一分钟实现全球设备互联!
后端
考虑考虑8 小时前
Mybatis实现批量插入
java·后端·mybatis
咖啡八杯9 小时前
GoF设计模式——中介者模式
java·后端·spring·设计模式
lizhongxuan11 小时前
多Agent之间的区别
后端
青石路13 小时前
记一次多JDK版本问题的排查,一坑套一坑,差点没爬上来
java
杨充13 小时前
1.面向对象设计思想
后端
IT_陈寒13 小时前
Java的Date类又坑了我一次,改用时间戳真香
前端·人工智能·后端
systemPro14 小时前
2.6亿条设备数据,历史查询从超时到50ms,我做了什么
后端