即时编译和堆栈替换之间的差异

Question

他们两个几乎都做同样的事情。确定该方法很热，然后编译而不是解释。使用OSR，您只需在编译后立即转到编译版本，而不像JIT，后者是在第二次调用该方法时调用已编译的代码。

除此之外，还有其他区别吗？

Answer 1

通常， 即时 编译是指在运行时编译本机代码并执行它，而不是（或除了）进行解释。某些虚拟机（例如Google
V8）甚至都没有解释器；这些虚拟机甚至没有解释器。他们通过JIT编译执行的每个函数（优化程度各不相同）。

堆栈替换（OSR）是一种用于在同一功能的不同实现之间进行切换的技术。例如，您可以使用OSR在编译完成后立即将其从解释后的代码或未优化的代码切换为JIT代码。

OSR在您将某个函数运行时将其标识为“热”的情况下很有用。这可能不一定是因为函数被频繁调用。它可能只被调用一次，但是它花了很多时间在一个大循环中，这可以从优化中受益。发生OSR时，VM暂停，目标函数的堆栈框架被等效框架替换，该等效框架可能在不同位置具有变量。

OSR也可能发生在另一个方向：从优化代码到未优化代码或解释代码。优化的代码可能会基于过去的行为对程序的运行时行为做出一些假设。例如，如果您只看过一种类型的接收器对象，则可以将虚拟或动态方法调用转换为静态调用。如果以后发现这些假设是错误的，则可以使用OSR退回到更为保守的实现方式：将优化的堆栈框架转换为未优化的堆栈框架。如果虚拟机支持内联，则您甚至可能最终将优化的堆栈帧转换为
几个 未优化的堆栈帧。