Java学习——AQS解析

2024-05-01 22:08
文章标签 java 学习 解析 aqs

本文主要是介绍Java学习——AQS解析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

最近在学习JUC,发现里面大部分的并发组件都是基于AQS,因此研读了一下源码,在此做个笔记。

AQS(AbstractQueuedSynchronizer)翻译为抽象队列同步器,是除Synchronized关键字外java自带的锁机制。

AQS使用一个int类型变量state来表示线程要竞争的资源,state的值即为可获取的资源数,当一个线程尝试获取锁时,会使用CAS方式去尝试改变state的值,如果改变成功,即获取了锁。CAS的实现是使用了Unsafe类底下的一系列compareAndSet*方法,这些方法调用了JAVA的native方法,可以认为是系统底层支持的原子操作。

 private final boolean compareAndSetHead(Node update);private final boolean compareAndSetTail(Node expect, Node update);private static final boolean compareAndSetWaitStatus(Node node,int expect,int update) ;private static final boolean compareAndSetNext(Node node,Node expect,Node update)

当线程尝试获取锁时,AQS会将线程封装为一个节点,放入到一个等待队列中。这个等待队列是一个FIFO的双向队列,处于等待队列中的线程获取锁失败后,会调用LockSupport类中的park方法,使等待的线程放弃调度资格,进入time_waiting的状态。所以AQS的状态通常如下图所示。总是位于header的线程持有锁,处于running状态,剩余的等待线程处于time-waitting状态(此处以独占模式为例),当header的线程执行完,释放锁时,将优先唤醒header节点的下一节点的线程进行锁的申请。
在这里插入图片描述
如下代码是等待队列中的线程尝试获取锁的处理过程,可以看出,等待线程以自旋的方式,循环尝试获取锁。在header节点线程释放锁时,会优先唤醒header节点的下一节点,但是被唤醒的线程并不一定能获取锁,还是得进行获取锁的尝试,如果失败,会进入time-waiting状态,继续等待被唤醒。

