欢迎来到《并发王者课》,本文是该系列文章中的第15篇

在上篇文章中,我们介绍了Java中锁的基础Lock接口。在本文中,我们将介绍Java中锁的另外一个重要的基本型接口,即ReadWriteLock接口。

在探索Java中的并发时,ReadWriteLock无疑是重要的,然而理解它却并不容易。如果你此前曾经检索资料,应该会发现大部分的文章对它的描述都比较晦涩难懂,或连篇累牍的源码陈列,或隔靴搔痒的三言两语,既说不到重点,也说不清来龙去脉。

所以,在本文中我们会将介绍的重点放在对思路的理解上,而不是对源码的解读上。对于源码以及其背后的知识,我们将在后面的更高级的系列中进行讲解。

一、理解ReadWriteLock存在的价值

理解ReadWriteLock,首页要理解它存在的意义是什么。换言之,它要解决什么问题。为此,我们不妨从下图着手一探究竟。

不知你看明白了没有,这幅图所表达的有三层含义:

  • 大量线程在竞争同一份资源;
  • 这些线程中有的是读请求,有的是写请求
  • 在多个线程的请求中,读请求明显高于写请求

这样的场景是否似曾相识?没错,它就是典型的缓存应用场景

众所周知,缓存的存在是为了提高应用的读写性能。一方面,我们需要通过缓存拦截大量的读数据的请求。另一方面,我们也需要不定期地更新缓存。但总体而言,更新缓存的次数远远小于读缓存的次数

在这个过程中,关键问题在于,为了保持数据一致性,我们在读写缓存的时候,不能让读请求拿到脏数据,这就需要用到锁。然而,更关键的问题在于,虽然读写之间需要互斥,但读与读之间不可以互斥

总结来说,这个问题主要有下面这几个要点:

  • 数据允许多个线程同时读取,但只允许一个线程进行写入
  • 在读取数据的时候,不可以存在写操作或者写请求
  • 在写数据的时候,不可以存在读请求

如果你对此仍然有些迷茫,那么下面这张图建议你收藏,这张图正是ReadWriteLock对问题的概述和它的解决方案,也是诠释ReadWriteLock最好的一幅图。

在你没有理解ReadWriteLock之前,你会觉得它十分晦涩且源码枯燥。然而,一旦你理解它要解决的问题,以及它所提供的方案后,你会发现它的设计竟然如此巧妙。它竟然设计了两种截然不同的锁,其中一把正如我们此前认知的那样是线程互斥的,而另一把锁竟然可以为多个线程所共享!两把锁的完美配合,解决了并发读写的场景问题。

在恍然大悟后,所谓源码不过是队列与共享,它们是ReadWriteLock的一种实现方式,而不是阻挡你理解的绊脚石。

二、自主实现ReadWriteLock

在理解了ReadWriteLock背后的问题和它的解决思路之后,我们就可以完全抛开JDK中的源码自己实现一把读写锁。

public class ReadWriteLock{

  private int readers       = 0;
private int writers = 0;
private int writeRequests = 0; public synchronized void lockRead() throws InterruptedException{
while(writers > 0 || writeRequests > 0){
wait();
}
readers++;
} public synchronized void unlockRead(){
readers--;
notifyAll();
} public synchronized void lockWrite() throws InterruptedException{
writeRequests++; while(readers > 0 || writers > 0){
wait();
}
writeRequests--;
writers++;
} public synchronized void unlockWrite() throws InterruptedException{
writers--;
notifyAll();
}
}

在读锁lockRead()中,是不允许有写请求写操作的。如果有,那么读请求将进入等待。

而在lockWrite()中,同时不允许读请求和其他写操作的存在,此时只允许有一个写请求

以上就是读写锁简单的自主实现方式。当然,它是不完善的,只是基本的示例。它没有考虑到基本的线程重入问题,真实情况也比它复杂很多,但你理解它的意思就好。

三、Java中的ReadWriteLock是如何实现的

最后,我们再来看JDK中的ReadWriteLock实现的一些基本思路。ReadWriteLock和我们上篇所说的Lock接口以及其他类的基本关系如下图所示:

可以看到,JDK中的读写锁的实现是在ReentrantReadWriteLock这个类中。ReentrantReadWriteLock包含了两个内部类:ReadLock和WriteLock,而这两个类又实现了Lock接口。

读写锁的升级与降级

