【并发基础】ReentrantLock详解(一)

2024-06-07 21:38

本文主要是介绍【并发基础】ReentrantLock详解(一),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

简介

ReentrantLock重入锁,是实现Lock接口的一个类,也是在实际编程中使用频率很高的一个锁,支持重入性,表示能够对共享资源能够重复加锁,即当前线程获取该锁再次获取不会被阻塞。与此同时,ReentrantLock还支持公平锁和非公平锁两种方式。

数据结构

//自定义同步器,Sync为ReentrantLock的内部类,继承AbstractQueuedSynchronizer
private final Sync sync;//默认为非公平锁
public ReentrantLock() {sync = new NonfairSync();
}//可以指定公平策略
public ReentrantLock(boolean fair) {sync = fair ? new FairSync() : new NonfairSync();
}

核心方法

lock()
public void lock() {sync.lock()
}

lock()获取锁,主要调用AQS的acquire(1),此时可分为三种情况:

  • 当前线程成功获取锁,该方法直接返回,设置state为1;
  • 当前线程已经持有该锁,该方法直接返回,state加1,即重入次数加1;
  • 锁被其他线程持有,则当前线程进入同步队列等待。
lockInterruptibly()
public void lockInterruptibly() throws InterruptedException {sync.acquireInterruptibly(1);
}

该方法和lock类似,只是响应中断,会抛出InterruptedException异常,需要上层调用者自行进行中断异常处理。

该方法直接调用AQS相应的方法实现。

tryLock()
public boolean tryLock() {return sync.nonfairTryAcquire(1);
}

tryLock()尝试获取锁,获取成功则返回true,获取失败则返回false,不会一直阻塞。另一点值得注意的是,该方法始终采用非公平策略,即使初始化时已经声明使用公平策略,也就是说,调用tryLock方法时,会立即尝试获取锁,无论是否还有没有其他线程正在等待。

该方法调用ReentrantLock自定义同步器Sync里面的方法。

tryLock(long timeout, TimeUnit unit)
public boolean tryLock(long timeout, TimeUnit unit) throws InterruptedException {return sync.tryAcquireNanos(1, unit.toNanos(timeout));
}

tryLock()方法有如下特性:

  • 无法立即获取锁时,该方法会等待timeout时间;
  • 当锁声明为公平锁时,该方法支持使用公平策略;
  • 响应中断。

该方法直接调用AQS相应的方法实现。

unlock()
public void unlock() {sync.release(1);
}

unlock()方法会调用ReentrantLock的自定义同步器Sync的tryRelease方法,有如下三种情况:

  • 如果当前线程持有锁,则state减1;
  • 如果state为0时直接释放锁;
  • 如果当前线程不持有锁,则抛出IllegalMonitorStateException异常。
newCondition()
public Condition newCondition() {return sync.newCondition();
}

Condition对象可以起到Object监视器方法(wait, notify, notifyAll)的作用,Object的监视器方法需要在同步方法或同步块中调用,而Condition的方法需要在获取锁之后调用,不同在于一个锁可以创建多个Condition对象,可以对不同线程进行不同的控制(个人理解为是对线程的分类),而synchronized则类似于只有一个Condition对象的Lock。

getHoldCount()
public int getHoldCount() {return sync.getHoldCount();
}

HoldCount记录当前线程持有该锁的次数,如果当前线程持有锁,则该值为state的值,否则为0。

Sync详解

Sync同步器使用AQS的state变量表示持有锁的线程在当前锁重入的数量,当state为0时,表示锁未被其他线程持有。

在ReentrantLock中,重入一次则数量+1。

nonfairTryAcquire(int)

nonfairTryAcquire(int)方法实现非公平的tryLock。

final boolean nonfairTryAcquire(int acquires) {final Thread current = Thread.currentThread();int c = getState();//state为0时,表示没有其他线程持有锁if (c == 0) {//修改state的值,并设置当前线程为该独占锁的持有者if (compareAndSetState(0, acquires)) {setExclusiveOwnerThread(current);return true;}}//如果当前线程已经持有该锁else if (current == getExclusiveOwnerThread()) {//更新state,state表示当前锁已被重入的数量int nextc = c + acquires;if (nextc < 0) // overflowthrow new Error("Maximum lock count exceeded");setState(nextc);return true;}return false;
}
tryRelease(int)

需要持有锁的线程才能调用该方法,否则会抛出IllegalMonitorStateException异常。

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;
}
newCondition()

ReentrantLock的Condition实现为ConditionObject

final ConditionObject newCondition() {return new ConditionObject();
}
其他核心方法
//获取锁的持有者
final Thread getOwner() {return getState() == 0 ? null : getExclusiveOwnerThread();
}//HoldCount表示当前线程持有锁的数量
final int getHoldCount() {return isHeldExclusively() ? getState() : 0;
}//AQS的state用来判断锁是否已被锁定
final boolean isLocked() {return getState() != 0;
}//判断当前线程是否持有该锁
protected final boolean isHeldExclusively() {return getExclusiveOwnerThread() == Thread.currentThread();
}

