使用JMH的简单微基准测试

Question

受另一个关于堆栈溢出的问题的启发，我编写了一个微型基准来检查，什么更有效：

• 有条件地检查零除数或
• 捕获和处理ArithmeticException

下面是我的代码：

@State(Scope.Thread)
@BenchmarkMode(Mode.AverageTime)
@OutputTimeUnit(TimeUnit.NANOSECONDS)
public class MyBenchmark {

    private int a = 10;
    // a little bit less obvious than int b = 0;
    private int b = (int) Math.floor(Math.random());

    @Benchmark
    public float conditional() {
        if (b == 0) {
            return 0;
        } else {
            return a / b;
        }
    }

    @Benchmark
    public float exceptional() {
        try {
            return a / b;
        } catch (ArithmeticException aex) {
            return 0;
        }
    }
}

我对JMH完全陌生，不确定代码是否正确。

我的基准是正确的吗？你看到任何错误吗？

旁白：请不要建议询问https://codereview.stackexchange.com.对于Codereview，代码必须已按预期工作。我不确定这个基准是否能按预期工作。

Answer 1

我看到的最大的缺失就是任何一种随机性。这将使分支预测更容易完成其工作，这将使这两种方法的速度都快于实际中除以0的速度。

我会对每种方法进行三种变化：

1. 使用零混合的随机数组，并使用该数组中的索引对基准进行参数化
2. 使用非零数的随机数组
3. 所有0

这将使您对总体性能有一个很好的了解，包括分支预测。对于第（1）点，处理0与非0的比率可能也很有趣。

我忘记了JMH是否允许您直接对数组的各个值进行参数化。如果是这样，那么我会使用它。否则，您将不得不对该数组的索引进行参数化。在这种情况下，我还会将所有0放入数组中，以便保留访问是所有测试的一部分。我可能还会创建一个“控件”，它只是访问数组并返回其值，这样您就可以更直接地找出开销。

还有一个小问题：我认为不需要返回浮点数，因为它们只是从除法实际生成的整数转换而来。