从volatile说到i++的线程安全问题
点击上方 好好学java ,选择 星标 公众号
重磅资讯,干货,第一时间送达
今日推荐:分享一套基于SpringBoot和Vue的企业级中后台开源项目,这个项目有点哇塞!个人原创100W +访问量博客:点击前往,查看更多
作者:ZimZz
cnblogs.com/zemliu/p/3298685.html
简介
volatile关键字保证了在多线程环境下,被修饰的变量在别修改后会马上同步到主存,这样该线程对这个变量的修改就是对所有其他线程可见的,其他线程能够马上读到这个修改后值.
Thread的本地内存
每个Thread都拥有自己的线程存储空间
Thread何时同步本地存储空间的数据到主存是不确定的
例子
借用Google JEREMY MANSON 的解释,上图表示两个线程并发执行,而且代码顺序上为Thread1->Thread2
1. 不用 volatile
假如ready字段不使用volatile,那么Thread 1对ready做出的修改对于Thread2来说未必是可见的,是否可见是不确定的.假如此时thread1 ready泄露了(leak through)了,那么Thread 2可以看见ready为true,但是有可能answer的改变并没有泄露,则thread2有可能会输出 0 (answer=42对thread2并不可见)
2. 使用 volatile
使用volatile以后,做了如下事情
每次修改volatile变量都会同步到主存中
每次读取volatile变量的值都强制从主存读取最新的值(强制JVM不可优化volatile变量,如JVM优化后变量读取会使用cpu缓存而不从主存中读取)
线程 A 中写入 volatile 变量之前可见的变量, 在线程 B 中读取该 volatile 变量以后, 线程 B 对其他在 A 中的可见变量也可见. 换句话说, 写 volatile 类似于退出同步块, 而读取 volatile 类似于进入同步块
所以如果使用了volatile,那么Thread2读取到的值为read=>true,answer=>42,当然使用volatile的同时也会增加性能开销
注意
volatile并不能保证非源自性操作的多线程安全问题得到解决,volatile解决的是多线程间共享变量的「可见性」问题,而例如多线程的i++,++i,依然还是会存在多线程问题,它是无法解决了.如下:使用一个线程i++,另一个i--,最终得到的结果不为0
public class VolatileTest {private static volatile int count = 0;private static final int times = Integer.MAX_VALUE;public static void main(String[] args) {long curTime = System.nanoTime();Thread decThread = new DecThread();decThread.start();// 使用run()来运行结果为0,原因是单线程执行不会有线程安全问题// new DecThread().run();System.out.println("Start thread: " + Thread.currentThread() + " i++");for (int i = 0; i < times; i++) {count++;}System.out.println("End thread: " + Thread.currentThread() + " i--");// 等待decThread结束while (decThread.isAlive());long duration = System.nanoTime() - curTime;System.out.println("Result: " + count);System.out.format("Duration: %.2fs\n", duration / 1.0e9);}private static class DecThread extends Thread {@Overridepublic void run() {System.out.println("Start thread: " + Thread.currentThread() + " i--");for (int i = 0; i < times; i++) {count--;}System.out.println("End thread: " + Thread.currentThread() + " i--");}}
}
最后输出的结果是
Start thread: Thread[main,5,main] i++
Start thread: Thread[Thread-0,5,main] i--
End thread: Thread[main,5,main] i--
End thread: Thread[Thread-0,5,main] i--
Result: -460370604
Duration: 67.37s
原因是i++和++i并非原子操作,我们若查看字节码,会发现
void f1() { i++; }
的字节码如下
void f1();
Code:
0: aload_0
1: dup
2: getfield #2; //Field i:I
5: iconst_1
6: iadd
7: putfield #2; //Field i:I
10: return
可见i++执行了多部操作, 从变量i中读取读取i的值 -> 值+1 -> 将+1后的值写回i中,这样在多线程的时候执行情况就类似如下了
Thread1 Thread2
r1 = i; r3 = i;
r2 = r1 + 1; r4 = r3 + 1;
i = r2; i = r4;
这样会造成的问题就是 r1, r3读到的值都是 0, 最后两个线程都将 1 写入 i, 最后 i 等于 1, 但是却进行了两次自增操作
可知加了volatile和没加volatile都无法解决非原子操作的线程同步问题
线程同步问题的解决
Java提供了java.util.concurrent.atomic 包来提供线程安全的基本类型包装类,例子如下
package com.qunar.atomicinteger;import java.util.concurrent.atomic.AtomicInteger;/*** @author zhenwei.liu created on 2013 13-9-2 下午10:18* @version $Id$*/
public class SafeTest {private static AtomicInteger count = new AtomicInteger(0);private static final int times = Integer.MAX_VALUE;public static void main(String[] args) {long curTime = System.nanoTime();Thread decThread = new DecThread();decThread.start();// 使用run()来运行结果为0,原因是单线程执行不会有线程安全问题// new DecThread().run();System.out.println("Start thread: " + Thread.currentThread() + " i++");for (int i = 0; i < times; i++) {count.incrementAndGet();}// 等待decThread结束while (decThread.isAlive());long duration = System.nanoTime() - curTime;System.out.println("Result: " + count);System.out.format("Duration: %.2f\n", duration / 1.0e9);}private static class DecThread extends Thread {@Overridepublic void run() {System.out.println("Start thread: " + Thread.currentThread() + " i--");for (int i = 0; i < times; i++) {count.decrementAndGet();}System.out.println("End thread: " + Thread.currentThread() + " i--");}}
}
输出
Start thread: Thread[main,5,main] i++
Start thread: Thread[Thread-0,5,main] i--
End thread: Thread[Thread-0,5,main] i--
Result: 0
Duration: 105.15
结论
volatile解决了线程间共享变量的可见性问题
使用volatile会增加性能开销
volatile并不能解决线程同步问题
解决i++或者++i这样的线程同步问题需要使用synchronized或者AtomicXX系列的包装类,同时也会增加性能开销
推荐文章
今天给大家推荐6个Spring Boot项目,拿来就可以赚钱!
分享一套基于SpringBoot和Vue的企业级中后台开源项目,这个项目有点哇塞!
圈子哥推荐一种基于Spring Boot开发OA开源产品,学习/搞外快都是不二选择!
硬刚一周,3W字总结,一年的经验告诉你如何准备校招!
原创电子书历时整整一年总结的 Java面试+ Java入门技术学习指南,这是本人这几年及校招的总结,各种异步面试题已经全部进行总结,按照章节复习即可,已经拿到了了大厂提供。
原创思维导图扫码或者微信搜 程序员的技术圈子 回复 面试 领取原创电子书和思维导图。
从volatile说到i++的线程安全问题相关推荐
- 面试:从volatile说到i++的线程安全问题
点击上方蓝色"程序猿DD",选择"设为星标" 回复"资源"获取独家整理的学习资料! 作者|ZimZz 来源|https://www.cnbl ...
- 从 volatile 说到 i++ 的线程安全问题
点击上方 好好学java ,选择 星标 公众号 重磅资讯.干货,第一时间送达今日推荐:2020年7月程序员工资统计,平均14357元,又跌了,扎心个人原创100W+访问量博客:点击前往,查看更多 来源 ...
- volatile能保持线程安全吗_从volatile说到i++的线程安全问题
一般说来,volaTIle用在如下的几个地方: 1.中断服务程序中修改的供其它程序检测的变量需要加volaTIle: 2.多任务环境下各任务间共享的标志应该加volaTIle: 3.存储器映射的硬件寄 ...
- volatile关键字和Java线程安全问题
一.java中的线程安全问题 我们都知道,Java是一种夸平台的语言,因此Java这种语言在处理线程安全问题的时候,会有自己的处理机制,例如volatile关键字,synchronized关键字,并且 ...
- Java多线程基础-6:线程安全问题及解决措施,synchronized关键字与volatile关键字
线程安全问题是多线程编程中最典型的一类问题之一.如果多线程环境下代码运行的结果是符合我们预期的,即该结果正是在单线程环境中应该出现的结果,则说这个程序是线程安全的. 通俗来说,线程不安全指的就是某一代 ...
- 获取返回值作为变量_解决多线程间共享变量线程安全问题的大杀器——ThreadLocal...
微信公众号:Zhongger 我是Zhongger,一个在互联网行业摸鱼写代码的打工人! 关注我,了解更多你不知道的[Java后端]打工技巧.职场经验等- 上一期,讲到了关于线程死锁.用户进程.用户线 ...
- java线程安全问题原因及解决办法
1.为什么会出现线程安全问题 计算机系统资源分配的单位为进程,同一个进程中允许多个线程并发执行,并且多个线程会共享进程范围内的资源:例如内存地址.当多个线程并发访问同一个内存地址并且内存地址保存的值是 ...
- java单例模式之线程安全问题
单例的目的是为了保证运行时Singleton类只有唯一的一个实例,用于一些较大开销的操作. 饿汉式(没有线程安全问题): ' 由于使用static关键字进行了修饰,只能获取到一个对象,从而达到了单例, ...
- java 线程安全问题_java线程安全问题原因及解决办法
1.为什么会出现线程安全问题 计算机系统资源分配的单位为进程,同一个进程中允许多个线程并发执行,并且多个线程会共享进程范围内的资源:例如内存地址.当多个线程并发访问同一个内存地址并且内存地址保存的值是 ...
最新文章
- mysql timestamp比较查询
- 查看Mat对象的数据的三种方法
- 中国福建省动漫产业建设开发现状及未来策略规划调研报告2021-2027年
- exec 执行结果_php执行系统外部命令的4种方法
- 【Hibernate】Hibernate实体关系映射——单边的多对一关系
- java调用keras theano模型_使用Keras / Theano和LSTM进行多标签文本分类
- python全栈_007_Python3格式化输出
- css3 - 语言伪类选择器
- 实验一 链式存储结构的基本操作
- 程序设计 关键字解释
- php 精度比较,PHP浮点数精度和比较
- Source Insight 的使用
- Spark内核解析之四:Spark 任务调度机制
- c语言悔棋用栈,中国象棋人机博弈程序(扁平化棋局) C语言实现
- C语言error2005,c链接器错误LNK2005已在SDL中定义
- mysql自动转账_mysql事务处理(银行转账实例)
- GPU卡的主流调度平台
- 从中序与后序遍历序列构造二叉树
- mac 截图工具只能截取桌面问题
- canvas中文显示乱码 html5_如何使用HTML5 canvas绘制文字