volatile

在并发场景中常谈论的是原子性、有序性、可见性,而volatile可以解决可见性和有序性问题

  1. CPU和内存
    cpu处理数据速度远远高于内存的读写速度,因此在cpu和内存之间增加了高速缓存
    在这里插入图片描述
  • L3缓存是多个cpu核心共享的,而每个核心都有自己的L1、L2缓存
  • 当CPU操作数据的时候会将数据从主内存中读取到各自的高速缓存中
  • 若多个核心操作的是同一个变量,将同一个变量读取到各自的高速缓存中,这就涉及到缓存一致性问题
  1. 缓存一致性
  • 当同一个变量在cpu的某个核心中发生了更改并写入到主内存中,那其他核心的高速缓存中的该变量值就是脏数据,这就需要让其他核心重新从主内存中读取该变量的值,而不再使用自己高速缓存中的值
  • 为了保证多个核心中高速缓存间的数据一致性,引入数据一致性协议(MESI、MOSI)
    MESI协议中的MESI表示缓存行的四种状态(缓存行是cpu和缓存交互的数据单元)
  • 对于CPU读操作来说,若缓存是失效状态(MESI中的I),则当前核心要重新从内存中读取,不再使用当前核心的高速缓存中读取
  • 对于CPU写数据的操作来说,若是当前核心上的缓存状态是共享状态(MESI中的S),它需要将其他核心上的共享缓存置为失效状态(MESI中的I),然后再做写操作
  • 而该机制是通过lock指令来实现,在java层面就是使用volatile关键字
  1. volatile
  • volatile关键字通过的底层的lock指令实现了MESI机制,也就实现了缓存一致性
  • 使用volatile关键字修饰被多个线程共享的变量,在底层会使用lock指令来保证这个共享变量在某个线程或者说在某个cpu核心上被修改之后,通知其他核心的高速缓存,让该变量所在缓存行失效,其他核心在使用该变量时自然会重新从内存中读取最新的值
  1. 有序性

在使用DCL实现单例的时候,往往会用到volatile关键字

这里说的有序性,并不是多个线程之间的有序性,而是在单个线程内指令的排序问题

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值