6.JUC之ReentrantReadWriteLock
一、概述:
Java纪年1.5年,ReentrantReadWriteLock诞生于JUC,此后,国人一般称它为读写锁。人如其名,他就是一个可重入锁,同时他还是一个读写锁
a)跟ReentrantLock并没有任何的亲属关系
因为ReentrantReadWriteLock在命名上跟ReentrantLock非常贴近,很容易让人认为他跟ReentrantLock有继承关系,其实并没有。ReentrantReadWriteLock 实现了 ReadWriteLock 和 Serializable,同时 ReadWriteLock 跟 Lock 也没有继承关系,
ReadWriteLock 是独立的一个接口,维护了一对相关的锁
,一个用于只读操作,另一个用于写入操作,只要没有 writer,读取锁
可以由多个 reader 线程同时保持。写入锁
是独占的。
ReentrantReadWriteLock 跟 ReentrantLock 只有朋友关系,他们都是 可重入锁
但是ReentrantReadWriteLock 的重入递归层级只有 65535,即读锁能递归65535、写锁也同样能够递归65535层,至于为何是65535呢?在AQS框架的时候说过,AQS是用一个Integer来表示锁的状态。而一个Integer有32位,读锁用一半,写锁用一半,16bit = 65535
b)ReentrantReadWriteLock也有公平性
ReentrantReadWriteLock除了和ReentrantLock一样具有可重入性之外,他们也都具有公平性。既他们都有公平锁和非公平锁的实现。实现方式也差不太远,关于公平性的内容可以查看上一篇博客
二、ReentrantReadWriteLock中的读锁与写锁
ReentrantReadWriteLock 提供一个读写分离的锁,读锁由ReadLock控制,写锁由WriteLock完成。当然读与写是互斥的。如你所知,可读不写,可写不读,即是读写不能同时进行,这就是读写锁
。之所以能做到读写互斥说明他们最终还是用了同一个同步器(Sync),他们依赖于上层(ReentrantReadWriteLock)的同步器,Sync只有一个,所以读锁与写锁不能同时使用
通过查看源码,我们可以得到ReentrantReadWriteLock的以下几个特点:
1.当读锁被持有,不管是被一人持有,还是多人持有,写都需要阻塞。
2.当写锁被持有,当然只有一人能持有(独占), 读锁将会被阻塞
3.读写锁的阻塞方式直接由公平性决定,由FairSync 或 NonFairSync实现
4.读锁可以有多人同时持有,HoldCounter的作用就是当前线程持有共享锁的数量
ReentrantReadWriteLock 中的 WriteLock写锁的获取和释放过程和 ReentrantLock 几乎相同,都是独占排他锁,都是使用了AQS的acquire/release操作
ReadLock读锁就有区别了,前面我们提到 AQS提供了几个抽象方法让子类去实现,其中就有 tryAcquireShared 和 tryReleaseShared,用于共享锁的获取和释放,所以我们这里重点关注下 读锁的获取和释放过程:
读取的获取:
protected final int tryAcquireShared(int unused) {
Thread current = Thread.currentThread();
//锁的持有线程数
int c = getState();
/*
* 如果写锁线程数 != 0 ,且独占锁不是当前线程则返回失败,因为存在锁降级
*/
if (exclusiveCount(c) != 0 &&
getExclusiveOwnerThread() != current)
return -1;
//读锁线程数
int r = sharedCount(c);
/*
* readerShouldBlock():读锁是否需要等待(公平锁原则)
* r < MAX_COUNT:持有线程小于最大数(65535)
* compareAndSetState(c, c + SHARED_UNIT):设置读取锁状态
*/
if (!readerShouldBlock() && r < MAX_COUNT &&
compareAndSetState(c, c + SHARED_UNIT)) {
/*
* holdCount部分后面讲解
*/
if (r == 0) {
firstReader = current;
firstReaderHoldCount = 1;
} else if (firstReader == current) {
firstReaderHoldCount++; //
} else {
HoldCounter rh = cachedHoldCounter;
if (rh == null || rh.tid != current.getId())
cachedHoldCounter = rh = readHolds.get();
else if (rh.count == 0)
readHolds.set(rh);
rh.count++;
}
return 1;
}
return fullTryAcquireShared(current);
}
读锁的获取过程分析:
1.如果写线程持有锁(也就是独占锁数量不为0),并且独占线程不是当前线程(为什么还要满足这个条件,是为了实现 锁降级),那么读取失败
2.如果读线程请求锁数量达到了 65535(包括重入的部分)(state),那么就抛出异常
3.如果读线程不用等待(实际上是 是否需要公平锁),并且增加读取锁状态数成功,那么就返回成功,否则执行下一步
4.上一步失败的原因是 CAS操作修改状态数失败,那么就需要循环不断尝试去修改状态直到成功 或者 锁被写入线程占有
HoldCounter
前面我们提到,读锁可以有多人同时持有,HoldCounter的作用就是记录当前线程持有共享锁的数量(不是记录所有读线程的共享锁数量,那个由state去记录),下面我们看看 HoldCounter是什么东西,又是如何完成计数的
首先我们看到只有在获取共享锁(读锁)的时候 + 1,也只有在释放共享锁的时候 - 1 ,会起作用
强调一下,对于共享锁,其实并不是锁的概念,更像是计数器的概念。一个共享锁就相对于一个计数器操作,一次获取共享锁相当于计数器 + 1,释放一个共享锁相当于计数器 - 1.显然只有线程持有了共享锁(也就是当前线程携带一个计数器,描述自己持有多少个共享锁或者多重共享锁),才能释放一个共享锁。否则一个没有获取共享锁的线程调用一次释放操作就会导致读写锁的state(持有的线程数,包括重入数)错误
先看读锁获取锁的部分:
if (r == 0) { //r == 0,表示第一个读锁线程,第一个读锁firstRead是不会加入到readHolds中
firstReader = current;
firstReaderHoldCount = 1;
} else if (firstReader == current) { //第一个读锁线程重入
firstReaderHoldCount++;
} else { //非firstReader计数
HoldCounter rh = cachedHoldCounter; //readHoldCounter缓存
//rh == null 或者 rh.tid != current.getId(),需要获取rh
if (rh == null || rh.tid != current.getId())
cachedHoldCounter = rh = readHolds.get();
else if (rh.count == 0)
readHolds.set(rh); //加入到readHolds中
rh.count++; //计数+1
}
HoldCounter的定义:
static final class HoldCounter {
int count = 0;
final long tid = Thread.currentThread().getId();
}
在HoldCounter中仅有count和tid两个变量,其中count代表着计数器,tid是线程的id。但是如果要将一个对象和线程绑定起来仅记录tid肯定不够的,而且HoldCounter根本不能起到绑定对象的作用,只是记录线程tid而已。
诚然,在java中,我们知道如果要将一个线程和对象绑定在一起只有ThreadLocal才能实现。所以如下:
static final class ThreadLocalHoldCounter
extends ThreadLocal<HoldCounter> {
public HoldCounter initialValue() {
return new HoldCounter();
}
}
故而,HoldCounter应该就是绑定线程上的一个计数器,而ThradLocalHoldCounter则是线程绑定的ThreadLocal。从上面我们可以看到ThreadLocal将HoldCounter绑定到当前线程上,同时HoldCounter也持有线程Id,这样在释放锁的时候才能知道ReadWriteLock里面缓存的上一个读取线程(cachedHoldCounter)是否是当前线程。这样做的好处是可以减少ThreadLocal.get()的次数,因为这也是一个耗时操作。需要说明的是这样HoldCounter绑定线程id而不绑定线程对象的原因是避免HoldCounter和ThreadLocal互相绑定而GC难以释放它们(尽管GC能够智能的发现这种引用而回收它们,但是这需要一定的代价),所以其实这样做只是为了帮助GC快速回收对象而已
四、总结
关于ReentrantReadWriteLock里面的内容还有很多,有时间还可以去看看源码去品一品,
在Java1.8之前,它是JDK实现的读写锁(ReadWriteLock)的唯一实现。他由读、写锁两部分组成,写是独占锁,而读是共享锁,且读写互斥
ReentrantReadWriteLock和ReentrantLock并无关系,但是他们有很多类似的地方,比如都具有可重入性、都有两种获取锁的策略:公平与非公平,与ReentrantLock一样在非公平模式能获得更高的OPS
6.JUC之ReentrantReadWriteLock的更多相关文章
- JUC 一 ReentrantReadWriteLock
java.util.concurrent.locks ReentrantLock是独占锁,一种相对比较保守的锁策略,在这种情况下任何"读/读"."读/写".&q ...
- 最强Java并发编程详解:知识点梳理,BAT面试题等
本文原创更多内容可以参考: Java 全栈知识体系.如需转载请说明原处. 知识体系系统性梳理 Java 并发之基础 A. Java进阶 - Java 并发之基础:首先全局的了解并发的知识体系,同时了解 ...
- Java多线程系列--“JUC锁”08之 共享锁和ReentrantReadWriteLock
概要 Java的JUC(java.util.concurrent)包中的锁包括"独占锁"和"共享锁".在“Java多线程系列--“JUC锁”02之 互斥锁Ree ...
- Java - "JUC" ReentrantReadWriteLock
Java多线程系列--“JUC锁”08之 共享锁和ReentrantReadWriteLock ReadWriteLock 和 ReentrantReadWriteLock介绍 ReadWriteLo ...
- 【Java并发】JUC—ReentrantReadWriteLock有坑,小心读锁!
好长一段时间前,某些场景需要JUC的读写锁,但在某个时刻内读写线程都报超时预警(长时间无响应),看起来像是锁竞争过程中出现死锁(我猜).经过排查项目并没有能造成死锁的可疑之处,因为业务代码并不复杂(仅 ...
- 【JUC】JDK1.8源码分析之ReentrantReadWriteLock(七)
一.前言 在分析了锁框架的其他类之后,下面进入锁框架中最后一个类ReentrantReadWriteLock的分析,它表示可重入读写锁,ReentrantReadWriteLock中包含了两种锁,读锁 ...
- 【JUC】JDK1.8源码分析之ReentrantReadWriteLock
重入锁ReentrantLock是排他锁,排他锁在同一时刻仅有一个线程可以进行访问,但是在大多数场景下,大部分时间都是提供读服务,而写服务占有的时间较少.然而读服务不存在数据竞争问题,如果一个线程在读 ...
- JUC——线程同步锁(ReentrantReadWriteLock读写锁)
读写锁简介 所谓的读写锁值得是两把锁,在进行数据写入的时候有一个把“写锁”,而在进行数据读取的时候有一把“读锁”. 写锁会实现线程安全同步处理操作,而读锁可以被多个对象读取获取. 读写锁:ReadWr ...
- 【JUC源码解析】ReentrantReadWriteLock
简介 ReentrantReadWriteLock, 可重入读写锁,包括公平锁和非公平锁,相比较公平锁而言,非公平锁有更好的吞吐量,但可能会出现队列里的线程无限期地推迟一个或多个读线程或写线程的情况, ...
随机推荐
- IDEA子项目的相互依赖
A项目依赖B项目 一.B项目打包,执行install 这一步其实就是把你的项目打包到本地仓库,你可以在本地仓库看到相应的jar包 二.在A项目的pom.xml引入依赖可以了 当B项目修改后,需要重新打 ...
- Qt编写气体安全管理系统15-网络转发
一.前言 在本系统中网络转发是个什么功能含义呢,其实就是将本地采集设备的所有数据打包发送到指定的网络地址,默认采用UDP的形式,无连接开销小,我也是看到很多的组态软件有这个功能,其实现有的很多的气体探 ...
- ubuntu 18.04使用sysbench测试MySQL性能
首先下载安装sysbench: sudo apt-get install sysbench -y 查看一下sysbench版本是多少: zifeiy@zifeiy-S1-Series:~$ sysbe ...
- C# 获取或设置指定 config 文件的值
ExeConfigurationFileMap 这个类提供了修改.获取指定 config 的功能:新建一个 ExeConfigurationFileMap 的实例 ecf :并设置 ExeConfig ...
- python扫描器-sqlalchemy入库操作
学习 [Python]Flask系列-数据库笔记 实践 #!/usr/bin/env python # -*- coding: utf-8 -*- from sqlalchemy import cre ...
- Kubernetes环境部署
简介 Kubernetes 是一个开源系统,用于容器化应用的自动部署.扩缩和管理.它将构成应用的容器按逻辑单位进行分组以便于管理和发现. 配置镜像源 Debian / Ubuntu apt-get ...
- asp.net编程基础
vs常用两个快捷键:打开即时窗口 ctrl+alt+i : 快速代码格式排版:ctrl+k+d 一:Page:页面 Page.IsPostBack 判断页面是否第一次加载用 if(Page.IsPo ...
- C++用于类型转换的4个操作符
Dynamic_cast, const_cast, static_cast, reinterpret_cast. (1)reinterpret_cast 用于基本的类型转换.如 in *ip; ...
- Python3实现自动查询成绩(主要使用的包有Tesseract-OCR、PIL、execjs、pytesseract、BeautifulSoup)
前提:本文仅作为技术训练,不可利用技术做非法的事. 某考试的成绩查询页面如下:查询成绩需要的数据有准考证号或者身份证.考生姓名.验证码.现在使用python来实现自动查询指定人员的考试成绩(不知道准考 ...
- 简单实现SpringBoot启动
一.准备: IDEA 使用简单手写导包实现spring boot,未使用idea自带的spring创建方法 可以更加简单理解springboot启动过程 二.开始 1.打开idea创建project ...