对于循环性能：具有相同值与不同值的计数器

Question

我有一个带有 2 个计数器的循环：i 和 j。如果它们具有相同的值 - 迭代比它们的值不同时更快：

Benchmark                     Mode  Cnt       Score      Error  Units
FloatsArrayBenchmark.times   thrpt   20  341805.800 ± 1623.320  ops/s
FloatsArrayBenchmark.times2  thrpt   20  198764.909 ± 1608.387  ops/s

Java 字节码是相同的，这意味着它与一些较低级别的优化有关。有人可以解释为什么会这样吗？这是基准：

import org.openjdk.jmh.annotations.*;

public class FloatsArrayBenchmark {
    public static void main(String[] args) throws Exception {
        org.openjdk.jmh.Main.main(new String[]{FloatsArrayBenchmark.class.getSimpleName()});
    }

    @Benchmark @Fork(value = 1, warmups = 0)
    public void times(Data data) {
        float[] result = new float[10000];;
        for (int i = 0, j=0; i < 9_999; i++,j++)
            result[j] = data.floats[i] * 10;
    }
    @Benchmark @Fork(value = 1, warmups = 0)
    public void times2(Data data) {
        float[] result = new float[10000];
        for (int i = 0,j=1; i < 9_999; i++,j++)
            result[j] = data.floats[i] * 10;
    }

    @State(Scope.Benchmark)
    public static class Data {
        private final float[] floats = new float[10000];
    }
}

环境：

• MacOS，试过Java8、Java11、Java14
• 2.4 GHz 四核 Intel Core i5

Answer 1

在第一个（更快的）版本中，i 总是（有效地）与j 具有相同的值，所以它：

public void times(Data data) {
    float[] result = new float[10000];;
    for (int i=0, j=0; i < 9_999; i++,j++)
        result[j] = data.floats[i] * 10;
}

可以在没有j 的情况下重写，效果相同：

public void times(Data data) {
    float[] result = new float[10000];;
    for (int i = 0; i < 9_999; i++)
        result[i] = data.floats[i] * 10;
}

很可能编译器认识到j 是多余的并消除了它，导致执行的++ 操作数量减少了一半，占所有算术操作的1/3。这与时间是一致的：第二个版本每次迭代的时间要长 70%。 70% 约为 50%，这是 3:2 操作比例的预期结果。