博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
Java并发编程,深入理解ReentrantLock
阅读量:6528 次
发布时间:2019-06-24

本文共 3063 字,大约阅读时间需要 10 分钟。

ReentrantLock简介

ReentrantLock重入锁, 是实现Lock接口的一个类 ,也是在实际编程中使用频率很高的一个锁, 支持重入性,表示能够对共享资源能够重复加锁,即当前线程获取该锁再次获取不会被阻塞。 ReentrantLock还支持公平锁和非公平锁两种方式。 那么,要想完完全全的弄懂ReentrantLock的话, 主要也就是ReentrantLock同步语义的学习:

  • 重入性的实现原理

  • 公平锁和非公平锁

重入性的实现原理

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

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

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

针对第一个问题,我们来看看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,表示可以再次获取成功。每次重新获取都会对同步状态进行加1的操作。

针对第二个问题,依然还是以非公平锁为例,核心方法为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支持两种锁:

  • 公平锁

  • 非公平锁

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

public ReentrantLock() {    sync = new NonfairSync();}复制代码复制代码

ReentrantLock的有参构造方法,传入一个boolean值,true时为公平锁,false时为非公平锁,源码如下:

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

公平锁的获取,tryAcquire()方法,源码如下:

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的逻辑判断, 方法名就可知道该方法用来判断当前节点在同步队列中是否有前驱节点的判断, 如果有前驱节点说明有线程比当前线程更早的请求资源,根据公平性,当前线程请求资源失败 。 如果当前节点没有前驱节点的话,才有做后面的逻辑判断的必要性。 公平锁每次都是 从同步队列中的第一个节点获取到锁 , 而非公平性锁则不一定,有可能刚释放锁的线程能再次获取到锁。

公平锁与非公平锁的比较:

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

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

转载于:https://juejin.im/post/5cecd13a6fb9a07ea64853c2

你可能感兴趣的文章
Cobertura代码覆盖率测试
查看>>
【selenium学习笔记一】python + selenium定位页面元素的办法。
查看>>
Linux禁止ping
查看>>
【Matplotlib】 标注一些点
查看>>
[AX]乐观并发控制Optimistic Concurrency Control
查看>>
自定义类加载器
查看>>
MySQL数据库事务各隔离级别加锁情况--Repeatable Read && MVCC(转)
查看>>
C++构造函数例程
查看>>
把某一列值转换为逗号分隔字符串
查看>>
DLL,DML,DCL,TCL in Oracle
查看>>
SSE指令集学习:Compiler Intrinsic
查看>>
两种attach to process的方法
查看>>
WCF如何使用X509证书(安装和错误)(二)
查看>>
Dubbo与Zookeeper、SpringMVC整合和使用(负载均衡、容错)
查看>>
iOS中--NSArray调用方法详解 (李洪强)
查看>>
java异步操作实例
查看>>
Centos6.8防火墙配置
查看>>
JAVA多线程的问题以及处理【转】
查看>>
【Java面试题】10 abstract的method是否可同时是static,是否可同时是native,是否可同时是synchronized?...
查看>>
简单记录一次ORA-00600 kcratr_nab_less_than_odr
查看>>