在进行了-jvm-prevent-tail-call-optimizations之后的两年,似乎有一个原型 实现,并且MLVM一段时间以来将该功能列为“ proto 80%”。
Sun / Oracle方面对支持尾部调用是否没有积极的兴趣,还是就像JVM所提到的那样,尾部调用“ 注定要在每个功能优先级列表上排在第二位 ”?语言峰会?
如果有人测试了MLVM构建并可以分享一些关于其运行状况的印象(如果有的话),我将非常感兴趣。
更新: 请注意,某些虚拟机(如Avian)支持正确的尾部调用,而没有任何问题。
诊断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发出了毫无问题的提示,表明它确实以这种方式转换了代码。