java 时间戳_Java并发编程之CAS三CAS的缺点 及解决办法
Java并发编程之CAS第三篇-CAS的缺点
通过前两篇的文章介绍,我们知道了CAS是什么以及查看源码了解CAS原理。那么在多线程并发环境中,的缺点是什么呢?这篇文章我们就来讨论讨论
本篇是《凯哥(凯哥Java:kagejava)并发编程学习》系列之《CAS系列》教程的第三篇:CAS的缺点有哪些?怎么解决。
CAS的缺点
一:do while循环时间长的话开销大
从源码中(见上图),我们可以知道do while中的while返回true会一直循环下去(具体分析步骤见上一篇:《Java并发编程之CAS二源码追根溯源》。凯哥(凯哥Java:kaigejava)就不在这里赘述了)。如果并发量很多的话,比如:有十万个线程来并发处理,这这种业务下,很多线程都会修改共享变量,要保证原子性的话,循环会很长时间,假设每个线程为了保证原子性,循环耗时0.001s的话,那么十万个线程都这么循环下来,对CPU的消耗还是比较大的。
二:只能保证一个共享变量的原子性
从源码中,我们知道 Object var1其实就是对象自己。拿上一篇文章举的例子来说,其实就是atomicInteger自己,也就是共享变量。CAS的do while只能一个this一个this的比较。从这里就可以看出,CAS只能保证一个共享变量的原子性。但是如果用同步锁的话,锁是可以锁对象也可以锁代码块。锁操作的可以不是一个共享变量。
三:会出现新的问题:ABA问题
何为ABA问题呢?
先来看看现实生活的例子:
学校举行运动会,标准操场一圈400米,现在正在进行1200米比赛。1200=400*3.需要跑上三圈。小明和小红比赛,在刚开始的时候,大家都看到小明,小红都在起点,但是小红速度比小明快2/3。这个时候,小明爸爸拿着相机拍摄,在起点时候,拍摄小明,3分钟过后,我们再来看起点,是小红。7分钟之后,在看起点是小明。难道小红就跑了一圈吗?这当然不对。小红比小明快,当我们第二次看到小明的时候,小红其实三圈已经跑完了。最终出现的情况就是:小明(小红)小红小明(小红)小明。最终获胜的当然是小红
这个例子或者不是很恰当。但是凯哥是想通过这个例子告诉大家,当线程如果出现这种情况的话,会影响到数据结果的。
如下图:
说明:
A线程执行一次耗时:1分钟
B线程执行一次耗时“29.5s
B线程在A线程执行一次的时间内操作主内存的数据变化为:202020192020
当B线程执行2次操作之后,1分钟到了。A线程拿着自己工作区copay的副本值i=2020和主内存的值i=2020。正好相等,这个时候会,主内存的共享变量相对于A线程来说,是没有变化的。但是实际上是有变化的(B线程确实操作过的。如上面举例的,小红已经跑完三圈了。可是小明才跑第二圈呢),如果这个时候在操作,有可能导致数据出问题(赛跑最终结果是小红赢了,而不是小明赢了)。
所谓的ABA就是:在某个监控点的时候数据是A,当过了时间N之后,在监控的时候还是A。但是在时间N的这段时间内,监控点的数据有可能不是A了,变成过B。这样就更容易理解了吧。
ABA问题演示代码:
代码说明:
初始的时候,给了变量值为2020.也就是V=2020.如上图1
在经过线程A一顿猛如虎的操作之后,搞出来2020,2021,2020.ABA的效果处理。如上图2.
Sleep了1秒是为了让线程A完成ABA操作的。
然后,线程2在拿着自己副本的变量值A=2020,和主内存V进行比较。发现一致,就更新了2019.
运行结果如下图:
从运行结果来看,线程2也更新成功了。但是,这样是不对的。因为我们已经知道线程A对共享变量操作过了。那么针对CAS的这些缺点,应该怎么解决呢?欢迎继续学习下一篇。凯哥将介绍三个怎么解决。以及会讲解原子引用、时间戳原子引用两个问题。
CAS缺点解决办法
一:循环长,开销大解决方案
解决思路:ConcurrentHashMap(后面凯哥也会详细介绍的)类似的方法。当多个线程竞争时,将粒度变小,将一个变量拆分为多个变量,达到多个线程访问多个资源的效果,最后再调用sum把它合起来。
二:一个共享变量的解决方案
因为CAS只能一个共享变量一个共享变量的处理。如果想要处理类是代码块或者对象的。可以使用同步锁或者是多个变量放到一个对象里面。然后在CAS。因为在JUC包下,有支持对象的原子类,如:AtomicReference(原子引用类)。
原子引用
在Java中变量的类型分为八大基本类型或八大基本类型的对象类型或者是自定义的对象类型。在并发中,atomicInteger就是基本类型就是int/Integer的原子类。那么自定义的对象怎么实现原子性呢?这就要用到原子引用对象- AtomicReference。
原子引用demo:
我们来模拟凯哥心中女神变化过程(注:女神同时只能存在一个,不能存在多个,要保持单一,原子的)。
在X年之前是刘亦菲,X+N年后是林依晨,现在是佟丽娅了。我们知道,这三个女神都是对象。都有年龄、用户名,是个对象。
创建user对象
她们三个在凯哥心中活动如下:
那么请问在21和23行输入的结果是什么?
编辑
我们发现在23行依然输出的是林依晨。而不是佟丽娅。为什么呢?分析思路见:《Java并发编程之CAS一理解》篇文章的三:cas代码演示部分。
我们修改之后再来看:
运行结果:
发现心中女神已经更新为佟丽娅了
三:ABA问题解决
ABA问题产生的根本原因是因为:只是线程自己工作空间的变量预期值(副本)和主内存中的值进行了比较。当值相等的时候,就默认没有被其他线程更新过。那么怎么解决这个问题呢?
是不是可以添加一个东西,用来辅助呢?添加一个标记,或者一个版本号,根据版本号+数值来进行判断呢?当然可以了,JDK中也是这么实现的。JDK使用的是时间戳(stamp),而不是我们说的版本号(version)。我们来看看时间戳原子引用(AtomicStampedReference).
我们来看看这个类。
时间戳原子引用demo
先看构造器:
参数说明:
initialRef:初始值
initialStamp:初始值的时间戳
再来看看CompareAndSet方法:
参数说明:
expectedReference:预期值
newReference:更新值
expectedStamp:预期时间戳值
newStamp:更改后时间戳值
我们发现这个AtomicStampedReference类和AtomicReference的方法中的区别就是时间戳原子引用类中的方法都添加了预期的时间戳值和修改后的时间戳的值这两个参数。
我们来看看,使用带有时间戳的原子引用类解决ABA问题的代码:
1:声明共享变量
static AtomicStampedReference atomicStampedReference = new AtomicStampedReference<>(127,1);
(需要说明,如果用数值做demo的话,主要int的取值范围。如果大于127,就会始终返回false。因为 Integer(128) == Integer(128)返回的是false)
线程一先修改执行一个ABA的过程:
编辑
执行完成之后,当前的主内存中版本号应该是3了。
我们在用线程2来执行compareAndSet:
此时,在线程2中的版本号:tamp应该是1,但是主内存中的版本号已经是3了。所以执行后返回false.执行不成功的。
我们来看看运行结果和我们预期结果:
运行结果,和我们预期结果是一致的。说明,添加这个时间戳(版本号)可以解决ABA问题
java 时间戳_Java并发编程之CAS三CAS的缺点 及解决办法相关推荐
- java并发编程_Java并发编程之 synchronized
大家好,我是你们的导师,我每天都会在这里给大家分享一些干货内容(当然了,周末也要允许老师休息一下哈).上次老师跟大家分享了下Java中内存泄漏如何分析解决的相关知识,今天跟大家分享Java之 sync ...
- java final的内存_Java并发编程之final域的内存语义
一.final域的重排序规则 对于final域,编译器和处理器要遵循两个重拍序规则: 1.在构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序 ...
- java futuretask 状态_java并发编程之FutureTask
引言 FutureTask实现了接口Future,同Future一样,代表异步计算的结果.当然,FutureTask除了实现Future接口之外,还实现了Runnable接口,所以,FutureTas ...
- java的condition_java并发编程之Condition
引言 在java中,对于任意一个java对象,它都拥有一组定义在java.lang.Object上监视器方法,包括wait(),wait(long timeout),notify(),notifyAl ...
- java happens before_Java并发编程之happens-before
happens-before是JMM最核心的概念,理解happens-before是理解JMM的关键. 一.JMM的设计 首先,让我们先分析一下JMM的设计意图.从JMM的设计者的角度,在设计JMM的 ...
- java master work_并发编程之Master-Worker模式
我们知道,单个线程计算是串行的,只有等上一个任务结束之后,才能执行下一个任务,所以执行效率是比较低的. 那么,如果用多线程执行任务,就可以在单位时间内执行更多的任务,而Master-Worker就是多 ...
- udp java 编程_JAVA 网络编程之UDP编程
多线程,网络编程,反射,集合是java语言的重头戏,其中反射是java一切框架的基石. 客户端: SocketAddress sa =new InetSocketAddress("10.1 ...
- Java并发编程之CAS第三篇-CAS的缺点
Java并发编程之CAS第三篇-CAS的缺点 通过前两篇的文章介绍,我们知道了CAS是什么以及查看源码了解CAS原理.那么在多线程并发环境中,的缺点是什么呢?这篇文章我们就来讨论讨论 本篇是<凯 ...
- 深入理解并发编程之CAS无锁机制与ABA问题
深入理解并发编程之CAS无锁机制与ABA问题 文章目录 深入理解并发编程之CAS无锁机制与ABA问题 前言 一.什么是CAS无锁机制 二.CAS原理分析 1.AtomicLong自增分析 2.基于At ...
最新文章
- android短信照片换ios9,iOS9不越狱恢复短信和照片方法说明
- AI 行业寒冬犹在:融资规模不足巅峰时期一半,上市潮将伴随倒闭潮
- Boost:字符串正则表达式的测试程序
- python 抛出异常_python 异常
- 无源的nfc加传感_基于ON Semiconductor SPS无源温度标签,应用于冷链运输的 UHF 标签读取器方案...
- (pytorch-深度学习)实现残差网络(ResNet)
- sqlplus 登录oracle 报ERROR: ORA-01034:ORACLE not available ORA-27101:shared memory realm does not exit
- 12999元!小米MIX FOLD致敬未来尊享礼盒上线:限量100套 想买先抽签
- MATLAB 提取*.m 文件调用的所有函数
- UI2CODE智能生成flutter代码--整体架构 资料下载
- nodejs 图片处理模块 rotate_会照片处理的不只是ps,还有python!
- 压力测试jmeter入门教程
- 手持式频谱分析仪推荐哪一款?
- excel 嵌套html,excel 多层if嵌套怎么优化
- Element UI学习记录之布局
- 百度地图Polyline画直线
- win10打开蓝牙_双系统共用蓝牙键鼠(win10+macOS)
- 7-4 帅到没朋友(20 分)
- BLOCK层代码分析(1)数据的组织BIO
- 五方法破解Linux(CentOS7.4)系统的root密码
热门文章
- JDK的bug导致Java文件删除不了,必须fgc
- 火狐浏览器jtopo节点切换tab后消失报错NS_ERROR_FAILURE的解决
- mysql ---- DQL(单表查询)
- java移动元素_如何通过箭头键连续/平滑地移动元素?
- linux 下安装minio并配置
- Java 中初始化 List 集合的 7 种方式
- springboot开启gzip压缩(springboot 1.3以上适用)
- Java 8 新特性 Stream类的collect方法
- Java中线程的生命周期-图解
- css怎样使鼠标移到div上显示手型