volatile可以为volatile修饰的变量的读写操作前加上内存屏障,这样就能禁止指令重排序
JVM中的内存屏障:
LoadLoadBarrier 必须要等前一个读指令执行完后才能执行后一个读指令
LoadStoreBarrier 类似上
StoreStoreBarrier 类似上
StoreLoadBarrier 类似上
JVM的内存屏障又是通过操作系统层或硬件层实现的。
当使用volatile修饰变量时:
在字节码层面,会在access_flag前加上volatile的一个标记
在JVM层面,在被修饰的变量修改的指令前都加上JVM的内存屏障
在OS和硬件层面,使用sfence,mfence,lfence来实现内存屏障
SFENCE,LFENCE,MFENCE指令提供了高效的方式来保证读写内存的排序,这种操作发生在产生弱排序数据的程序和读取这个数据的程序之间。
SFENCE,LFENCE,MFENCE指令提供了高效的方式来保证读写内存的排序,这种操作发生在产生弱排序数据的程序和读取这个数据的程序之间。
SFENCE——串行化发生在SFENCE指令之前的写操作但是不影响读操作。
LFENCE——串行化发生在SFENCE指令之前的读操作但是不影响写操作。
MFENCE——串行化发生在MFENCE指令之前的读写操作。