为什么优化的虚拟调用指向热点 jit 程序集中的相同地址？

如何解决为什么优化的虚拟调用指向热点 jit 程序集中的相同地址？

这里an article介绍虚调用的jit优化策略。

但令我惊讶的是，所有优化的虚拟调用都使用相同的地址，例如文章中的 callq 0x000000011418ea00。

所以我很好奇它在该地址中实际做了什么，以及它如何知道要调用哪个函数，因为所有优化的虚拟调用都指向同一个地址。

解决方法

我的理解是，在幕后还有另一个优化，identical code folding。

CustObj::methodCall 和 CustObj2::methodCall 的代码非常相似，只是打印的字符串不同。 JVM 编译器因此能够为它们生成相同的代码：

$ javac tmp.java
$ javap -c -constants 'TestVirtualCall2$CustObj.class'
Compiled from "tmp.java"
class TestVirtualCall2$CustObj {
  public void methodCall();
    Code:
       0: invokestatic  #2                  // Method java/lang/System.currentTimeMillis:()J
       3: lconst_0
       4: lcmp
       5: ifne          16
       8: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
      11: ldc           #4                  // String CustObj is very good!
      13: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      16: return
}
$ javap -c -constants 'TestVirtualCall2$CustObj2.class'
Compiled from "tmp.java"
class TestVirtualCall2$CustObj2 extends TestVirtualCall2$CustObj {
  public final void methodCall();
    Code:
       0: invokestatic  #2                  // Method java/lang/System.currentTimeMillis:()J
       3: lconst_0
       4: lcmp
       5: ifne          16
       8: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
      11: ldc           #4                  // String CustObj2 is very good!
      13: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      16: return
}

请注意，即使字符串加载命令 ldc #4 恰好是相同的，因为编译器将字符串放在相应类常量池中的相同位置。

所以 JIT 肯定会为两个虚方法只生成一个 x86 代码实例。

附言

我认为这种优化更像是一种随机的副作用，并不是作者的意图。在他的文章的下一个修订版中，要求他对 CustObj2 类中的代码进行更多更改可能是有意义的。