读写锁的升级与降级是ReentrantReadWriteLock中的一个重要知识点,也是高频的面试题。

从读锁到写锁,称之为锁的升级,反之为锁的降级。理解读写锁的升级和降级,最直观的方式是写代码验证。

代码片段1,先获取读锁,再获取写锁。

public class ReadWriteLockDemo {
public static void main(String[] args) {
ReadWriteLock readWriteLock = new ReentrantReadWriteLock();
readWriteLock.readLock().lock();
System.out.println("已经获取读锁...");
readWriteLock.writeLock().lock();
System.out.println("已经获取写锁...");
}
}

输出结果如下:

已经获取读锁...

代码片段2,先获取写锁,再获取读锁:

public class ReadWriteLockDemo {
public static void main(String[] args) {
ReadWriteLock readWriteLock = new ReentrantReadWriteLock();
readWriteLock.writeLock().lock();
System.out.println("已经获取写锁...");
readWriteLock.readLock().lock();
System.out.println("已经获取读锁...");
}
}

输出结果如下:

已经获取写锁...
已经获取读锁... Process finished with exit code 0

这样一来,结果已经十分明了。ReentrantReadWriteLock支持锁的降级,但不支持锁的升级

读写锁中的公平性

在前面的文章中,我们讲过线程饥饿的由来和后果,所以良好的并发工具类在设计时都会考虑到公平性,ReentrantReadWriteLock也是如此。

在ReentrantReadWriteLock中,同时提供了公平和非公平两种模式,且默认为非公平模式。从下面摘取的源码片段中,可以清晰地看到。

 public ReentrantReadWriteLock() {
this(false);
} /**
/**
* Creates a new {@code ReentrantReadWriteLock} with
* default (nonfair) ordering properties.
*/
public ReentrantReadWriteLock() {
this(false);
} /**
* Creates a new {@code ReentrantReadWriteLock} with
* the given fairness policy.
*
* @param fair {@code true} if this lock should use a fair ordering policy
*/
public ReentrantReadWriteLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
readerLock = new ReadLock(this);
writerLock = new WriteLock(this);
}

小结

以上就是关于读写锁的全部内容。在本文中,我们从缓存问题出发,接着从ReadWriteLock中寻找答案,以便能从更轻松的角度理解ReadWriteLock的来龙去脉。

理解ReadWriteLock的关键不在于对源码的剖析,而在于对其思路的理解。

另外,我们简单地介绍了ReentrantReadWriteLock中的一些关键知识点,但诸如其背后的AQS等并没有展开陈述。对此也不必着急,我们会在后面有详细的分析介绍。

正文到此结束,恭喜你又上了一颗星

夫子的试炼

  • 尝试在示例代码中增加对读写线程的重入支持。

延伸阅读与参考资料

关于作者

关注公众号【庸人技术笑谈】,获取及时文章更新。记录平凡人的技术故事,分享有品质(尽量)的技术文章,偶尔也聊聊生活和理想。不贩卖焦虑,不做标题党。

如果本文对你有帮助,欢迎点赞关注监督,我们一起从青铜到王者

