ReentrantLock acquire方法源码解析

2024-01-29 02:48

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

public final void acquire(int arg) {if (!tryAcquire(arg) &&acquireQueued(addWaiter(Node.EXCLUSIVE), arg))selfInterrupt();
}

acquire方法首先判断获取锁是否成功,也就是tryAcquire方法的作用,以NonfairSync类中方法为例,下面是它的源码

        final boolean nonfairTryAcquire(int acquires) {//获取当前线程final Thread current = Thread.currentThread();//获取当前state的值,该值用来标识锁的情况,0表示未有线程持有,>0表示锁重入的次数int c = getState();(1)if (c == 0) {(2)if (compareAndSetState(0, acquires)) {setExclusiveOwnerThread(current);return true;}}(3)else if (current == getExclusiveOwnerThread()) {int nextc = c + acquires;if (nextc < 0) // overflowthrow new Error("Maximum lock count exceeded");setState(nextc);return true;}return false;}

(1)如果state的值为0,也就是锁还未有线程获取的情况;

(2)尝试获取锁,CAS操作将state由0置为1,如果成功,就将exclusiveOwnerThread属性置为当前线程,该属性用来标识哪个线程获取了锁;

(3)如果c不等于0,也就是有线程获取了锁,判断获取锁的线程是不是当前线程,如果是,就将重入state的次数加1,中间的if是溢出判断;

如果已经有线程获取锁或是在争抢锁时失败,就返回false;

在未获取到锁的情况下,会执行判断逻辑的后半部分acquireQueued(addWaiter(Node.EXCLUSIVE), arg)

首先来看addWaiter方法,该方法的作用是在AQS队列中增加一个当前线程的等待节点,下面是它的源码:

    private Node addWaiter(Node mode) {(1)Node node = new Node(Thread.currentThread(), mode);//获取AQS队列的尾节点Node pred = tail;//判断尾节点是否为nullif (pred != null) {(2)node.prev = pred;if (compareAndSetTail(pred, node)) {pred.next = node;return node;}}(3)enq(node);return node;}

(1)创建一个Node节点,其中节点中thread属性是当前线程,mode是null值,也就是下一个等待节点为null

        Node(Thread thread, Node mode) {     // Used by addWaiterthis.nextWaiter = mode;this.thread = thread;}

(2)如果尾节点不为null,将新节点的prev指向尾节点,并CAS操作将新节点置为尾节点,如果成功就设置尾节点的next节点为新节点,AQS队列是一个双向队列,并返回新节点。

(3)如果尾节点为null或在CAS置尾节点失败的情况下,执行enq方法

    private Node enq(final Node node) {for (;;) {Node t = tail;if (t == null) { // Must initializeif (compareAndSetHead(new Node()))tail = head;} else {node.prev = t;if (compareAndSetTail(t, node)) {t.next = node;return t;}}}}

首先,如果tail为null,也就是AQS队列还未null的情况下,创建一个新节点,并CAS将其置为头节点,然后tail和head指向同一个节点,为什么这里需要CAS呢?因为,有可能出现两个线程同时在addWaiter中判断tail为null,然后都执行enq方法。

在初始化AQS队列后,还没有结束,for是一个死循环,等待的新节点还没有添加到AQS队列中,else就是添加节点的逻辑;

总的来讲,addWaiter的逻辑就是添加等待节点到AQS队列,如果队列还不存在,就创建一个哨兵节点,同时tail和head都指向它。

在添加完节点后。会执行acquireQueued方法,该方法比较复杂,下面重点来分析

    final boolean acquireQueued(final Node node, int arg) {//用来标识是否需要取消获取锁boolean failed = true;try {//标记当前线程是否需要中断boolean interrupted = false;for (;;) {(1)final Node p = node.predecessor();(2)if (p == head && tryAcquire(arg)) {setHead(node);p.next = null; // help GCfailed = false;return interrupted;}(3)if (shouldParkAfterFailedAcquire(p, node) &&parkAndCheckInterrupt())interrupted = true;}} finally {if (failed)cancelAcquire(node);}}

(1)获取node节点的前一个节点,赋值给p。

(2)如果p是head节点,就再次尝试获取锁,这里再次尝试获取锁的原因是如果有线程在前一次获取锁和这一次获取锁之间释放了锁,那么这里就有可能获取成功;

如果node节点的前一个节点是head节点,并且成功获取到了锁,就设置node节点为head,删除本来的头节点,并设置取消获取锁的标记为false,返回中断标记。

(3)如果node不是AQS中的第一个等待节点,或者获取锁失败,就执行shouldParkAfterFailedAcquire方法

    private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {int ws = pred.waitStatus;if (ws == Node.SIGNAL)/** This node has already set status asking a release* to signal it, so it can safely park.*/return true;if (ws > 0) {/** Predecessor was cancelled. Skip over predecessors and* indicate retry.*/do {node.prev = pred = pred.prev;} while (pred.waitStatus > 0);pred.next = node;} else {/** waitStatus must be 0 or PROPAGATE.  Indicate that we* need a signal, but don't park yet.  Caller will need to* retry to make sure it cannot acquire before parking.*/compareAndSetWaitStatus(pred, ws, Node.SIGNAL);}return false;}

创建节点的waitStatus都是0,所以一般在第一次执行该方法时,会设置pred的waitStatus为-1,返回false,在下一次进入该方法时,会返回true;

parkAndCheckInterrupt方法会在shouldParkAfterFailedAcquire返回true后执行,它会将线程阻塞挂起,并清除中断标记

    private final boolean parkAndCheckInterrupt() {LockSupport.park(this);return Thread.interrupted();}

如果线程本身是中断的,那会执行interrupted = true,并在selfInterrupt()再次中断。

所以总结一下,只有AQS队列中的第一个等待节点会被唤醒执行,其他节点会进入阻塞状态直到轮到自己成会AQS队列的第一个节点(哨兵节点后的第一个节点)。

 

总结

acquire方法,会尝试获取锁,如果获取锁失败,就创建一个该线程的等待节点插入到AQS队列的尾部,并阻塞当前线程,locl.relase会unparkAQS队列中的第一个非哨兵节点,线程被唤醒后就会尝试再次获取锁,如果还是没有获取到就再次park阻塞,如果获取到了,就返回中断位并是否再次中断当前线程。

 

这篇关于ReentrantLock acquire方法源码解析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/655530

相关文章

使用Java解析JSON数据并提取特定字段的实现步骤(以提取mailNo为例)

《使用Java解析JSON数据并提取特定字段的实现步骤(以提取mailNo为例)》在现代软件开发中,处理JSON数据是一项非常常见的任务,无论是从API接口获取数据,还是将数据存储为JSON格式,解析... 目录1. 背景介绍1.1 jsON简介1.2 实际案例2. 准备工作2.1 环境搭建2.1.1 添加

Java实现任务管理器性能网络监控数据的方法详解

《Java实现任务管理器性能网络监控数据的方法详解》在现代操作系统中,任务管理器是一个非常重要的工具,用于监控和管理计算机的运行状态,包括CPU使用率、内存占用等,对于开发者和系统管理员来说,了解这些... 目录引言一、背景知识二、准备工作1. Maven依赖2. Gradle依赖三、代码实现四、代码详解五

JAVA中整型数组、字符串数组、整型数和字符串 的创建与转换的方法

《JAVA中整型数组、字符串数组、整型数和字符串的创建与转换的方法》本文介绍了Java中字符串、字符数组和整型数组的创建方法,以及它们之间的转换方法,还详细讲解了字符串中的一些常用方法,如index... 目录一、字符串、字符数组和整型数组的创建1、字符串的创建方法1.1 通过引用字符数组来创建字符串1.2

Java调用Python代码的几种方法小结

《Java调用Python代码的几种方法小结》Python语言有丰富的系统管理、数据处理、统计类软件包,因此从java应用中调用Python代码的需求很常见、实用,本文介绍几种方法从java调用Pyt... 目录引言Java core使用ProcessBuilder使用Java脚本引擎总结引言python

Apache Tomcat服务器版本号隐藏的几种方法

《ApacheTomcat服务器版本号隐藏的几种方法》本文主要介绍了ApacheTomcat服务器版本号隐藏的几种方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需... 目录1. 隐藏HTTP响应头中的Server信息编辑 server.XML 文件2. 修China编程改错误

Java中switch-case结构的使用方法举例详解

《Java中switch-case结构的使用方法举例详解》:本文主要介绍Java中switch-case结构使用的相关资料,switch-case结构是Java中处理多个分支条件的一种有效方式,它... 目录前言一、switch-case结构的基本语法二、使用示例三、注意事项四、总结前言对于Java初学者

使用Python实现大文件切片上传及断点续传的方法

《使用Python实现大文件切片上传及断点续传的方法》本文介绍了使用Python实现大文件切片上传及断点续传的方法,包括功能模块划分(获取上传文件接口状态、临时文件夹状态信息、切片上传、切片合并)、整... 目录概要整体架构流程技术细节获取上传文件状态接口获取临时文件夹状态信息接口切片上传功能文件合并功能小

Java汇编源码如何查看环境搭建

《Java汇编源码如何查看环境搭建》:本文主要介绍如何在IntelliJIDEA开发环境中搭建字节码和汇编环境,以便更好地进行代码调优和JVM学习,首先,介绍了如何配置IntelliJIDEA以方... 目录一、简介二、在IDEA开发环境中搭建汇编环境2.1 在IDEA中搭建字节码查看环境2.1.1 搭建步

Oracle Expdp按条件导出指定表数据的方法实例

《OracleExpdp按条件导出指定表数据的方法实例》:本文主要介绍Oracle的expdp数据泵方式导出特定机构和时间范围的数据,并通过parfile文件进行条件限制和配置,文中通过代码介绍... 目录1.场景描述 2.方案分析3.实验验证 3.1 parfile文件3.2 expdp命令导出4.总结

更改docker默认数据目录的方法步骤

《更改docker默认数据目录的方法步骤》本文主要介绍了更改docker默认数据目录的方法步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录1.查看docker是否存在并停止该服务2.挂载镜像并安装rsync便于备份3.取消挂载备份和迁