Java编译器重新排序

Question

今天我读了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"？

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

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

Answer 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;