java volatile 底层原理

引言

  1. 在java语言中 被volatile 修饰的变量 可以保证在对线程场景下的可见性,
  2. 防止处理器进行指令重排 指令重排在多线程环境下会出现可见性问题

即 有 线程 A B,均可访问 volatile 变量x
当线程A对 x进行修改后, B线程再次访问变量x 便可以取到 x的最新值
非 volatile 变量不能保证这一点。

可见性原理

Volatile变量修饰符如果使用恰当的话,它比synchronized的使用和执行成本会更低,因为它不会引起线程上下文的切换和调度。

有volatile变量修饰的共享变量进行写操作的时候会使用 lock 汇编代码,lock 前缀的指令在多核处理器下会引发了两件事情。

  1. 将当前处理器缓存行的数据会写回到系统内存。
  2. 这个写回内存的操作会引起在其他CPU里缓存了该内存地址的数据无效。(其他CPU 通过缓存嗅探来使缓存失效)

防止重排原理

  1. 在每个volatile写操作前插入StoreStore屏障,在写操作后插入StoreLoad屏障
  2. 在每个volatile读操作前插入LoadLoad屏障,在读操作后插入LoadStore屏障;

java内存屏障

  • java的内存屏障通常所谓的四种即LoadLoad,StoreStore,LoadStore,StoreLoad实际上也是上述两种的组合,完成一系列的屏障和数据同步功能。
  • LoadLoad屏障:对于这样的语句Load1; LoadLoad; Load2,在Load2及后续读取操作要读取的数据被访问前,保证Load1要读取的数据被读取完毕。
  • StoreStore屏障:对于这样的语句Store1; StoreStore; Store2,在Store2及后续写入操作执行前,保证Store1的写入操作对其它处理器可见。
  • LoadStore屏障:对于这样的语句Load1; LoadStore; Store2,在Store2及后续写入操作被刷出前,保证Load1要读取的数据被读取完毕。
  • StoreLoad屏障:对于这样的语句Store1; StoreLoad; Load2,在Load2及后续所有读取操作执行前,保证Store1的写入对所有处理器可见。它的开销是四种屏障中最大的。在大多数处理器的实现中,这个屏障是个万能屏障,兼具其它三种内存屏障的功能

引用

https://www.jianshu.com/p/2ab5e3d7e510
https://www.cnblogs.com/chenssy/p/6379280.html

发布了17 篇原创文章 · 获赞 24 · 访问量 28万+

猜你喜欢

转载自blog.csdn.net/qq_22956867/article/details/79400428