深入浅出ReentrantLock源码解析
ReentrantLock
不但是可重入锁,而且还是公平或非公平锁,在工作中会经常使用到,将自己对这两种锁的理解记录下来,希望对大家有帮助。
前提条件
在理解ReentrantLock
时需要具备一些基本的知识
理解AQS的实现原理
之前有写过一篇《深入浅出AQS源码解析》关于AQS的文章,对AQS原理不了解的同学可以先看一下
什么是可重入锁
当一个线程已经持有锁,如果该现在再次获取锁,是否可以获取成功?如果能获取成功则说明该锁是可重入的,否则是不可重入的
什么是公平锁和非公平锁
公平与非公平的一个很本质的区别就是,是否遵守FIFO(也就是先来后到)。当有多个线程来申请锁的时候,是否先申请的线程先获取锁,后申请的线程后获取锁?如果是的,则是公平锁,否则是非公平锁。
更准确地说,先申请锁的线程先获得锁竞争的权利。对于公平的排他锁而言,先申请锁的线程会先获取锁,但是对于公平的共享锁而言,先申请锁的线程会先拥有获取锁竞争的权利,其他等待共享锁的线程也会被唤醒,有可能后唤醒的线程先获取锁。
ReentrantLock 源码解析
ReentrantLock
的功能主要是通过3个内部类Sync
、FairSync
和NonfairSync
来实现的,这3个内部类继承了AbstractQueuedSynchronizer
,其中FairSync
和NonfairSync
类继承了Sync
,接下来我们一一解读这几个内部类。
ReentrantLock.Sync类源码解析
由于ReentrantLock.Sync类中的核心代码比较少,原理也比较简单,所以就直接在代码中通过详细注释的方式来解读
abstract static class Sync extends AbstractQueuedSynchronizer {
/**
* 定义了一个抽象方法,用来获取锁
*/
abstract void lock();
/**
* NonfairSync中tryAcquire和、ReentrantLock.tryLock会使用到
* 重要功能:快速尝试获取锁,如果能够获取锁返回true,否则返回false
* 在尝试获取锁的过程中,不会阻塞当前线程,一般情况下是当前线程已经持有锁时
* 才有可能是可以直接获取锁,这也是可重入功能的核心实现
*/
final boolean nonfairTryAcquire(int acquires) {
// 获取当前线程
final Thread current = Thread.currentThread();
/**
* state是AQS对外提供的一个变量,让不同的实现类可以通过这个变量
* 来控制锁被线程获取锁的次数
*/
int c = getState();
// 当state为0表示该锁是没有被任何线程持有
if (c == 0) {
/**
* CAS操作如果成功,说明当前线程竞争到了锁资源,
* 否则被其他线程竞争到了,当前线程需要进入AQS的同步队列
* 对于尝试修改state的值的线程可以同时是多个,
* 他们之间没有先后顺序,这也是非公平的重要体现
*/
if (compareAndSetState(0, acquires)) {
/**
* 当前线程已经持有锁了,设置锁的占有者
*/
setExclusiveOwnerThread(current);
return true;
}
}
/**
* 如果持有锁的线程是当前线程,可以继续尝试获取锁
* 这也是可重入的重要体现
*/
else if (current == getExclusiveOwnerThread()) {
int nextc = c + acquires;
/**
* state是int类型,也就是可重入次数不能低于Integer.MAX_VALUE
*/
if (nextc < 0) // overflow
throw new Error("Maximum lock count exceeded");
/**
* 获取锁以后直接设置state的值
*/
setState(nextc);
return true;
}
/**
* 如果一个线程既不是第一次获取锁,又不是已经获取锁,
* 则该线程无法获取锁,需要进入AQS的同步队列排队
*/
return false;
}
protected final boolean tryRelease(int releases) {
/**
* 计算释放releases个资源后state的值
*/
int c = getState() - releases;
/**
* 持有锁的线程如果不是当前线程,无法释放资源
*/
if (Thread.currentThread() != getExclusiveOwnerThread())
throw new IllegalMonitorStateException();
boolean free = false;
/**
* 当所有的资源全部释放掉(c=0)时,锁的持有者需要设置为null,
* 让后续线程可以来竞争锁
*/
if (c == 0) {
free = true;
setExclusiveOwnerThread(null);
}
/**
* 修改state的状态
*/
setState(c);
return free;
}
protected final boolean isHeldExclusively() {
/**
* 当前线程是否持有锁
*/
return getExclusiveOwnerThread() == Thread.currentThread();
}
ReentrantLock.NonfairSync类源码解析
static final class NonfairSync extends Sync {
/**
* 非公平锁,对外获取锁的步骤:
* 首先,尝试修改state的状态(从0修改成1),如果修改成功说明当前没有任何线程持有锁
* 如果线程获取到锁,则把锁的持有线程设置为当前线程
* 如果无法获取锁,说明锁已经被线程持有,有两种情况:
* 情况1:持有锁的线程是当前线程,可以走可重入的流程
* 情况2:持有锁的线程不是当前线程,需要进入AQS去排队
*/
final void lock() {
if (compareAndSetState(0, 1))
setExclusiveOwnerThread(Thread.currentThread());
else
acquire(1);
}
/**
* 尝试快速获取锁
*/
protected final boolean tryAcquire(int acquires) {
return nonfairTryAcquire(acquires);
}
}
ReentrantLock.FairSync类源码解析
static final class FairSync extends Sync {
/**
* 阻塞方式获取锁
*/
final void lock() {
acquire(1);
}
/**
* 尝试获取公平锁,与上面分析的nonfairTryAcquire方法很类似,
* 重点描述彼此之间的区别
*/
protected final boolean tryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
/**
* 公平锁与非公平锁很大的一个区别是:
* 在尝试获取锁的时候,如果AQS的同步队列中有其他线程在等待获取锁
* 则尝试获取锁失败,需要进入AQS的同步队列排队
* hasQueuedPredecessors方法判断AQS的同步队列是否有线程在等待
*/
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;
}
}
ReentrantLock类源码解析
ReentrantLock
类的实现方式比较简单,主要是依靠NonfairSync
和FairSync
实现的功能
public class ReentrantLock implements Lock, java.io.Serializable {
private final Sync sync;
/**
* 默认是非公平锁
*/
public ReentrantLock() {
sync = new NonfairSync();
}
/**
* 获取锁,获取的时候申请1个资源
*/
public void lock() {
sync.lock();
}
/**
* 可中断的方式获取锁
*/
public void lockInterruptibly() throws InterruptedException {
sync.acquireInterruptibly(1);
}
/**
*
* 尝试获取锁,公平锁和非公平锁都是直接去尝试获取锁
* 一般在使用该方法的时候,如果尝试获取锁失败,会有后续操作,
* 可能是直接调用lock以阻塞的方式来获取锁
*/
public boolean tryLock() {
return sync.nonfairTryAcquire(1);
}
/**
* 带有超时时间的方式尝试获取锁
*/
public boolean tryLock(long timeout, TimeUnit unit)
throws InterruptedException {
return sync.tryAcquireNanos(1, unit.toNanos(timeout));
}
/**
* 释放锁,释放掉1个资源
*/
public void unlock() {
sync.release(1);
}
}
小结
- 对于已经持有锁的线程,优先申请到资源
- 对与没有持有锁的线程,需要等待持有锁的线程释放掉所有资源,包括可重入时申请到的资源
- 公平锁在申请资源的时候要先检查AQS同步队列中是否有等待的线程,也就线程获取锁是按照FIFO的方式
深入浅出ReentrantLock源码解析的更多相关文章
- 深入浅出ReentrantReadWriteLock源码解析
读写锁实现逻辑相对比较复杂,但是却是一个经常使用到的功能,希望将我对ReentrantReadWriteLock的源码的理解记录下来,可以对大家有帮助 前提条件 在理解ReentrantReadWri ...
- 第六章 ReentrantLock源码解析2--释放锁unlock()
最常用的方式: int a = 12; //注意:通常情况下,这个会设置成一个类变量,比如说Segement中的段锁与copyOnWriteArrayList中的全局锁 final Reentrant ...
- 死磕 java同步系列之ReentrantLock源码解析(二)——条件锁
问题 (1)条件锁是什么? (2)条件锁适用于什么场景? (3)条件锁的await()是在其它线程signal()的时候唤醒的吗? 简介 条件锁,是指在获取锁之后发现当前业务场景自己无法处理,而需要等 ...
- ReentrantLock源码解析
ReentrantLock 1 数据结构 从上图可以看出,ReentrantLock的功能都是通过sync这个对象提供的. public class ReentrantLock implements ...
- 深入浅出Semaphore源码解析
Semaphore通过permits的值来限制线程访问临界资源的总数,属于有限制次数的共享锁,不支持重入. 前提条件 在理解Semaphore时需要具备一些基本的知识: 理解AQS的实现原理 之前有写 ...
- Java并发之ReentrantLock源码解析(二)
在了解如何加锁时候,我们再来了解如何解锁.可重入互斥锁ReentrantLock的解锁方法unlock()并不区分是公平锁还是非公平锁,Sync类并没有实现release(int arg)方法,这里会 ...
- Java并发之ReentrantLock源码解析(四)
Condition 在上一章中,我们大概了解了Condition的使用,下面我们来看看Condition再juc的实现.juc下Condition本质上是一个接口,它只定义了这个接口的使用方式,具体的 ...
- 死磕 java同步系列之ReentrantLock源码解析(一)——公平锁、非公平锁
问题 (1)重入锁是什么? (2)ReentrantLock如何实现重入锁? (3)ReentrantLock为什么默认是非公平模式? (4)ReentrantLock除了可重入还有哪些特性? 简介 ...
- ReentrantLock源码解析——虽众但写
在看这篇文章时,笔者默认你已经看过AQS或者已经初步的了解AQS的内部过程. 先简单介绍一下ReentantLock,跟synchronized相同,是可重入的重量级锁.但是其用法则相当不同,首先 ...
随机推荐
- 如何从二进制文件中读取int型序列
使用的主要函数是int.from_bytes 代码如下: f = open('./T26.dat', 'rb') for i in range(20): A = f.read(2) A = int.f ...
- 终于搞明白Unicode,ASCII,UTF8,UCS2编码是啥了
[本文版权归微信公众号"代码艺术"(ID:onblog)所有,若是转载请务必保留本段原创声明,违者必究.若是文章有不足之处,欢迎关注微信公众号私信与我进行交流!] 前言 本文起因于 ...
- OpenCV开发笔记(六十五):红胖子8分钟带你深入了解ORB特征点(图文并茂+浅显易懂+程序源码)
若该文为原创文章,未经允许不得转载原博主博客地址:https://blog.csdn.net/qq21497936原博主博客导航:https://blog.csdn.net/qq21497936/ar ...
- 39 _ 队列5 _ 循环队列需要几个参数来确定 及其含义的讲解.swf
上面讲解都是循环队列,如果是链表实现的话就很简单,队列只有循环队列才比较复杂 此时队列中只存储一个有效元素3,当在删除一个元素的时候,队列为空,pFont向上移动,pFont等于pRear,但是此时p ...
- Idea激活JRebel
选择license激活 UUID 生成地址: http://www.uuid.online 激活地址 http://jrebel-license.jiweichengzhu.com/ UUID
- LIMS产品 - Labware
软件架构 客户端:Labware软件,部分C/S功能 Web服务:Apache Tomcat等,部分B/S功能 后台服务:计划.调度程序,环境监控样.稳定性研究等 数据库驱动:ODBC 报表工具:水晶 ...
- Java设计模式十九——责任链模式
责任链模式 老李的苦恼 每个人在出生的时候,都早已在暗中被标好了三六九等. 老李是一名建筑工地的木匠,和大多数生活在社会最底层的农民工一样,一辈子老实本分,胆小怕事.在他们的心中,谁当老爷都没有区别, ...
- Spring AOP学习笔记05:AOP失效的罪因
前面的文章中我们介绍了Spring AOP的简单使用,并从源码的角度学习了其底层的实现原理,有了这些基础之后,本文来讨论一下Spring AOP失效的问题,这个问题可能我们在平时工作中或多或少也会碰到 ...
- 断路器Hystrix(Feign)
上一篇中我们讲了 断路器Hystrix(Ribbon) 本章讲解Feign+Hystrix已经Request请求传递,各种奇淫技巧…. - Hystrix Hystrix支持回退概念:当 断路器 打开 ...
- Linux下C++动态加载so 调用方法
Windows 下的C++动态加载DLL调用方法 文献参考 http://man7.org/linux/man-pages/man0/dlfcn.h.0p.html http://man7.org/l ...