AQS的基本原理

AQS(AbstractQueuedSynchronizer)是一个用于构建锁和同步器的框架,许多同步器都可以通过AQS很容易并且高效的构造出来。不仅Reentrant和Semaphore是基于AQS构建的,还包括CountDownLatch、ReentrantReadWriteLock、SynchronousQueue和FutureTask。

高层抽象

在基于AQS构建的同步器类中,最基本的操作包括各种形式的获取操作和释放操作。

获取操作是一种依赖状态的操作,并且通常会阻塞直到达到了理想状态。如:

  • 使用ReentrantLock时,“获取”操作意味着“等待直到锁可被获取”。

  • 使用Semaphore时,“获取”操作意味着“等待直到许可可被获取”。

  • 使用CountDownLatch时,“获取”操作意味着“等待直到闭锁达到结束状态”。

  • 使用FutureTask时,“获取”操作意味着“等待直到任务完成”。

释放并不是一个可阻塞的操作,当执行“释放”操作时,所有在请求时被阻塞的线程都会开始执行。

内部原理

状态机

AQS提供了一个高效的状态机模型,用来管理同步器类中的状态和。

状态

AQS使用一个整数state以表示状态,并通过getState、setState及compareAndSetState等protected类型方法进行状态转换。巧妙的使用state,可以表示任何状态,如:

  • ReentrantLock用state表示所有者线程已经重复获取该锁的次数。

  • Semaphore用state表示剩余的许可数量。

  • CountDownLatch用state表示闭锁的状态,如关闭、打开。

  • FutureTask用state表示任务的状态,如尚未开始、正在运行、已完成、已取消。

除了state,在同步器类中还可以自行管理一些额外的状态变量。如:

  • ReentrantLock保存了锁的当前所有者的信息,这样就能区分某个获取操作是重入的还是竞争的。

  • FutureTask用result表示任务的结果,该结果可能是计算得到的答案,也可能是抛出的异常。

状态转换

状态转换则表现为不同的获取操作和释放操作,其标准形式如下:

boolean acquire () throws InterruptedException {while (当前状态不允许获取操作) {if (需要阻塞获取请求) {如果当前线程不在队列中,则将其插入队列阻塞当前新城}else返回失败}可能更新同步器的状态如果当前线程在队列中,则将其移出队列返回成功
}void release () {更新同步器的状态if (新的状态允许某个被阻塞的线程获取成功)接触队列中一个或多个线程的阻塞状态
}

为什么10行只是“可能”,而不是“必然”更新同步器的状态呢?因为获取同步器的某个线程可能对其他线程能否也获取该同步器造成影响,也可能不影响。如使用独占的ReentrantLock时,一个线程获取锁后,其他线程就不能再获取锁,于是需要更新同步器的状态;但使用CountDownLatch时,一个线程获取闭锁时(包括正在获取和获取后),不会影响其他线程能否获取它,因此不需要更新同步器的状态。

一些约定

根据是否支持阻塞、是否支持独占等,获取操作和释放操作都有多个实现。获取操作有acquire、acquireShared、tryAcquire、tryAcquireShared等,释放操作有release、releaseShared、tryRelease、tryReleaseShared等。

还有acquireNanos、acquireInterruptibly等实现,为了讲解方便,暂时忽略它们。

不带try前缀的方法是阻塞的(当然release、releaseShared不是可阻塞的),通过调用带try前缀的相应版本实现,如acquire内部调用tryAcquire并维护相关逻辑。AQS抽象类中提供了不带try前缀的方法,并以final修饰,在实现同步器时应直接使用;需要覆写的是带try前缀的方法。对于这些方法,约定通过返回值告知调用者(一般是AQS)获取或释放操作是否成功,一些特殊的值代表额外的信息

  • 对于tryAcquire,如果返回true,则表示获取成功;否则返回false。

  • 对于tryAcquireShared,如果返回一个负值,那么表示获取操作失败,返回零值表示同步器通过独占方式被获取,返回正值表示同步器通过非独占方式被获取。

  • 对于tryRelease与tryReleaseShared方法来说,如果返回true,则表示已完全释放,所有在获取同步器时被阻塞的线程都可以被恢复执行;否则返回false。

