JAVA内存模型JMM(二)volatile与JMM

volatile与JMM

volatile两大特性

可见性

有序性

内存屏障

内存屏障(也称内存栅栏,屏障指令等,是一类同步屏障指令,是CPU或编译器在对内存随机访问的操作中的一个同步点,使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作),避免代码重排序。内存屏障其实就是一种JVM指令,Java内存模型的重排规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令,通过这些内存屏障指令,volatile实现了Java内存模型中的可见性和有序性(禁重排),但volatile无法保证原子性

内存屏障之前的所有写操作都要回写到主内存

内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果(实现了可见性)

写屏障(Store Memory Barrier):
	告诉处理器在写屏障之前将所有存储在缓存(store bufferes)中的数据同步到主内存。也就是说当看到Store屏障指令,就必须把该指令之前所有写入执行执行完毕才能继续往下执行。
读屏障(Load Memory Barrier):
	处理器在读屏障之后的读操作,都在读屏障之后执行。也就是说在Load屏障指令之后就能够保证后面的读取数据指令一定能够读取到最新的数据。

在这里插入图片描述

因此重排序时,不允许把内存屏障之后的指令重排序到内存屏障之前。一句话:对一个volatile变量的写,先行发生于任意后续对这个volatile变量的读,也叫写后读。

粗分
读屏障(Load Barrier)

在读指令之前插入读屏障,让工作内存或CPU高速缓存当中的缓存数据失效,重新回到主内存中获取最新数据

写屏障(Store Barrier)

在写指令之后插入到写屏障,强制把写缓冲区的数据刷回到主内存中

细分
屏障类型指令示例说明
LoadLoadLoad1;LoadlLoad;Load2保证load1的读取操作在load2及后续读取操作之前执行
StoreStoreStore1;StoreStore;Store2在store2及其后的写操作执行前,保证store1的写操作已率先你到主内存
LoadStoreLoad1;LoadStore;Store2在store2及其后的写操作执行前,保证load1的读操作已读取结束
StoreLoadStore1;StoreLoad;Load2保证store1的写操作一刷新到主内存之后,load2及其后的读操作才能执行
读写屏障插入策略
happens-before之volatile变量规则
第一个操作第二个操作:普通读写第二个操作:volatile读第二个操作:volatile写
普通读写可以重排可以重排不可以重排
volatile读不可以重排不可以重排不可以重排
volatile写可以重排不可以重排不可以重排

1、当第一个操作为volatile读时,不论第二个操作是什么,都不能重排序。这个操作保证类volatile读之后的操作不会被重排到volatile读之前。

2、当第二个操作为volatile写时,不论第一个操作是什么,都不能重排序。这个操作保证了volatile写之前的操作不会被重排到volatile写之后。

3、当第一个操作为volatile写时,第二个操作为volatile读时,不能重排。

插入策略

即:

读屏障 LoadLoad、LoadStore

写屏障 StoreStore、StoreLoad

可见性

保证不同线程对某个变量完成操作后结果及时可见,即该共享变量一旦改变所有线程立即可见。

volatile变量的读写过程

read(读取)→load(加载)→use(使用)→assign(赋值)→store(存储)→write(写入)→lock(锁定)→unlock(解锁)

volatile变量的读写过程
—END—

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值