引言
- 在java语言中 被volatile 修饰的变量 可以保证在对线程场景下的可见性,
- 防止处理器进行指令重排 指令重排在多线程环境下会出现可见性问题
即 有 线程 A B,均可访问 volatile 变量x
当线程A对 x进行修改后, B线程再次访问变量x 便可以取到 x的最新值
非 volatile 变量不能保证这一点。
可见性原理
Volatile变量修饰符如果使用恰当的话,它比synchronized的使用和执行成本会更低,因为它不会引起线程上下文的切换和调度。
有volatile变量修饰的共享变量进行写操作的时候会使用 lock 汇编代码,lock 前缀的指令在多核处理器下会引发了两件事情。
- 将当前处理器缓存行的数据会写回到系统内存。
- 这个写回内存的操作会引起在其他CPU里缓存了该内存地址的数据无效。(其他CPU 通过缓存嗅探来使缓存失效)
防止重排原理
- 在每个volatile写操作前插入StoreStore屏障,在写操作后插入StoreLoad屏障
- 在每个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