时间:2021-05-20
在学习多线程时,遇到了原子变量类,它是基于 CAS 和 volatile 实现的,能够保障对共享变量进行 read-modify-write 更新操作的原子性和可见性。于是我就写了一段代码试试,自认为非常正确。
public class Test{ private static AtomicInteger ID = new AtomicInteger(0); public static int nextID(){ //返回的ID范围为 1~100 if(ID.get() == 100) { //ID到达100时,则从1开始 ID.set(1); return ID.get(); // return ID = 1; } else return ID.incrementAndGet(); //++ID } public static void main(String[] args) throws Exception{ for(int i = 0; i < 5; i++){ new Thread(()->{ for(int j = 0; j < 100; j++) nextID(); }).start(); } Thread.sleep(1000); //应该输出100才对 System.out.println(ID); }}用五个线程并发获得ID,每个线程获取100个,最后应该输出100才是,但试了好几次都不是100。原子变量类不是能保障原子性和可见性吗,为什么出现了竞态?
纠结了很久,还是很懵逼。后来发现 get 方法相当于读取一个 volatile 变量,而读取一个 volatile 变量时,不具备排他性!(AtomicInteger类内部使用了volatile修饰了value值,而volatile关键字不具备排他性)
也就是说,当一个线程刚读取到了共享的 volatile 变量的值时,其他线程可会马上对共享变量进行修改。如,线程A读取到ID的值为99时(还没对ID进行修改),其他线程可能马上就将ID加1了,此时共享变量为100了,其他线程再获取ID时,应该令ID=1才是,但线程A已经进入了else分支,它还认为ID=99,而不知道其他线程刚把ID加1变成了100,所以会吧ID加上1变成了101,这就出现了竞态。
《Java多线程编程实战指南 - 核心篇》中,作者说:“可见性的保障仅仅意味着一个线程能够读取到共享变量的相对新值,而不能保障该线程能读取到相应变量的最新值”。如volatile对可见性的保障就是保障的相对新值,由于volatile不具备排他性,所以有可能读线程刚读到一个相对新值,写线程就更改了共享变量,此时,读线程刚刚读取到的相对新值就不是最新的了。
作者对相对新值和最新值的定义:
对于同一个共享变量而言,一个线程更新了该变量的值之后,其他线程能够读取到这个更新后的值,那这个值就被称为该变量的 相对新值。
如果读取这个共享变量的线程在读取并使用该变量的时候其他线程无法更新该变量的值,那么该线程读取到的相对新值就被称为该变量的 最新值。需要加锁,才能读取到最新值。
解决办法,使用原子操作 compareAndSet:
private static int nextID(){ //返回的ID范围为 1~100 ID.compareAndSet(100, 0); return ID.incrementAndGet();}以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持。
声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。
不少卖家朋友以及淘宝主播在进行淘宝直播的时候出现大大小小的问题,不知道怎么办。今天小编为大家整理了淘宝直播常见问题解决方法,希望能够能帮到大家。淘宝直播常见问题
浅析javascript异步执行函数导致的变量变化问题解决思路for(vari=0;i
1、下载以及前面的rpm安装步骤请参照Linux使用rpm方式安装最新mysql(5.7.16)步骤以及常见问题解决2、四个rpm包安装完成后执行mysqld-
Androidstudioso库找不到问题解决办法问题:java.lang.UnsatisfiedLinkError:dalvik.system.PathCla
组织要想正规发展,先从系统流程建设入手。常见问题用流程规范,人才培养也可以流程化,通过完善流程制度,把普通的人变成人才。根本的系统流程方面问题解决了,其他问题就