volatile禁止指令重排序
何为指令重排序:
计算机在执行程序时,为了提高性能,编译器和处理器常常会做指令重排,一把分为以下3种:
编译器优化的重排、指令并行的重排、内存系统的重排。
单线程环境里面确保程序最终执行结果和代码顺序执行的结果一致。
处理器在进行重新排序是必须要考虑指令之间的数据依赖性。
多线程环境中线程交替执行,由于编译器优化重排的存在,两个线程使用的变量能否保持一致性是无法确定的,结果无法预测。
不可以!处理器在进行重新排序是必须要考虑指令之间的数据依赖性。
x、y的值?
正常情况:
多线程环境下,如果编译器对这段代码进行执行重排优化后,可能出现下列情况:
这也就说明在多线程环境下,由于编译器优化重排的存在,两个线程使用的变量能否保持一致是无法确定的。
由于编译器存在指令重排,数据顺序会被打乱,但是编译器认为这是一种优化,并且程序还刚好在多线程的环境下,执行数据不一样,会使数据的一致性无法保证。
在执行method1方法的时候,发生重排序的话,语句2可能会比语句1先执行,执行了语句2后,可能method01就立刻拿到了flag的true值,接着执行a=a+5,因为重排序,可能就a还是0,所以结果会出现是5或者6。
多线程环境中线程交替执行,由于编译器优化重排的存在,两个线程使用的变量能否保持一致性是无法确定的,结果无法预测。