受到这个问题的启发: 为什么处理排序数组比处理未排序数组更快?
我写了自己的分支预测实验:
public class BranchPrediction {
public static void main(final String[] args) {
long start;
long sum = 0;
/* No branch */
start = System.nanoTime();
sum = 0;
for (long i = 0; i < 10000000000L; ++i)
sum += i;
System.out.println(System.nanoTime() - start);
System.out.println(sum);
/* With branch */
start = System.nanoTime();
sum = 0;
for (long i = 0; i < 10000000000L; ++i)
if (i >= 0)
sum += i;
System.out.println(System.nanoTime() - start);
System.out.println(sum);
/* No branch (again) */
start = System.nanoTime();
sum = 0;
for (long i = 0; i < 10000000000L; ++i)
sum += i;
System.out.println(System.nanoTime() - start);
System.out.println(sum);
/* With branch (again) */
start = System.nanoTime();
sum = 0;
for (long i = 0; i < 10000000000L; ++i)
if (i >= 0)
sum += i;
System.out.println(System.nanoTime() - start);
System.out.println(sum);
}
}
结果让我感到困惑:根据程序输出,带有分支的循环比没有分支循环可靠地快。
示例输出:
7949691477
-5340232226128654848
6947699555
-5340232226128654848
7920972795
-5340232226128654848
7055459799
-5340232226128654848
为什么会这样?
编辑:
- 反汇编的类显示 Java 编译器没有优化(错过)任何东西(https://gist.github.com/HouzuoGuo/5692424)
- 《为什么处理排序数组比处理未排序数组更快?》作者使用的 Java 基准测试技术 和我的一样。
- 该机器是 Intel core i7,运行 Linux 3.2 64 位和 Oracle JVM 1.7 64 位
- 当我超大循环迭代次数时,with-branch 循环比非分支循环运行多秒。