他们两个几乎都做同样的事情。确定该方法很热,然后编译而不是解释。使用OSR,您只需在编译后立即转到编译版本,而不像JIT,后者是在第二次调用该方法时调用已编译的代码。
除此之外,还有其他区别吗?
通常,Just-in-time编译是指在运行时编译本机代码并执行它,而不是(或除了)解释。某些虚拟机(例如Google V8)甚至没有解释器。他们通过JIT编译执行的每个函数(优化程度各不相同)。
堆栈替换(OSR)是一种用于在同一功能的不同实现之间进行切换的技术。例如,您可以在编译完成后立即使用OSR将解释后的代码或未优化的代码切换为JIT代码。
OSR在运行时将功能标识为“热”功能的情况下很有用。这不一定是因为函数被频繁调用。它可能只被调用一次,但是它花了很多时间在一个大循环中,这可以从优化中受益。发生OSR时,VM暂停,目标函数的堆栈框架被等效框架替换,该等效框架可能在不同位置具有变量。
OSR也可能发生在另一个方向:从优化的代码到未优化的代码或解释的代码。优化的代码可能会基于过去的行为对程序的运行时行为做出一些假设。例如,如果您只看过一种类型的接收器对象,则可以将虚拟或动态方法调用转换为静态调用。如果以后发现这些假设是错误的,则可以使用OSR退回到更为保守的实现方式:将优化的堆栈帧转换为未优化的堆栈帧。如果虚拟机支持内联,则您甚至可能最终将优化的堆栈帧转换为几个未优化的堆栈帧。
是的,差不多了。 Just-in-time compilation可以通过将字节码的“热点”(已知/应该经常执行的字节码热点)编译为本机指令来提高性能。 On-Stack Replacement通过在编译后的版本中替换长时间运行的解释后的“热”字节码来补充JIT功能。提到的On-Stack Replacement article显示了一个很好的示例,其中如果没有OSR,JIT编译将不会非常有用。