教你完全理解ReentrantLock重入锁


Posted in Javascript onJune 03, 2019

1. ReentrantLock的介绍

ReentrantLock重入锁,是实现Lock接口的一个类,也是在实际编程中使用频率很高的一个锁,支持重入性,表示能够对共享资源能够重复加锁,即当前线程获取该锁再次获取不会被阻塞。在java关键字synchronized隐式支持重入性(关于synchronized可以看这篇文章),synchronized通过获取自增,释放自减的方式实现重入。与此同时,ReentrantLock还支持公平锁和非公平锁两种方式。

那么,要想完完全全的弄懂ReentrantLock的话,主要也就是ReentrantLock同步语义的学习:1. 重入性的实现原理;2. 公平锁和非公平锁。

2. 重入性的实现原理

要想支持重入性,就要解决两个问题:

1. 在线程获取锁的时候,如果已经获取锁的线程是当前线程的话则直接再次获取成功;

2. 由于锁会被获取n次,那么只有锁在被释放同样的n次之后,该锁才算是完全释放成功。

通过这篇文章,我们知道,同步组件主要是通过重写AQS的几个protected方法来表达自己的同步语义。

针对第一个问题,我们来看看ReentrantLock是怎样实现的,以非公平锁为例,判断当前线程能否获得锁为例,核心方法为nonfairTryAcquire:

final boolean nonfairTryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
//1. 如果该锁未被任何线程占有,该锁能被当前线程获取
if (c == 0) {
if (compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
}
//2.若被占有,检查占有线程是否是当前线程
else if (current == getExclusiveOwnerThread()) {
// 3. 再次获取,计数加一
int nextc = c + acquires;
if (nextc < 0) // overflow
throw new Error("Maximum lock count exceeded");
setState(nextc);
return true;
}
return false;
}

这段代码的逻辑也很简单,具体请看注释。

为了支持重入性,在第二步增加了处理逻辑,如果该锁已经被线程所占有了,会继续检查占有线程是否为当前线程,如果是的话,同步状态加1返回true,表示可以再次获取成功。

每次重新获取都会对同步状态进行加一的操作,那么释放的时候处理思路是怎样的了?(依然还是以非公平锁为例)核心方法为tryRelease:

protected final boolean tryRelease(int releases) {
//1. 同步状态减1
int c = getState() - releases;
if (Thread.currentThread() != getExclusiveOwnerThread())
throw new IllegalMonitorStateException();
boolean free = false;
if (c == 0) {
//2. 只有当同步状态为0时,锁成功被释放,返回true
free = true;
setExclusiveOwnerThread(null);
}
// 3. 锁未被完全释放,返回false
setState(c);
return free;
}

代码的逻辑请看注释,需要注意的是,重入锁的释放必须得等到同步状态为0时锁才算成功释放,否则锁仍未释放。如果锁被获取n次,释放了n-1次,该锁未完全释放返回false,只有被释放n次才算成功释放,返回true。

到现在我们可以理清ReentrantLock重入性的实现了,也就是理解了同步语义的第一条。

3. 公平锁与公平锁

ReentrantLock支持两种锁:公平锁和非公平锁。

何谓公平性,是针对获取锁而言的,如果一个锁是公平的,那么锁的获取顺序就应该符合请求上的绝对时间顺序,满足FIFO。ReentrantLock的构造方法无参时是构造非公平锁,源码为:

public ReentrantLock() {
sync = new NonfairSync();
}

另外还提供了另外一种方式,可传入一个boolean值,true时为公平锁,false时为非公平锁,源码为:

public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}

在上面非公平锁获取时(nonfairTryAcquire方法)只是简单的获取了一下当前状态做了一些逻辑处理,并没有考虑到当前同步队列中线程等待的情况。

我们来看看公平锁的处理逻辑是怎样的,核心方法为:

protected final boolean tryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
if (!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;
}
}

这段代码的逻辑与nonfairTryAcquire基本上一致,唯一的不同在于增加了hasQueuedPredecessors的逻辑判断,方法名就可知道该方法用来判断当前节点在同步队列中是否有前驱节点的判断,如果有前驱节点说明有线程比当前线程更早的请求资源,根据公平性,当前线程请求资源失败。如果当前节点没有前驱节点的话,再才有做后面的逻辑判断的必要性。

公平锁每次都是从同步队列中的第一个节点获取到锁,而非公平性锁则不一定,有可能刚释放锁的线程能再次获取到锁。

公平锁 VS 非公平锁

