Java,断言和JIT

我试图推断如何热点的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();
    }
    

    这可能是使用断言的反模式,但随着意图的断言将会更便宜。

    链接地址: http://www.djcxy.com/p/40263.html

    上一篇: Java, Assertions and the JIT

    下一篇: Running websocket and http server on the same port (Rust, hyper)