Java面试题冲刺第二十四天--并发编程
作者:_陈哈哈 发布时间:2023-08-31 05:39:02
面试题1:说一下你对ReentrantLock的理解?
ReentrantLock是JDK1.5引入的,它拥有与synchronized相同的并发性和内存语义,并提供了超出synchonized的其他高级功能(例如,中断锁等候、条件变量等),并且使用ReentrantLock比synchronized能获得更好的可伸缩性。
ReentrantLock主要利用: CAS(compare-and-swap) + AQS(AbstractQueuedSynchronizer)队列来实现。它支持公平锁和非公平锁,两者的实现类似。
CAS:
CAS(compare-and-swap),见名知意,比较并交换。CAS 加 volatile 关键字是实现并发包的基石。没有CAS就不会有并发包,synchronized是一种独占锁、悲观锁,java.util.concurrent中借助了CAS指令实现了一种区别于synchronized的一种乐观锁。
CAS引用了乐观锁思想,每次拿数据的时候都认为别的线程不会修改这个数据,所以不会上锁,但是在更新的时候会通过标记参数判断一下在此期间(更新期间)别的线程有没有已经修改过该标记数据,如果发现有其他线程在修改且未修改完成,并不会像悲观锁那样阻塞线程,而是直接返回,可以去选择再次重试获得锁,也可以直接退出。
举个流程示例
如CAS操作包括三个操作数:需要读写的内存位置(V)、预期原值(A)、新值(B)。如果内存位置与预期原值的A相匹配,说明在此期间(更新期间)别的线程未修改过该标记数据,那么将内存位置的值更新为新值B。如果内存位置与预期原值的值不匹配,那么处理器不会做任何操作。
无论哪种情况,它都会在 CAS 指令之前返回该位置的值。(在 CAS 的一些特殊情况下将仅返回 CAS 是否成功,而不提取当前值。)
AQS:
AQS主要利用硬件原语指令CAS,来实现轻量级多线程同步机制,并且不会引起CPU上文切换和调度,同时提供内存可见性和原子化更新保证(线程安全的三要素:原子性、可见性、顺序性)。
AQS的本质上是一个同步器/阻塞锁的基础框架,其作用主要是提供加锁、释放锁,并在内部维护一个FIFO等待队列,用于存储由于锁竞争而阻塞的线程。
追问1:你认为 ReentrantLock 相比 synchronized 都有哪些区别?
优秀问答摘自:https://ask.csdn.net/questions/1101634
两者的共同点:
都是用来协调多线程对共享对象、变量的访问
都是可重入锁,同一线程可以多次获得同一个锁
都保证了可见性和互斥性
两者的不同点:
ReentrantLock 显示的获得、释放锁,synchronized 隐式获得释放锁;
ReentrantLock 可响应中断、可轮回,synchronized 是不可以响应中断的,为处理锁的不可用性提供了更高的灵活性;
ReentrantLock 是API 级别的,synchronized 是 JVM 级别的;
ReentrantLock 可以实现公平锁;
ReentrantLock 通过 Condition 可以绑定多个条件;
底层实现不一样, synchronized 是同步阻塞,使用的是悲观并发策略,ReentrantLock 是同步非阻塞,采用的是乐观并发策略;
Lock 是一个接口,而 synchronized 是 Java 中的关键字,synchronized 是内置的语言实现;
synchronized 在发生异常时,会自动释放线程占有的锁,因此不会导致死锁现象发生;
而 Lock 在发生异常时,如果没有主动通过 unLock()去释放锁,则很可能造成死锁现象,因此使用 Lock 时需要在 finally 块中释放锁。
Lock lock = new ReentrantLock();
Condition condition = lock.newCondition();
lock.lock();
try {
while(条件判断表达式) {
condition.wait();
}
// 处理逻辑
} finally {
lock.unlock();
}
Lock 可以让等待锁的线程响应中断,而 synchronized 却不行,使用 synchronized 时,等待的线程会一直等待下去,不能够响应中断。
通过 Lock 可以知道有没有成功获取锁,而 synchronized 却无法办到。
Lock 可以提高多个线程进行读操作的效率,就是实现读写锁等。
面试题2:解释一下公平锁和非公平锁?
ReenTrantLock可以指定是公平锁还是非公平锁,而synchronized只能是非公平锁。所谓的公平锁就是先等待的线程先获锁。
我们刚才提及到AQS中,如果线程A正处于lock状态,线程B进来时发现线程A处于lock状态,会自动进入阻塞队列,等待取锁;这时候当线程C也进来了也发现线程A处于lock状态,也会自动进入阻塞队列。那么等A释放锁后,下次加锁到底是线程B先拿到还是线程C先拿到呢?
ReentrantLock有个构造方法用于设置锁的公平性,如果我们仅仅是new了一个ReentrantLock的话,那么就是非公平锁(默认),就是靠自己去争取,完全的随机性。如果我们在new ReentrantLock(true) 加入 true参数时,公平锁,就会遵循先入先出的原则,保证了锁的公平性。
面试题3:能详细说一下CAS具体实现原理么?
首先,CAS的英文单词是Compare and Swap,即是比较并替换。CAS机制中使用了3个基本操作数:内存地址V,旧的预期值A,待替换的新值B。
CAS规则是:当需要更新一个变量的值的时候,只有当变量的预期值A和内存地址V中的实际值相同的时候,才会把内存地址V对应的值替换成B。
下面我们通过一个例子来讲解:
1.在内存地址V中存储的值是陈哈哈
2.线程01想要把变量的值改成侨总,对于线程01而言,内存地址 V=‘陈哈哈’,旧的预期值 A=‘陈哈哈’,需要替换的新值 B=‘侨总’。
3.在线程01要提交更新之前,另外一个线程02抢先一步,将内存地址V中的值更新成了V='比特币'。
4.线程01开始提交更新的时候,按照CAS机制,首先进行A的值与内存地址V中的值进行比较( A=‘陈哈哈’ V=‘比特币’),发现 A != V 中的实际值,提交失败。
5.线程01未获取锁后进行重试,重新获取内存地址V的当前值(V=‘比特币’),并重新赋值想要修改的值(B=‘侨总’)。截至目前,线程01旧的预期值为A='比特币',B='侨总',这个重新尝试的过程被称为自旋。
6.这一次就比较顺利了,没有其他线程改变该变量的值,所以线程01通过CAS机制,比较旧的预期值A与内存地址V的值,相同(V == A),可以替换。
7.线程01进行替换,把地址V(V=‘比特币’)的值替换成B(B=‘侨总’)。
  以上就是一个比较完整的CAS锁冲突的处理方式。
  从思想上来看,synchronized属于悲观锁,悲观的认为程序中的并发问题十分严重,所以严防死守,只让一个线程操作该代码块。而CAS属于乐观锁,乐观地认为程序中的并发问题并不那么严重,所以让线程不断的去尝试更新,在并发问题不严重的时候性能要比synchronized快。