要想基于AQS构建同步器,就必须对上述四个方法烂熟于心。

总结

  • state表示状态,其他状态需要自行维护

  • 直接使用不带try前缀的方法,并覆写带try前缀的方法

  • 对于带try前缀的方法,约定通过返回值告知调用者(一般是AQS)获取或释放操作的结果

本文虽短,且非常重要,是后文分析ReentrantLock等的基础。同时,又是一个高效并发的经典设计案例。

原文地址:AQS的基本原理 

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

ttkbootstrap界面美化系列之Notebook(四)

在简单的界面设计中,Notebook也是常用的组件之一,Notebook组件的引入可以根据标签来切换不同的界面。使得界面更有层次感,不必都挤在一个界面上。在tkinter中就有Notebook组件,在ttkbootstrap中,同样也对Notebook进行了…

周末总结(2024/03/30)

工作 接受破烂现状,改变状态 上周一周的工作都感觉是摸鱼状态,每天只有三个小时左右的时间聚焦在工作上,其他时间都在胡思乱想。但是我发现可以在工作中学习和下班相关的技术栈。我无意改变自己的工作状态,只想在5月底找好下家然后…

应用侧渲染流程

应用侧渲染流程 《Android应用程序UI硬件加速渲染环境初始化过程分析》 https://blog.csdn.net/Luoshengyang/article/details/45769759 《Android HWUI绘制流程》 https://wizzie.top/android/android_HWUI_Draw/#1-gpu%E6%B8%B2%E6%9F%93%E7%A1%AC%E4%BB%B6%E5%8A%A0%E9%…

Linux+ARM 简单环境检测---软件部分

1、前言 这个是我学习linuxARM的在做的第一个软硬件结合项目,以往的类似这种整体类项目还是光单片机的时候,linux软件部分学习了差不多快一年了,因为各种事情耽搁,这个项目一直没有静下心来完成,不过终于哈哈哈哈搞完了…

代码随想录——移除元素(Leetcode27)

题目链接 暴力&#xff1a;&#xff08;没有改变元素相对位置&#xff09; class Solution {public int removeElement(int[] nums, int val) {int len nums.length;for(int i 0; i < len; i){if(nums[i] val){for(int j i 1; j < len; j){nums[j-1] nums[j];}i…

VS2019连接MySQL

VS2019连接MySQL 下载MySQL Connector/C配置头文件&#xff0c;库文件路径配置头文件路径配置库的路径复制dll文件 MySQL的用户设置将权限赋值给新用户 编写代码往数据库写入 老师布置的作业让我们用VS2019连接MySQL实现一个小型的日志系统&#xff0c;中间踩了很多的坑&#x…

chatui工具使用记录与比较

概述 cahtui相关工具可谓是层出不穷&#xff0c;方便了我们使用各个大模型。这里我把我知道的整理下列出来&#xff0c;顺便做一比较。 简单比较 openWebUI&#xff0c;star 11.1k&#xff0c;仿chatgpt风格&#xff0c;支持openapi、可以对接Ollama进行对话&#xff0c;功能…

Finetuned Language Models Are Zero-Shot Learners

Abstract 本文探索了一种简单的方法来提升语言模型的零样本(zero-shot)学习能力。我们发现 指令微调(instruction tuning) 显著提高了未见任务的零样本性能。 指令微调:即在一组通过指令描述的数据集上对模型进行微调我们对一个 137B 参数的预训练模型在 60 个 NLP 任务上…

springboot婚庆系统

摘 要 随着科学技术的飞速发展&#xff0c;各行各业都在努力与现代先进技术接轨&#xff0c;通过科技手段提高自身的优势&#xff1b;对于婚庆系统当然也不能排除在外&#xff0c;随着网络技术的不断成熟&#xff0c;带动了婚庆系统&#xff0c;它彻底改变了过去传统的管理方式…

【Gitea的介绍】

