java - 提升和重新排序是同一件事吗？

Question

我从Effective Java中读到，在没有同步的情况下，下面的序列 A 可以被虚拟机转换为序列 B，这被称为hoisting. 我还在某处读到，如果变量未声明为涉及变量的易失性指令，则可以重新排序。提升和重新排序是同一件事吗？

  while (!done)    sequence A     
    i++;

  if (!done)
     while (true)    sequence B
        i++;

Answer 1

它们略有不同。

提升意味着你已经从循环中拉出一些操作，因为循环本身不会影响操作的结果。在您的情况下，您将条件测试提升到 while 循环之外。

重新排序意味着以不影响结果的方式更改指令序列。通常，这将是没有数据依赖关系的相邻指令，例如，执行以下两个语句的顺序无关紧要：

int a = x;
int b = y;

Answer 2

Java 内存模型中使用的术语“重新排序”是指所有可能的优化，这些优化可能会影响不正确同步程序的正确性。

因此，从这个意义上说，重新排序是一个通用术语，包括诸如提升、乱序执行的影响、内存层次结构（即缓存）引起的不一致等优化。

Answer 3

重新排序与执行性能有关，因为重新排序不会影响性能。

提升是为了重新排序内存屏障指令。