java对象的方法默认就是虚方法,因此Java间接鼓励了程序员使用大量的虚方法来完成程序逻辑。
为了解决虚方法的内联问题,虚拟机团队引入了一种名为类型继承关系分析技术,这是一种基于整个应用程序的类型分析技术,它用于确定在目前已加载的类中,某个接口是否有多于一种的实现,某个类是否存在子类、子类是否为抽象类的信息。
编译器在进行内联时,如果是非虚方法,那么直接进行内联就可以,这个时候 的内联是有保证的。如果遇到虚方法,则会向类型继承关系分析查询此方法在当前程序下是否有多个目标版本可供选择,如果查询只有 一个版本,那也可以进行内联,不过这种内联就属于激进优化,需要预留一个逃生门,成为守护内联。如果程序的后续执行过程中,虚拟机一直没有加载到会令这个方法的接收者的继承关系发生变化的类,那么这个内联优化就会一直使用下去,但如果加载了导致继承关系发生变化的类,那就抛弃已经编译的代码,退回到姐试状态执行,或者重新进行编译。
在许多情况下虚拟机进行内联都是一种激进优化,激进优化的手段在高性能的商用虚拟机中很常见,除了内联之外,对于出现概率很小的隐式异常、使用概率很小的分支等都可以被激进优化移除,如果真的出现小概率事件,这时才会从逃生门回到解释状态重新执行。
为了解决虚方法的内联问题,虚拟机团队引入了一种名为类型继承关系分析技术,这是一种基于整个应用程序的类型分析技术,它用于确定在目前已加载的类中,某个接口是否有多于一种的实现,某个类是否存在子类、子类是否为抽象类的信息。
编译器在进行内联时,如果是非虚方法,那么直接进行内联就可以,这个时候 的内联是有保证的。如果遇到虚方法,则会向类型继承关系分析查询此方法在当前程序下是否有多个目标版本可供选择,如果查询只有 一个版本,那也可以进行内联,不过这种内联就属于激进优化,需要预留一个逃生门,成为守护内联。如果程序的后续执行过程中,虚拟机一直没有加载到会令这个方法的接收者的继承关系发生变化的类,那么这个内联优化就会一直使用下去,但如果加载了导致继承关系发生变化的类,那就抛弃已经编译的代码,退回到姐试状态执行,或者重新进行编译。
在许多情况下虚拟机进行内联都是一种激进优化,激进优化的手段在高性能的商用虚拟机中很常见,除了内联之外,对于出现概率很小的隐式异常、使用概率很小的分支等都可以被激进优化移除,如果真的出现小概率事件,这时才会从逃生门回到解释状态重新执行。