追问1:那CAS的缺陷有哪些呢?
当然,CAS也有缺点,如ABA问题,自旋锁消耗问题、多变量共享一致性问题等。
1.ABA:
问题描述:
线程t1将它的值从A变为B,再从B变为A。同时有线程t2要将值从A变为C。但CAS检查的时候会发现没有改变,但是实质上它已经发生了改变 。可能会造成数据的缺失。
解决方法:
CAS还是类似于乐观锁,同数据乐观锁的方式给它加一个版本号或者时间戳,如AtomicStampedReference
2.自旋消耗资源:
问题描述:
多个线程争夺同一个资源时,如果自旋一直不成功,将会一直占用CPU。
解决方法:
破坏掉for死循环,当超过一定时间或者一定次数时,return退出。JDK8新增的LongAddr,和ConcurrentHashMap类似的方法。当多个线程竞争时,将粒度变小,将一个变量拆分为多个变量,达到多个线程访问多个资源的效果,最后再调用sum把它合起来。
虽然base和cells都是volatile修饰的,但感觉这个sum操作没有加锁,可能sum的结果不是那么精确。
3.多变量共享一致性问题:
解决方法:
CAS操作是针对一个变量的,如果对多个变量操作,
可以加锁来解决。
封装成对象类解决。
追问2:讲一下什么是ABA问题?怎么解决?
ABA:如果另一个线程修改V值假设原来是A,先修改成B,再修改回成A。当前线程的CAS操作无法分辨当前V值是否发生过变化。
举个例子1:
例一:你和女神一起喝茶,女神喝了一半去厕所了,你猥琐的喝了她剩下的半杯,然后又从你杯子里倒了半杯给她,女神回来后也不知道是否被人喝过。
如果觉得例子1太猥琐的话,请看例子2:
例二:
线程1首先执行成功,把余额10000更新为5000(取钱线程)。同时线程2由于某种原因陷入了阻塞状态(取钱线程)。这时候,(线程3)侨总汇款给了我5000元,执行成功,我的账户5000更新为10000元。过一会儿,线程2恢复运行,由于之前阻塞的时候获得了当前值为:10000,并且经过compare检测,此时存款也的确是10000元,所以又成功把变量值从10000更新成了5000。侨总:哈哥,5000给你打过去了!我:查到账户只有5000,你 * 糊弄老子呢??侨总:???我好几十个比特币的人,还在乎你这5000块钱了。。。
今天上午10:30:00:我银行卡有一万块钱,今天我来ATM机取5000块出来买比特币,但由于ATM机硬件问题,导致取款操作同时提交了两遍,后台开启了两个线程(线程1、线程2),两个线程都是获取当前值10000元,要更新成5000元;理想情况下,应该一个线程更新成功,一个线程更新失败,我的存款只扣除一次,也就是余额应为5000元 。
好巧不巧,也是今天上午10:30:00:侨总上次买币欠我5000块,经过我再三催债,表示再不还钱就把你买币的事儿告诉你媳妇!也正巧这个点儿,侨总给我转了5000元到卡里(线程3)。没想到这再正常不过的事儿,缺被ABA问题坑了!我可忍不了!
事情是这样的:
这就是经典的 A → B → A 问题,通过上面的例子,相信同学们也基本了解它的原理了。其实解决方式也很简单,比如例一,我们将每一次倒水假设有一个自动记录仪记录下,这样主人回来就可以分辨在她离开后是否发生过重新倒满的情况。这也是解决ABA问题目前采用的策略。
使用版本号,通过比较值 + 版本号才判断是否可以替换。这么看来如果要解决ABA问题,就需要在CAS基础上在增加一个版本号的校验,当值 + 版本号都相等时,才进行替换,其他部分均不变。
而在Java中,AtomicStampedReference类就实现了用版本号做比较的CAS机制。狗子们,你心里有数了么?
来源:https://blog.csdn.net/qq_39390545/article/details/118577302
猜你喜欢
- 通用配置#下面介绍的整合JDBC和整合MyBatis都需要添加的实体类和配置数据库表#CREATE TABLE `user` ( `id`
- 很多学习Android程序设计的人都会发现每个人对代码的写法都有不同的偏好,比较明显的就是对控件响应事件的写法的不同。因此本文就把这些写法总
- 免责声明:本教程所有资源均来源于网络;仅用于学习交流,请勿用于任何商业行为;如需要,请使用正版授权;侵权联删。推荐最新 IntelliJ I
- 背景传说里玉皇大帝派龙王马上降雨到共光一带,龙王接到玉皇大帝命令,立马从海上调水,跑去共光施云布雨,但粗心又着急的龙王不小心把海里的鲸鱼随着
- 在Linux中创建一个新进程的唯一方法是使用fork()函数。fork()函数是Linux中一个非常重要的函数,和以往遇到的函数有一些区别,
- 简介Springboot Admin是一个管理和监控Springboot项目的组件,分为服务端和客户端,两端通过http进行通信。由于其轻量
- 在本博客中,可以找到一篇《c#实现输出的字符靠右对齐的示例》它有教大家怎样实现字符串输出进行左齐或者是右对齐。本篇的方法,超简单,是使用st
- 本文实例讲述了Hibernate批量处理海量数据的方法。分享给大家供大家参考,具体如下:Hibernate批量处理海量其实从性能上考虑,它是
- 介绍备忘录模式(Memento Pattern)是一种行为型设计模式,它允许在不破坏封装性的前提下,捕获并保存一个对象的内部状态,并在之后可
- public static String toUtf8String(String s) {
- instanceof判断某个对象是否是某个类的实例或者某个类的子类的实例。它的判断方式大概是这样的:public<T> bool
- 在阅读这篇文章之前,大家可以先看下《Java多线程atomic包介绍及使用方法》,了解atomic包的相关内容。一、何谓Atomic?Ato
- 本文实例讲述了C++实现的链表类。分享给大家供大家参考。具体如下:#include <iostream>using namesp
- feign传输List的坑无法直接传输List错误方法1@RequestMapping(value = "/stat/mercha
- 仅供学习交流,禁止商业用途。如侵害利益,联系必删!前言最近一位小伙伴钟爱二次元文化,于是找到半次元这个app,但是很快他就遇到了问题。一、案
- Android 消息机制1.概述Android应用启动时,会默认有一个主线程(UI线程),在这个线程中会关联一个消息队列(MessageQu
- java缓冲流本身不具IO功能,只是在别的流上加上缓冲提高效率,像是为别的流装上一种包装。当对文件或其他目标频繁读写或操作效率低,效能差。这
- 昨天有朋友在公众号发消息说看不懂await,async执行流,其实看不懂太正常了,因为你没经过社会的毒打,没吃过牢饭就不知道自由有多重要,没
- 本文实例为大家分享了C语言实现贪吃蛇游戏的具体代码,供大家参考,具体内容如下IDE用的是 VS2019先看效果 代码全览game.
- 通常情况下我们想实现文字的走马灯效果需要在xml文件中这样设置<TextView android:layout_widt