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

相关文章

Redis实现延迟任务的三种方法详解

《Redis实现延迟任务的三种方法详解》延迟任务(DelayedTask)是指在未来的某个时间点,执行相应的任务,本文为大家整理了三种常见的实现方法,感兴趣的小伙伴可以参考一下... 目录1.前言2.Redis如何实现延迟任务3.代码实现3.1. 过期键通知事件实现3.2. 使用ZSet实现延迟任务3.3

idea maven编译报错Java heap space的解决方法

《ideamaven编译报错Javaheapspace的解决方法》这篇文章主要为大家详细介绍了ideamaven编译报错Javaheapspace的相关解决方法,文中的示例代码讲解详细,感兴趣的... 目录1.增加 Maven 编译的堆内存2. 增加 IntelliJ IDEA 的堆内存3. 优化 Mave

Java String字符串的常用使用方法

《JavaString字符串的常用使用方法》String是JDK提供的一个类,是引用类型,并不是基本的数据类型,String用于字符串操作,在之前学习c语言的时候,对于一些字符串,会初始化字符数组表... 目录一、什么是String二、如何定义一个String1. 用双引号定义2. 通过构造函数定义三、St

Spring Security方法级安全控制@PreAuthorize注解的灵活运用小结

《SpringSecurity方法级安全控制@PreAuthorize注解的灵活运用小结》本文将带着大家讲解@PreAuthorize注解的核心原理、SpEL表达式机制,并通过的示例代码演示如... 目录1. 前言2. @PreAuthorize 注解简介3. @PreAuthorize 核心原理解析拦截与

一文详解JavaScript中的fetch方法

《一文详解JavaScript中的fetch方法》fetch函数是一个用于在JavaScript中执行HTTP请求的现代API,它提供了一种更简洁、更强大的方式来处理网络请求,:本文主要介绍Jav... 目录前言什么是 fetch 方法基本语法简单的 GET 请求示例代码解释发送 POST 请求示例代码解释

Java图片压缩三种高效压缩方案详细解析

《Java图片压缩三种高效压缩方案详细解析》图片压缩通常涉及减少图片的尺寸缩放、调整图片的质量(针对JPEG、PNG等)、使用特定的算法来减少图片的数据量等,:本文主要介绍Java图片压缩三种高效... 目录一、基于OpenCV的智能尺寸压缩技术亮点:适用场景:二、JPEG质量参数压缩关键技术:压缩效果对比

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++

Feign Client超时时间设置不生效的解决方法

《FeignClient超时时间设置不生效的解决方法》这篇文章主要为大家详细介绍了FeignClient超时时间设置不生效的原因与解决方法,具有一定的的参考价值,希望对大家有一定的帮助... 在使用Feign Client时,可以通过两种方式来设置超时时间:1.针对整个Feign Client设置超时时间

关于WebSocket协议状态码解析

《关于WebSocket协议状态码解析》:本文主要介绍关于WebSocket协议状态码的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录WebSocket协议状态码解析1. 引言2. WebSocket协议状态码概述3. WebSocket协议状态码详解3

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,:本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例:2. strerror()示例:3. perror(