final boolean acquireQueued(final Node node, int arg) {boolean failed = true;try {boolean interrupted = false;for (;;) {//获取当前节点的上一节点final Node p = node.predecessor();if (p == head && tryAcquire(arg)) {setHead(node);p.next = null; // help GCfailed = false;return interrupted;}if (shouldParkAfterFailedAcquire(p, node) &&parkAndCheckInterrupt())interrupted = true;}} finally {if (failed)cancelAcquire(node);}}

在文章开头,笔者说过,juc中有很多并发组件是利用AQS实现的,这里,我以ReenTrantLock为例,介绍一下java的并发组件是怎样以AQS为基础设计实现锁。
ReenTrantLock是使用AQS实现的一种独占锁,可以是非公平锁或者公平锁,我们以实现比较简单的的非公平锁为例,锁使用最基本的两个接口实现为Lock和unLock,分别表示申请锁和释放锁。
在这里插入图片描述
从流程图可以看出,AQS实现了一整套的线程阻塞等待、线程被唤醒时的组织机制,而ReentrantLock为了实现非公平锁,只需要重写tryAcquire和tryRelease方法,这两个方法分别表示非阻塞方式的尝试获取锁和非阻塞方式的释放锁。

 final boolean nonfairTryAcquire(int acquires) {final Thread current = Thread.currentThread();int c = getState();if (c == 0) {if (compareAndSetState(0, acquires)) {setExclusiveOwnerThread(current);return true;}}else if (current == getExclusiveOwnerThread()) {int nextc = c + acquires;if (nextc < 0) // overflowthrow new Error("Maximum lock count exceeded");setState(nextc);return true;}return false;}

ReenTrantLock的tryAcquire方法会调用nonfairTryAcquire方法,实现了非阻塞获取锁的处理逻辑,而且也实现了可重入机制,当获得锁的线程再次申请锁时,只是简单的对state值进行修改。

//in AQS
public final boolean release(int arg) {if (tryRelease(arg)) {Node h = head;if (h != null && h.waitStatus != 0)//释放header的下一节点unparkSuccessor(h);return true;}return false;}
//rewrite in ReentrantLock
protected final boolean tryRelease(int releases) {int c = getState() - releases;if (Thread.currentThread() != getExclusiveOwnerThread())throw new IllegalMonitorStateException();boolean free = false;if (c == 0) {free = true;setExclusiveOwnerThread(null);}setState(c);return free;}

ReenTrantLock的unlock方法会调用AQS的release方法,release方法定义了锁释放的一系列操作,包括下一节点的唤醒。这实际上是一种模板方法的设计模式,而ReenTrantLock重写的tryRelease方法只是简单的实现了锁的释放。

这篇关于Java学习——AQS解析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


原文地址:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.chinasem.cn/article/952780

相关文章

springboot自定义注解RateLimiter限流注解技术文档详解

《springboot自定义注解RateLimiter限流注解技术文档详解》文章介绍了限流技术的概念、作用及实现方式,通过SpringAOP拦截方法、缓存存储计数器,结合注解、枚举、异常类等核心组件,... 目录什么是限流系统架构核心组件详解1. 限流注解 (@RateLimiter)2. 限流类型枚举 (

Java Thread中join方法使用举例详解

《JavaThread中join方法使用举例详解》JavaThread中join()方法主要是让调用改方法的thread完成run方法里面的东西后,在执行join()方法后面的代码,这篇文章主要介绍... 目录前言1.join()方法的定义和作用2.join()方法的三个重载版本3.join()方法的工作原

MySQL CTE (Common Table Expressions)示例全解析

《MySQLCTE(CommonTableExpressions)示例全解析》MySQL8.0引入CTE,支持递归查询,可创建临时命名结果集,提升复杂查询的可读性与维护性,适用于层次结构数据处... 目录基本语法CTE 主要特点非递归 CTE简单 CTE 示例多 CTE 示例递归 CTE基本递归 CTE 结

Spring AI使用tool Calling和MCP的示例详解

《SpringAI使用toolCalling和MCP的示例详解》SpringAI1.0.0.M6引入ToolCalling与MCP协议,提升AI与工具交互的扩展性与标准化,支持信息检索、行动执行等... 目录深入探索 Spring AI聊天接口示例Function CallingMCPSTDIOSSE结束语

Java获取当前时间String类型和Date类型方式

《Java获取当前时间String类型和Date类型方式》:本文主要介绍Java获取当前时间String类型和Date类型方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,... 目录Java获取当前时间String和Date类型String类型和Date类型输出结果总结Java获取

Spring Boot Actuator应用监控与管理的详细步骤

《SpringBootActuator应用监控与管理的详细步骤》SpringBootActuator是SpringBoot的监控工具,提供健康检查、性能指标、日志管理等核心功能,支持自定义和扩展端... 目录一、 Spring Boot Actuator 概述二、 集成 Spring Boot Actuat

OpenCV在Java中的完整集成指南分享

《OpenCV在Java中的完整集成指南分享》本文详解了在Java中集成OpenCV的方法,涵盖jar包导入、dll配置、JNI路径设置及跨平台兼容性处理,提供了图像处理、特征检测、实时视频分析等应用... 目录1. OpenCV简介与应用领域1.1 OpenCV的诞生与发展1.2 OpenCV的应用领域2

在Java中使用OpenCV实践

《在Java中使用OpenCV实践》用户分享了在Java项目中集成OpenCV4.10.0的实践经验,涵盖库简介、Windows安装、依赖配置及灰度图测试,强调其在图像处理领域的多功能性,并计划后续探... 目录前言一 、OpenCV1.简介2.下载与安装3.目录说明二、在Java项目中使用三 、测试1.测

Spring Bean初始化及@PostConstruc执行顺序示例详解

《SpringBean初始化及@PostConstruc执行顺序示例详解》本文给大家介绍SpringBean初始化及@PostConstruc执行顺序,本文通过实例代码给大家介绍的非常详细,对大家的... 目录1. Bean初始化执行顺序2. 成员变量初始化顺序2.1 普通Java类(非Spring环境)(

Spring Boot 中的默认异常处理机制及执行流程

《SpringBoot中的默认异常处理机制及执行流程》SpringBoot内置BasicErrorController,自动处理异常并生成HTML/JSON响应,支持自定义错误路径、配置及扩展,如... 目录Spring Boot 异常处理机制详解默认错误页面功能自动异常转换机制错误属性配置选项默认错误处理