关键字——Volatile

  • 保证了多线程环境下共享变量的可见性
  • 禁止指令重排序
现代计算机的内存模型:

在早期计算机中cpu和内存的速度是差不多的,但是在现代计算机中,cpu的指令速度远超内存的存取速度,由于计算机的存储设备与处理器的运算速度有几个数量级的差距,所以现代计算机系统加入一层读写速度尽可能接近处理器运算速度的**高速缓存(Cache)**来作为内存与处理器之间的缓冲。

高速缓存解决了处理器与内存的速度矛盾,但是也引入了一个新的问题:缓存一致性问题(CacheCoherence);

在多处理器系统中,每个处理器都有自己的高速缓存,而它们又共享同一主内存(MainMemory)。

MESI(缓存一致性协议):CPU写数据时,若发现操作的变量是共享变量,就会通知其他CPU将该变量的缓存行置为无效状态,其他CPU再次读的时候,发现无效,就去主内存中读取。

Java内存模型(JMM)

Java内存模型(JMM),JVM规范中所定义的一种内存模型,以屏蔽所有类型的硬件和操作系统内存访问差异,让Java程序在不同的平台上能够达到一致的内存访问结果

JMM描述了Java程序中各种变量的访问规则,以及在JVM找那个将变量,存储到内存和从内存中读取变量这样的底层细节。规则如下:

  • 所有的共享变量都存储于主内存(实例变量和类变量,不包括局部变量,局部变量是线程私有的,不存在竞争问题)
  • 每一个线程存在于自己的工作内存,其中保存了主内存中线程使用到的变量的副本
  • 线程对变量的读写等操作都必须在工作内存中完成,不能直接读写主内存中的变量
  • 不同的线程不能直接访问对方工作内存中的变量,线程间变量的值的传递需要通过主内存中转来完成
指令重排序

为了提高性能,编译器和处理器常常会对既定的代码的执行顺序进行指令重排序;

java编译器会在生成指令系列时在适当的位置插入内存屏障指令来禁止特定类型的处理器重排序;volatile写操作时在前后分别插入内存屏障(StoreStore屏障),而读操作仅在后面插入两个内存屏障(LoadLoad屏障、LoadStore屏障)

一个操作执行的结果需要对另一个操作可见,那么两个操作之间必须存在happens-before关系

总结:面试官问你对volatile的理解:

1.需要先讲讲java的内存模型,java的共享变量都存储在主内存当中,每当有一个线程需要读取内存中的变量的时候,JVM会将主内存中的变量拷贝一份放入线程的工作内存中,多个线程之间并不可见,如果我们要保证可见性,就得使用volatile关键字;
2.volatile可以保证共享变量的可见性,但volatile并不保证变量的原子性,如果要保证变量的原子性,我们可以使用synchronized关键字或者atomic类
3.同时volatile可以禁止指令重排,因为编译器和处理器会对我们的代码进行重排序实现性能优化,在一些数据没有依赖性的时候,我们的代码执行顺序可能不是我们想象的那样,在多线程情况下,可能会造成一些奇怪的错误,volatile禁止指令重排的底层是使用了一个叫内存屏障的cpu指令,通过在适当的位置插入内存屏障从而禁止指令重排序,同时会强制刷新cpu缓存

简而言之:volatile是一个java虚拟机提供的轻量级的同步机制,保证可见性和禁止指令重排,但不保证原子性。

参考文献:
https://juejin.im/post/5d9c8ab4518825094e372706
https://juejin.im/post/5ea913d35188256d4576d199

还有就是volatile问题可以延伸到单例模式中的使用,有兴趣的童鞋可以去深入了解一下~~~
设计模式之单例模式

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值