Java,断言和JIT

Question

我试图推断出Hotspot的JIT原因.我最感兴趣的是最新的编译阶段(C2编译器).Java中的JIT是否依赖于断言进行优化？如果是这种情况,我可以想象有一些例子可以在启用断言的情况下更快地运行代码.

例如,在这样的代码中:

static int getSumOfFirstThree(int[] array) {
   assert(array.length >= 3);
   return array[0] + array[1] + array[2];
}

• 当断言被启用时,JIT是否足够聪明以消除对数组访问的边界检查？
• 或者,您是否可以想到其他情况(实际与否)断言实际上会改进JIT编译的本机代码？

Answer 1

在这种情况下，需要进行多个边界检查，并且 JIT 可能会将它们合并起来，以便只进行一项检查，但是断言并不能避免进行检查的需要。

断言会阻止内联等优化，因为方法较大，并且大小是确定是否内联方法的一个因素。通常，内联可以提高性能，但在某些情况下却不能，因为它可能会由于生成较大的代码而导致 L0 或 L1 CPU 缓存变得低效。

断言可以提高性能的一个例子是这样的。

boolean assertionOn = false;
assert assertionOn = true;
if (assertionOn) {
   assumeDataIsGood(); // due to checks elsewhere
} else {
   expensiveCheckThatDataMightNotBeGood();
}

这可能是使用断言的反模式，但有意使用断言会更便宜。