并发王者课-铂金2:豁然开朗-“晦涩难懂”的ReadWriteLock竟如此妙不可言的更多相关文章

  1. 并发王者课-铂金1:探本溯源-为何说Lock接口是Java中锁的基础

    欢迎来到<并发王者课>,本文是该系列文章中的第14篇. 在黄金系列中,我们介绍了并发中一些问题,比如死锁.活锁.线程饥饿等问题.在并发编程中,这些问题无疑都是需要解决的.所以,在铂金系列文 ...

  2. 并发王者课-铂金6:青出于蓝-Condition如何把等待与通知玩出新花样

    欢迎来到<[并发王者课](https://juejin.cn/post/6967277362455150628)>,本文是该系列文章中的**第19篇**. 在上一篇文章中,我们介绍了阻塞队 ...

  3. 并发王者课-铂金8:峡谷幽会-看CyclicBarrier如何跨越重峦叠嶂

    欢迎来到<并发王者课>,本文是该系列文章中的第21篇,铂金中的第8篇. 在上一篇文章中,我们介绍了CountDownLatch的用法.在协调多线程的开始和结束时,CountDownLatc ...

  4. 并发王者课-铂金9:互通有无-Exchanger如何完成线程间的数据交换

    欢迎来到<并发王者课>,本文是该系列文章中的第22篇,铂金中的第9篇. 在前面的文章中,我们已经介绍了ReentrantLock,CountDownLatch,CyclicBarrier, ...

  5. 并发王者课-铂金10:能工巧匠-ThreadLocal如何为线程打造私有数据空间

    欢迎来到<并发王者课>,本文是该系列文章中的第23篇,铂金中的第10篇. 说起ThreadLocal,相信你对它的名字一定不陌生.在并发编程中,它有着较高的出场率,并且也是面试中的高频面试 ...

  6. 并发王者课 - 青铜4:synchronized用法初体验

    在前面的文章<双刃剑-理解多线程带来的安全问题>中,我们提到了多线程情况下存在的线程安全问题.本文将以这个问题为背景,介绍如何通过使用synchronized关键字解这一问题.当然,在青铜 ...

  7. 并发王者课 - 青铜 2:峡谷笔记 - 简单认识Java中的线程

    在前面的<兵分三路:如何创建多线程>文章中,我们已经通过Thread和Runnable直观地了解如何在Java中创建一个线程,相信你已经有了一定的体感.在本篇文章中,我们将基于前面的示例代 ...

  8. 并发王者课-青铜5:一探究竟-如何从synchronized理解Java对象头中的锁

    在前面的文章<青铜4:synchronized用法初体验>中,我们已经提到锁的概念,并指出synchronized是锁机制的一种实现.可是,这么说未免太过抽象,你可能无法直观地理解锁究竟是 ...

  9. 并发王者课-青铜7:顺藤摸瓜-如何从synchronized中的锁认识Monitor

    在前面的文章中,我们已经体验过synchronized的用法,并对锁的概念和原理做了简单的介绍.然而,你可能已经察觉到,有一个概念似乎总是和synchronized.锁这两个概念如影相随,很多人也比较 ...

随机推荐

  1. 【Git】3. Git重要特性-分支操作,合并冲突详解

    一.分支介绍 在版本控制过程当中,有时候需要同时推进多个任务,这样的话,就可以给每个任务创建单独的分支. 有了分支之后,对应的开发人员就可以把自己的工作从主线上分离出来,在做自己分支开发的时候,不会影 ...

  2. SSM中事务的配置模板

    Spring-tx.xml 配置思路: 1. 声明事务管理器DataSourceTransactionManager,并注入数据源dataSource属性 2.配置事务增强<tx:advice& ...

  3. 0902-用GAN生成动漫头像

    0902-用GAN生成动漫头像 目录 一.概述 二.代码结构 三.model.py 3.1 生成器 3.2 判别器 四.参数配置 五.数据处理 六.训练 七.随机生成图片 八.训练模型并测试 pyto ...

  4. c++vs类图

    安装visual studio扩展开发工具 一定要勾选右侧栏中的类设计器 安装完成后在菜单栏点击视图--类视图,会出现类视图框,在框中右键项目--查看类视图,就自动生成了.

  5. Zookeeper详细使用解析!分布式架构中的协调服务框架最佳选型实践

    Zookeeper概念 Zookeeper是分布式协调服务,用于管理大型主机,在分布式环境中协调和管理服务是很复杂的过程,Zookeeper通过简单的架构和API解决了这个问题 Zookeeper实现 ...

  6. 传统 BI 如何转大数据数仓

    前几天建了一个数据仓库方向的小群,收集了大家的一些问题,其中有个问题,一哥很想去谈一谈--现在做传统数仓,如何快速转到大数据数据呢?其实一哥知道的很多同事都是从传统数据仓库转到大数据的,今天就结合身边 ...

  7. JAVA基础——变量、常量

    变量 java中,变量时最基本的存储单元,其要素包括变量名,变量类型和作用域. 注意事项: 每个变量都有类型,类型可以是基本类型,也可以是引用类型. 变量名必须是合法的标识符 变量声明时一条完整的语句 ...

  8. 009.kubernets的调度系统之污点和容忍

    Taints和Tolerations(污点和容忍) Taint需要与Toleration配合使用,让pod避开那些不合适的node.在node上设置一个或多个Taint后,除非pod明确声明能够容忍这 ...

  9. power delivery功率输出

    delivery

  10. PCB布线规范

    模拟电路和数字电路PCB设计的不同点 http://linear.eefocus.com/module/forum/thread-593593-1-1.html 合集   PCB给种设计资料 http ...