我一直在阅读JIT和LuaJIT的跟踪编译器,最后我提出了一些问题.
根据我的理解,LuaJIT的JIT不会像Java的HotSpot那样编译热门方法,它会编译源自循环的热路径.这是否意味着如果某些东西不是来自循环(比方说,我从C-api调用Lua函数)那么代码永远不会被jitted？当你遇到另一个循环时会发生什么？第二个循环的路径是JIT,然后是来自该循环的新路径,或者第二个循环是否是同一路径的一部分？
口译员如何选择最佳的热门路径？假设我有一个整数的哈希表 - >字符串.现在假设我调用table [x],其中x为3和5,它们已成为热路径和jitted,解释器如何决定哪个jitted代码调用table [x],其中x为4？
另一件令我绞尽脑汁的事情.由于路径是编译的,而不是函数,跟踪编译器是否需要更多的内存？既然你不能真正重用其他路径的编译代码我的意思,因为在一般情况下路径可能比单个函数大...
Rob*_*sen 12
Mike Pall在LuaJIT邮件列表中做了非常详细的回复. http://www.freelists.org/post/luajit/How-does-LuaJITs-trace-compiler-work,1
您需要了解的第一部分是LuaJIT IR和Bytecode,您可以在wiki上查看,这是LuaJIT解释器运行和优化的内容,因此可以确定需要编译的内容和各种内容.作为额外的优化,例如在跟踪路径中循环展开热循环.
第二个要检查的地方是LJ常见问题解答,它有这样的说法:
问:在哪里可以了解有关LuaJIT使用的编译器技术的更多信息？
我打算写一些关于LuaJIT内部的文档.在此期间,请使用以下Google学术搜索查找相关论文:
搜索:跟踪编译器
搜索:JIT编译器
搜索:动态语言优化
搜索:SSA表格
搜索:线性扫描寄存器分配
以下列出了LuaJIT的创新功能.而且,你知道,阅读来源当然是启蒙的唯一途径.:-)
Abet非常诙谐(主要是因为迈克专注于开发而不是文档),最重要的部分是最后一句,来源非常干净,是了解LJ如何发挥其魔力的唯一实际方法.此外,创新功能链接还提供了有关搜索内容的更多线索.
维基百科有一个关于跟踪JIT 的更具描述性的页面,但是,底部的论文是你最有用的,可以帮助理解LJ源中使用的概念.
一些源文件(在C中)可以帮助您入门