NonfairSync(非公平同步器)

static final class NonfairSync extends Sync {private static final long serialVersionUID = 7316153563782823691L;final void lock() {//强制获取锁,如果锁未被锁定,也就是state为0,则下面操作返回true,当前线程获取锁//否则返回false,当前线程进入同步队列if (compareAndSetState(0, 1))setExclusiveOwnerThread(Thread.currentThread());elseacquire(1);}//调用父类Sync的nonfairTryAcquire方法获取锁protected final boolean tryAcquire(int acquires) {return nonfairTryAcquire(acquires);}
}

FairSync(公平同步器)

static final class FairSync extends Sync {private static final long serialVersionUID = -3000897897090466540L;//直接调用AQS的acquire方法final void lock() {acquire(1);}protected final boolean tryAcquire(int acquires) {final Thread current = Thread.currentThread();int c = getState();if (c == 0) {//hasQueuedPredecessors判断当前线程是否是下一个可执行结点//非公平锁会直接尝试CAS更新state,但是公平锁需要当前结点是头结点才能使用CAS更新stateif (!hasQueuedPredecessors() &&compareAndSetState(0, acquires)) {setExclusiveOwnerThread(current);return true;}}else if (current == getExclusiveOwnerThread()) {int nextc = c + acquires;if (nextc < 0)throw new Error("Maximum lock count exceeded");setState(nextc);return true;}return false;}
}

参考资料

彻底理解ReentrantLock

这篇关于【并发基础】ReentrantLock详解(一)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Java Predicate接口定义详解

《JavaPredicate接口定义详解》Predicate是Java中的一个函数式接口,它代表一个判断逻辑,接收一个输入参数,返回一个布尔值,:本文主要介绍JavaPredicate接口的定义... 目录Java Predicate接口Java lamda表达式 Predicate<T>、BiFuncti

详解如何通过Python批量转换图片为PDF

《详解如何通过Python批量转换图片为PDF》:本文主要介绍如何基于Python+Tkinter开发的图片批量转PDF工具,可以支持批量添加图片,拖拽等操作,感兴趣的小伙伴可以参考一下... 目录1. 概述2. 功能亮点2.1 主要功能2.2 界面设计3. 使用指南3.1 运行环境3.2 使用步骤4. 核

一文详解JavaScript中的fetch方法

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

详解nginx 中location和 proxy_pass的匹配规则

《详解nginx中location和proxy_pass的匹配规则》location是Nginx中用来匹配客户端请求URI的指令,决定如何处理特定路径的请求,它定义了请求的路由规则,后续的配置(如... 目录location 的作用语法示例:location /www.chinasem.cntestproxy

CSS will-change 属性示例详解

《CSSwill-change属性示例详解》will-change是一个CSS属性,用于告诉浏览器某个元素在未来可能会发生哪些变化,本文给大家介绍CSSwill-change属性详解,感... will-change 是一个 css 属性,用于告诉浏览器某个元素在未来可能会发生哪些变化。这可以帮助浏览器优化

Python基础文件操作方法超详细讲解(详解版)

《Python基础文件操作方法超详细讲解(详解版)》文件就是操作系统为用户或应用程序提供的一个读写硬盘的虚拟单位,文件的核心操作就是读和写,:本文主要介绍Python基础文件操作方法超详细讲解的相... 目录一、文件操作1. 文件打开与关闭1.1 打开文件1.2 关闭文件2. 访问模式及说明二、文件读写1.

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例:2. 数据对齐(Padding)示例:3. 虚函数(vtable 指针)示例:4. 继承普通继承虚继承5.

前端高级CSS用法示例详解

《前端高级CSS用法示例详解》在前端开发中,CSS(层叠样式表)不仅是用来控制网页的外观和布局,更是实现复杂交互和动态效果的关键技术之一,随着前端技术的不断发展,CSS的用法也日益丰富和高级,本文将深... 前端高级css用法在前端开发中,CSS(层叠样式表)不仅是用来控制网页的外观和布局,更是实现复杂交

Linux换行符的使用方法详解

《Linux换行符的使用方法详解》本文介绍了Linux中常用的换行符LF及其在文件中的表示,展示了如何使用sed命令替换换行符,并列举了与换行符处理相关的Linux命令,通过代码讲解的非常详细,需要的... 目录简介检测文件中的换行符使用 cat -A 查看换行符使用 od -c 检查字符换行符格式转换将

详解C#如何提取PDF文档中的图片

《详解C#如何提取PDF文档中的图片》提取图片可以将这些图像资源进行单独保存,方便后续在不同的项目中使用,下面我们就来看看如何使用C#通过代码从PDF文档中提取图片吧... 当 PDF 文件中包含有价值的图片,如艺术画作、设计素材、报告图表等,提取图片可以将这些图像资源进行单独保存,方便后续在不同的项目中使