为什么JVM仍然不支持尾调用优化?

SOC:

在进行了-jvm-prevent-tail-call-optimizations之后的两年,似乎有一个原型 实现,并且MLVM一段时间以来将该功能列为“ proto 80%”。

Sun / Oracle方面对支持尾部调用是否没有积极的兴趣,还是就像JVM所提到的那样,尾部调用“ 注定要在每个功能优先级列表上排在第二位 ”?语言峰会

如果有人测试了MLVM构建并可以分享其运行效果的印象(如果有的话),我将非常感兴趣。

更新: 请注意,某些虚拟机(例如Avian)支持正确的尾部调用,而没有任何问题。

Emory:

诊断Java代码:提高Java代码的性能alt)解释了为什么JVM不支持尾调用优化。

但是,尽管众所周知如何将尾递归函数自动转换为简单循环,但是Java规范并不要求进行这种转换。大概,不要求这样做的原因之一是,通常,不能以面向对象的语言静态地进行转换。相反,必须由JIT编译器动态完成从尾递归函数到简单循环的转换。

然后给出了一个不会转换的Java代码示例。

因此,如清单3中的示例所示,我们不能期望静态编译器在保留Java语言的语义的同时对Java代码执行尾部递归转换。相反,我们必须依靠JIT进行动态编译。根据JVM,JIT可能会或可能不会这样做。

然后它提供了一个测试,您可以用来确定您的JIT是否这样做。

自然,因为这是IBM论文,所以它包含一个插件:

我使用几个Java SDK运行了该程序,结果令人惊讶。在Sun的1.3版Hotspot JVM上运行表明,Hotspot不执行转换。在默认设置下,计算机上的堆栈空间用完不到一秒钟。另一方面,IBM的1.3版JVM发出了毫无问题的提示,表明它确实以这种方式转换了代码。

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章