一、禁止Java编译器对相关代码重排序和jvm解释运行Java命令执行的重排序。
Java编译器代码重排序规则(happens-before原则):
顺序性原则:在同一个线程中,书写在前面的操作happen-before后面的操作。
锁的原则:同一个锁的unlock操作happen-before此锁的lock操作。
volatile的原则:对一个volatile变量的写操作happen-before对此变量的任意操作(当然也包括写操作了)。
happen-before的传递性原则:如果A操作 happen-before B操作,B操作happen-before C操作,那么A操作happen-before C操作。
线程启动的原则:同一个线程的start方法happen-before此线程的其它方法。
线程中断的原则:对线程interrupt方法的调用happen-before被中断线程的检测到中断发送的代码。
线程终结的原则:线程中的所有操作都happen-before线程的终止检测。
对象创建的原则:一个对象的初始化完成先于他的finalize方法调用。
二、引入jmm中的内存屏障(对CPU处理器的内存屏障进行的封装详解见下面),大多数处理器都支持。
1)LoadLoad屏障:对于这样的语句Load1; LoadLoad; Load2,在Load2及后续读取操作要读取的数据被访问前,保证Load1要读取的数据被读取完毕。
2)StoreStore屏障:对于这样的语句Store1; StoreStore; Store2,在Store2及后续写入操作执行前,保证Store1的写入操作对其它处理器可见。
3)LoadStore屏障:对于这样的语句Load1; LoadStore; Store2,在Store2及后续写入操作被刷出前,保证Load1要读取的数据被读取完毕。
4)StoreLoad屏障:对于这样的语句Store1; StoreLoad; Load2,在Load2及后续所有读取操作执行前,保证Store1的写入对所有处理器可见。它的开销是四种屏障中最大的。在大多数处理器的实现中,这个屏障是个万能屏障,兼具其它三种内存屏障的功能
volatile使用屏障:
在每个volatile写操作前插入StoreStore屏障,在写操作后插入StoreLoad屏障;
在每个volatile读操作前插入LoadLoad屏障,在读操作后插入LoadStore屏障;
CPU处理器内存屏障(不同处理器内存屏障实现不同)作用:
1)内存屏障前面的CPU指令不可以重排序到后面,后面也不可以重排序到前面。
2)强制失效CPU高速缓存中的变量数据,一切操作都基于主存。
JMM模型:
https://www.cnblogs.com/binyue/p/4311232.html
总结:在保证可见性的同时volatile关键字还是降低了性能。第一个防止了Java编译器和jvm