即时编译器的去虚化是什么？

写在前面

本文隶属于专栏《100个问题搞定Java虚拟机》，该专栏为笔者原创，引用请注明来源，不足和错误之处请在评论区帮忙指出，谢谢！

本专栏目录结构和文献引用请见100个问题搞定Java虚拟机

解答

什么是去虚化？

对于需要动态绑定的虚方法调用来说，即时编译器则需要先对虚方法调用进行去虚化（devirtualize），即转换为一个或多个直接调用，然后才能进行方法内联。

怎样去虚化？

即时编译器的去虚化方式可分为完全去虚化以及条件去虚化（guarded devirtualization）。

完全去虚化

完全去虚化是通过类型推导或者类层次分析（class hierarchy analysis），识别虚方法调用的唯一目标方法，从而将其转换为直接调用的一种优化手段。

它的关键在于证明虚方法调用的目标方法是唯一的。

条件去虚化

条件去虚化则是将虚方法调用转换为若干个类型测试以及直接调用的一种优化手段。

它的关键在于找出需要进行比较的类型。

条件去虚化通过向代码中增添类型比较，将虚方法调用转换为一个个的类型测试以及对应该类型的直接调用。

它将借助 Java 虚拟机所收集的类型 Profile。

关于 Profile 请参考我的另一篇博客——一篇文章搞懂 JVM 的 profiling 是什么