我一直在阅读JIT和LuaJIT的跟踪编译器,最后我提出了一些问题。
根据我的理解,LuaJIT的JIT不编译像Java的HotSpot那样的热方法,它编译源自循环的热路径。这是否意味着如果某些东西不是来自循环(比方说,我从C-api调用Lua函数)那么代码永远不会被jitted?当你遇到另一个循环时会发生什么?第二个循环的路径是JIT,然后是来自该循环的新路径,或者第二个循环是否是同一路径的一部分?
口译员如何选择最佳的热门路径?假设我有一个整数的哈希表 - &gt;字符串。现在想象一下,我已经调用table [x],其中x为3和5,它们已成为热路径和jitted,解释器如何决定哪个jitted代码调用table [x],其中x为4?< / p>
另一件令我绞尽脑汁的事情。由于路径是编译的,而不是函数,跟踪编译器是否需要更多的内存?既然你不能真正重用其他路径的编译代码我的意思,因为在一般情况下路径可能比单个函数大......
答案 0 :(得分:11)
Mike Pall在LuaJIT邮件列表中做了非常详细的回复。 http://www.freelists.org/post/luajit/How-does-LuaJITs-trace-compiler-work,1
答案 1 :(得分:7)
您需要掌握的第一部分是LuaJIT IR和Bytecode,您可以在wiki上查看,这是LuaJIT解释器运行和优化的内容,因此可以跟踪确定需要编译的内容和各种内容,以及额外的优化,例如在跟踪路径中循环展开热循环。
要检查的第二个地方是LJ FAQ,可以这样说:
问:我在哪里可以了解有关所用编译器技术的更多信息 LuaJIT?
我打算写更多关于内部的文档 LuaJIT。在此期间,请使用以下Google学术搜索 搜索以找到相关论文:
搜索: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中)可以帮助您入门