LuaJIT的跟踪编译器如何工作?

时间:2013-11-28 12:41:56

标签: lua luajit

我一直在阅读JIT和LuaJIT的跟踪编译器,最后我提出了一些问题。

根据我的理解,LuaJIT的JIT不编译像Java的HotSpot那样的热方法,它编译源自循环的热路径。这是否意味着如果某些东西不是来自循环(比方说,我从C-api调用Lua函数)那么代码永远不会被jitted?当你遇到另一个循环时会发生什么?第二个循环的路径是JIT,然后是来自该循环的新路径,或者第二个循环是否是同一路径的一部分?

口译员如何选择最佳的热门路径?假设我有一个整数的哈希表 - &gt;字符串。现在想象一下,我已经调用table [x],其中x为3和5,它们已成为热路径和jitted,解释器如何决定哪个jitted代码调用table [x],其中x为4?< / p>

另一件令我绞尽脑汁的事情。由于路径是编译的,而不是函数,跟踪编译器是否需要更多的内存?既然你不能真正重用其他路径的编译代码我的意思,因为在一般情况下路径可能比单个函数大......

2 个答案:

答案 0 :(得分:11)

Mike Pall在LuaJIT邮件列表中做了非常详细的回复。 http://www.freelists.org/post/luajit/How-does-LuaJITs-trace-compiler-work,1

答案 1 :(得分:7)

您需要掌握的第一部分是LuaJIT IRBytecode,您可以在wiki上查看,这是LuaJIT解释器运行和优化的内容,因此可以跟踪确定需要编译的内容和各种内容,以及额外的优化,例如在跟踪路径中循环展开热循环。

要检查的第二个地方是LJ FAQ,可以这样说:

  

问:我在哪里可以了解有关所用编译器技术的更多信息   LuaJIT?

     

我打算写更多关于内部的文档   LuaJIT。在此期间,请使用以下Google学术搜索   搜索以找到相关论文:

     

搜索:Trace Compiler

     

搜索:JIT Compiler

     

搜索:Dynamic Language Optimizations

     

搜索:SSA Form

     

搜索:Linear Scan Register Allocation

     

以下列出了LuaJIT的创新功能。而且,你知道,阅读   来源当然是启蒙的唯一途径。 : - )

Abet非常诙谐(主要是因为Mike专注于开发而不是文档),最重要的部分是最后一句话,来源非常干净,是了解LJ如何做的唯一实际方法< em>它的魔法。此外,innovative features link还提供了有关搜索内容的更多线索。

维基百科有一个跟踪JIT的more descriptive page,但是,底部的论文是你最有用的,可以帮助理解LJ源中使用的概念。

一些源代码文件(在C中)可以帮助您入门