&#x1f525;博主&#xff1a;程序员不想YY啊&#x1f525; &#x1f4ab;CSDN优质创作者&#xff0c;CSDN实力新星&#xff0c;CSDN博客专家&#x1f4ab; &#x1f917;点赞&#x1f388;收藏⭐再看&#x1f4ab;养成习惯 &#x1f308;希望本文对您有所裨益&#xff0c;如有…

Matlab-R2022b-安装文件分享

​一、MATLAB主要特点和功能 MATLAB是一款强大的科学计算软件&#xff0c;专门用于算法开发、数据分析、数值计算以及科学数据可视化。 以下是一些MATLAB的主要特点和功能&#xff1a; 1.矩阵运算: MATLAB的名字来源于"Matrix Laboratory"&#xff08;矩阵实验室&…

在同一个网站上自动下载多个子页面内容

一、问题现象 第一次遇到这样的问题&#xff0c;如下图&#xff1a; 即在同一个网站上下载多个内容时&#xff0c;第一个内容明明已经正常get到了&#xff0c;但开始第二个页面的查询 以后&#xff0c;原来已经查出的内容就找不到了。 二、解决办法 我不知道大家是不是遇到…

常见的数据结构相关的面试问题

1.请解释什么是数据结构,以及它在计算机科学中的重要性。 数据结构定义:数据结构是一种组织数据的方式,它包括数据元素之间的关系以及对这些数据元素进行操作的规则。常见的数据结构包括数组、链表、栈、队列、树、图等。 数据结构的重要性: 提高算法效率:选择合适的数据结…

配置vsftpd服务

服务简介 1、FTP协议概览 FTP&#xff08;File Transfer Protocol&#xff09;⽂件传输协议&#xff0c;在TCP/IP协议族中属于应⽤层协议&#xff0c;是运⾏于 TCP协议之上是⼀种可靠的传输协议&#xff0c;主要功能⽤于实现⽤户间⽂件分发共享&#xff0c;以及⽹络管理 者在进…

Flutter开发之objectbox

Flutter开发之objectbox 在之前进行iOS开发的时候使用WCDB去进行管理数据库很方便&#xff0c;它支持ORM&#xff08;Object-Relational Mapping&#xff0c;对象关系映射&#xff09;&#xff0c;用于实现面向对象编程语言里不同类型系统的数据之间的转换。 那么在Flutter开发…

perl:字符串模糊匹配,计算 edit 距离

Levenshtein Distance&#xff0c;通常被称为编辑距离(Edit Distance)。该算法的概念是俄罗斯科学家弗拉基米尔莱文斯坦&#xff08;Levenshtein Vladimir&#xff09;于1965年提出。 它是用来计算两个字串之间&#xff0c;通过替换、插入、删除等操作将字符串str1转换成str2所…

作业练习(python)

第一题&#xff1a; cel eval(input()) fah 9 / 5 * cel 32 print("%.1f" % fah) 第二题&#xff1a; radius, length eval(input()) area radius * radius * 3.14159267 volume area * length print("%.2f" % area) print("%.2f" …

MNN介绍、安装与编译:移动端深度学习推理引擎

MNN介绍、安装与编译&#xff1a;移动端深度学习推理引擎 引言第一部分&#xff1a;MNN简介第二部分&#xff1a;MNN的安装第三部分&#xff1a;MNN的编译结语 引言 大家好&#xff0c;这里是程序猿代码之路。在移动设备上实现高效的深度学习模型推理一直是人工智能领域的一个挑…

代码随想录(day10)——栈和队列

Leetcode.1047 删除字符串中所有相邻重复项&#xff1a; 1047. 删除字符串中的所有相邻重复项 - 力扣&#xff08;LeetCode&#xff09; 本题可以利用栈的思想进行解答。但是此处并不是真正的去使用一个栈&#xff0c;而是利用来替代栈在本题中的作用。具体如下&#xff1a; …

RHCE-2-chrony服务器

简介 重要性 由于IT系统中&#xff0c;准确的计时非常重要&#xff0c;有很多种原因需要准确计时&#xff1a; 在网络传输中&#xff0c;数据包括和日志需要准确的时间戳 各种应用程序中&#xff0c;如订单信息&#xff0c;交易信息等 都需要准确的时间戳 Linux的两个时钟 硬…