Java,断言和JIT

发布时间：2020-12-15 03:04:48 所属栏目：Java 来源：网络整理

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

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

例如,在这样的一段代码中：

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

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

解决方法

在这种情况下,要进行多个边界检查,并且JIT可以合并它们以便只进行一次检查,但是断言不会避免进行检查.

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

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

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

这可能是使用断言的反模式,但是通过意图断言会更便宜.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!