公平锁每次获取到锁为同步队列中的第一个节点,保证请求资源时间上的绝对顺序,而非公平锁有可能刚释放锁的线程下次继续获取该锁,则有可能导致其他线程永远无法获取到锁,造成“饥饿”现象。

公平锁为了保证时间上的绝对顺序,需要频繁的上下文切换,而非公平锁会降低一定的上下文切换,降低性能开销。因此,ReentrantLock默认选择的是非公平锁,则是为了减少一部分上下文切换,保证了系统更大的吞吐量。

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持三水点靠木。

Javascript 相关文章推荐
JavaScript对数字的判断与处理实例分析
Feb 02 Javascript
js淡入淡出的图片轮播效果代码分享
Aug 24 Javascript
jquery验证邮箱格式并显示提交按钮
Nov 07 Javascript
基于JavaScript获取鼠标位置的各种方法
Dec 16 Javascript
炫酷的js手风琴效果
Oct 13 Javascript
Angular之指令Directive用法详解
Mar 01 Javascript
详解Vue用axios发送post请求自动set cookie
May 10 Javascript
vue2.0 根据状态值进行样式的改变展示方法
Mar 13 Javascript
vue中手机号,邮箱正则验证以及60s发送验证码的实例
Mar 16 Javascript
如何构建一个Vue插件并生成npm包
Oct 26 Javascript
vue 数据遍历筛选 过滤 排序的应用操作
Nov 17 Javascript
vue form表单post请求结合Servlet实现文件上传功能
Jan 22 Vue.js
生产制造追溯系统之在线打印功能
Jun 03 #Javascript
产制造追溯系统之通过微信小程序实现移动端报表平台
Jun 03 #Javascript
深入理解 JS 垃圾回收
Jun 03 #Javascript
如何让微信小程序页面之间的通信不再变困难
Jun 03 #Javascript
使用VueRouter的addRoutes方法实现动态添加用户的权限路由
Jun 03 #Javascript
使用watch在微信小程序中实现全局状态共享
Jun 03 #Javascript
深入理解JS异步编程-Promise
Jun 03 #Javascript
You might like
用户的详细注册和判断
2006/10/09 PHP
php下的权限算法的实现
2007/04/28 PHP
php md5下16位和32位的实现代码
2008/04/09 PHP
PHP 转义使用详解
2013/07/15 PHP
基于PHP的简单采集数据入库程序
2014/07/30 PHP
javascript 正则替换 replace(regExp, function)用法
2010/05/22 Javascript
js控制不同的时间段显示不同的css样式的实例代码
2013/11/04 Javascript
jQuery窗口、文档、网页各种高度的精确理解
2014/07/02 Javascript
一个js过滤空格的小函数
2014/10/10 Javascript
jquery中添加属性和删除属性
2015/06/03 Javascript
JavaScript中Function()函数的使用教程
2015/06/04 Javascript
JS实现Select的option上下移动的方法
2016/03/01 Javascript
深入解析Javascript闭包的功能及实现方法
2016/07/10 Javascript
Bootstrap3下拉菜单的实现
2017/02/22 Javascript
如何理解Vue的render函数的具体用法
2017/08/30 Javascript
vue中keep-alive组件的入门使用教程
2019/06/06 Javascript
js构造函数constructor和原型prototype原理与用法实例分析
2020/03/02 Javascript
跟老齐学Python之dict()的操作方法
2014/09/24 Python
Python的collections模块中namedtuple结构使用示例
2016/07/07 Python
python判断单向链表是否包括环,若包含则计算环入口的节点实例分析
2019/10/23 Python
基于Python获取城市近7天天气预报
2019/11/26 Python
DataFrame.to_excel多次写入不同Sheet的实例
2019/12/02 Python
Python sys模块常用方法解析
2020/02/20 Python
Django模板标签{% for %}循环,获取制定条数据实例
2020/05/14 Python
在keras下实现多个模型的融合方式
2020/05/23 Python
css3实现圆锥渐变conic-gradient效果
2020/02/12 HTML / CSS
泰国网上购物:Shopee泰国
2018/09/14 全球购物
介绍一下Ruby中的对象,属性和方法
2012/07/11 面试题
运动会四百米广播稿
2014/01/19 职场文书
仓库规划计划书
2014/04/28 职场文书
2014年国庆标语
2014/06/30 职场文书
教育项目合作协议书格式
2014/10/17 职场文书
活动总结书怎么写
2015/05/11 职场文书
使用pandas生成/读取csv文件的方法实例
2021/07/09 Python
vue如何清除浏览器历史栈
2022/05/25 Vue.js
Python TypeError: ‘float‘ object is not subscriptable错误解决
2022/12/24 Python