今天我读了java面试问题,我读了这个问题：

问题：考虑以下Java代码片段,它初始化两个变量并且两者都不是易失性的,并且两个线程T1和T2正在修改这些值,如下所示,两者都不同步

int x = 0;
boolean bExit = false;
Thread 1 (not synchronized)
x = 1;
bExit = true;
Thread 2 (not synchronized)
if (bExit == true)
System.out.println("x=" + x);

现在告诉我们,线程2是否可以打印“x = 0”？

所以,答案是肯定的.在解释中有“因为没有编译器的任何指令,例如同步或易失性,bExit = true可能在编译器重新排序中在x = 1之前出现.”在此之前,我不知道编译器可以在其后的另一行之前执行一行.

为什么重新排序？如果我从不同的线程向控制台打印一些内容 – 应该首先打印的行将在应该打印的行之后打印(如果它们是从同一个线程打印的话)？这对我来说很奇怪(也许,因为我第一次看到这个东西要重新排序).有人可以解释一下吗？

解决方法:

如果JIT编译器*不会根据Java标准更改结果,则可以更改执行顺序.交换

x = 1;
bExit = true;

至

bExit = true;
x = 1;

不会改变结果,因为没有同步,即.根据标准,这些变量在执行此操作时不应由另一个线程读取,并且这些语句都不需要另一个变量. (在现代CPU上,两个命令实际上将同时执行,这当然意味着它是未指定的,将首先更改.)

不仅重新排序会导致该行为.可能会发生bExit可以在一个内存页面中而x在另一个内存页面中,如果应用程序在多处理器(或多核)系统上运行,那么在没有同步的情况下,可能会发生带有bExit的内存页面(在带有x的内存页面之前,所有其他内核中都会显示对它的更改.

*编辑：Java编译器(将.java编译成.class)不能改变线程内执行顺序,但JIT编译器(将.class编译成二进制代码)可以.但是,如果Java编译器认为它们是多余的,则可以省略它们.

x = 1;
bExit = true;
x = 2;

可以优化远x = 1;