文档章节

为什么volatile能保证可见性?

Hosee
 Hosee
发布于 2016/08/14 12:30
字数 693
阅读 1.6K
收藏 6

我们都知道volatile能保证可见性,不能保证原子性,比如i++操作

也知道Happen-Before原则,那么是如何确保Happen-Before原则不被指令重排序影响呢?(如果对上述描述有困惑请移步[高并发Java 三] Java内存模型和线程安全

例如你让一个volatile的integer自增(i++),其实要分成3步:1)读取volatile变量值到local; 2)增加变量的值;3)把local的值写回,让其它的线程可见。这3步的jvm指令为:

mov   
0xc(%r10),%r8d
 ; Load
inc   
 %r8d           ; Increment
mov   
 %r8d,0xc(%r10)
 ; Store
lock
 addl $0x0,(%rsp)
 ; StoreLoad Barrier

StoreLoad Barrier就是内存屏障

内存屏障(memory barrier)是一个CPU指令。基本上,它是这样一条指令: a) 确保一些特定操作执行的顺序; b) 影响一些数据的可见性(可能是某些指令执行后的结果)。编译器和CPU可以在保证输出结果一样的情况下对指令重排序,使性能得到优化。插入一个内存屏障,相当于告诉CPU和编译器先于这个命令的必须先执行,后于这个命令的必须后执行。内存屏障另一个作用是强制更新一次不同CPU的缓存。例如,一个写屏障会把这个屏障前写入的数据刷新到缓存,这样任何试图读取该数据的线程将得到最新值,而不用考虑到底是被哪个cpu核心或者哪颗CPU执行的。

内存屏障和volatile什么关系?上面的虚拟机指令里面有提到,如果你的字段是volatile,Java内存模型将在写操作后插入一个写屏障指令,在读操作前插入一个读屏障指令。这意味着如果你对一个volatile字段进行写操作,你必须知道:1、一旦你完成写入,任何访问这个字段的线程将会得到最新的值。2、在你写入前,会保证所有之前发生的事已经发生,并且任何更新过的数据值也是可见的,因为内存屏障会把之前的写入值都刷新到缓存。 

明白了内存屏障这个CPU指令,回到前面的JVM指令:从Load到store到内存屏障,一共4步,其中最后一步jvm让这个最新的变量的值在所有线程可见,也就是最后一步让所有的CPU内核都获得了最新的值,但中间的几步(从Load到Store)是不安全的,中间如果其他的CPU修改了值将会丢失。

所以volatile不能保证i++操作的原子性

本文转载自:http://blog.csdn.net/hupitao/article/details/45227891

Hosee
粉丝 621
博文 135
码字总数 209956
作品 0
杭州
程序员
私信 提问
加载中

评论(0)

线程-volatile关键字的弊端

volatile的作用:使变量在多个线程间可见,但是不具备原子性,需要注意的是一般volatile用于只针对多个线程可见的变量操作,并不能代替synchronized的同步功能。 实例说话:现如今我有一个数...

北漂小白菜
2017/08/10
0
0
18-深入理解volatile原理与使用

我们本节来了解一个新的解决线程安全性问题的一个方案,我们知道,通过synchronized可以完全的来解决线程中所遇到的安全性问题,那么,我们也知道,synchronized属于一个相对来讲比较重量级的...

G_66_hero
2019/01/05
0
0
多线程之volatile与synchronized(二)

JMM中主要是围绕并发过程中如何处理原子性,可见性和有序性三个特性来建立的。最终可以保证线程安全性,volatile和synchronized两个关键字又是我们最常碰到与最容易提到的关键字,这次放在一...

艾贺
2018/04/05
0
0
原子变量、volatile、synchronized的可见性和原子性比较

jdk5提供了java.util.concurrent包,这个包并行功能强大,工具齐全,其中就包括原子变量atomic 那么我们先说说volatile,volatile可以保证内存的可见性,禁用重排序,但是不能保证操作的原子性...

AI9o後
2017/11/03
291
0
关于Java变量的可见性问题

关于Java变量的可见性问题 博文前提 最近在oschina问答板块看到了一个关于java变量在工作内存和主存中的可见性问题:synchorized,sleep 也能达到volatile 线程可见性的目的?,大致的问题描述如...

Ambitor
2016/04/18
446
13

没有更多内容

加载失败,请刷新页面

加载更多

嵌套滑动通用解决方案--NestedScrollingParent2

文章目录 一、问题及解决方案 二、NestedScrollingParent2LayoutImpl3的实现原理 2.1 先来回顾下嵌套滑动机制。 2.2 再来看看NestedScrollView嵌套RecyclerView 2.3 NestedScrollingParent2...

osc_mgvk29y5
14分钟前
12
0
概率分布

二项分布 # 1次试验中,成功的次数np.random.binomial(1, 0.5)# 1000次试验中,成功的次数print('1000次试验中,成功的次数: ', np.random.binomial(1000, 0.5))# 1000次试验中,...

JosiahMg
14分钟前
19
0
学军信友队趣味网络邀请赛 b题 齐心抗疫(树的直径)

题目描述 对于所有数据,满足2<=n<=50000,1<=a[i]<=1000。 题目思路 前言 本来我以为是最短路什么的。。。结果是我太菜,个人认为此题还是补充了自己知识,学到了不少 知识 树的直径表示最长...

osc_uj3h5gt9
15分钟前
12
0
安卓svc命令使用总结

使用环境: 在无屏幕状态下想要控制Wi-Fi、电源、数据流量、usb、nfc。 命令简介: 通过adb shell 进入交互页面,输入svc显示下图说明 下面就每个命令做相应的使用说明: 1、power 在shell环...

osc_zitca8hu
16分钟前
28
0
切换页面取消请求

在axios的封装文件中添加 import axios from 'axios'let router = import("@/router");let source = axios.CancelToken.source();const baseURL = process.env.VUE_APP_MODE == 'develo......

osc_3ytpwpyb
17分钟前
12
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部