JVM003_去虚化

一、去虚化

去虚化指的是把动态绑定的虚方法调用，转换为一个或多个直接调用。去虚化是即时编译器的工作，分为完全去虚化和条件去虚化。

• 完全去虚化：通过类型推导和类层次分析识别虚方法调用的唯一目标方法。
• 条件去虚化：将虚方法调用转换为若干个类型测试以及直接调用的一种优化手段。

二、类型推导

基于类型推导的完全去虚化指的是由字节码生成的Sea-of-Node IR图，已能确定调用者的类型，从而将虚调用转换为直接调用。

三、类层次分析

基于类层次分析的完全去虚化指的是通过JVM中所有已被加载的类，判断出仅有一个实现的虚方法调用，把这些仅有一个实现的虚方法调用替换为该唯一实现的直接调用。
注：

• 如果之后加载的类，破坏了先前只有一个实现的虚方法调用的唯一性，那么对该虚方法调用的优化将被退回，即去优化；
• 对于接口方法的虚调用，类层次分析不适用，由条件去虚化处理；

四、条件去虚化

条件去虚化指的是通过向代码中添加若干个类型比较，将虚方法调用转换为若干个直接调用。
注：

• 类型比较的依据是类型Profile中记录的类型；
• 如果Profile中记录的类型都比较完了还没确定该动态类型，分两种情况：
  • 类型Profile是完整的，去优化，重新收集类型Profile；
  • 类型Profile是不完整的，执行虚调用，退化成内联缓存或方法表的路径；