JIT
什么是JIT
JIT = Just In Time即时编译,是动态编译的一种形式,是一种优化虚拟机运行的技术。
程序运行通常有两种方式,一种是静态编译,一种是动态解释,即时编译混合了这二者。Java和.Net/mono中都使用了这种技术。
然而IOS中禁止使用(不是针对JIT,而是所有的动态编译都不支持)!
为什么要使用JIT
解释执行:
效率低。
代码暴露。
静态编译:
不够灵活,无法热更新。
平台兼容性差。
JIT:
效率:高于解释执行,低于静态编译。
安全性:一般都会先转换成字节码。
热更新:无论源码还是字节码本质上都是资源文件。
兼容性:虚拟机会处理平台差异,对用户透明。
JIT是如何实现的
这里讲的实际上是JIT的一个变种:自适应动态编译(adaptive dynamic compilation)。它分为两种:Method JIT和Trace JIT。
如图所示,这是jvmjit的流程:
简单来讲:
跟踪热点函数或trace,编译成机器码执行,并缓存起来供以后使用。
非热点函数解释执行。
为什么只编译热点函数?
对只执行一次的代码而言,解释执行其实总是比JIT编译执行要快。对这些代码做JIT编译再执行,可以说是得不偿失。而对只执行少量次数的代码,JIT编译带来的执行速度的提升也未必能抵消掉最初编译带来的开销。只有对频繁执行的代码,JIT编译才能保证有正面的收益。
LuaJIT
vs. Lua
Lua主要由以下三部分组成:
- 语法实现。
- 库函数。
- 字节码。
LuaJIT主要由以下四部分组成:
- 语法实现。
- Trace JIT编译器。
- 库函数。
- 原生库++(强化过的原生库)
- bit
- ffi
- jit
- 字节码
注:最新luajit对应lua5.1.5。
trace jit编译器
与jvmjit大致相同。
所谓trace便是一段线性的字节码序列。热点trace被编译成机器码,非热点trace解释执行。
注:并不是所有的代码都能被JIT。(NYI)
bytecode
bytecode基本上可以认为是虚拟机的指令码(“基本上”是因为luajit使用了uleb128)。
优点:
- 减少文件大小。
- 生成函数原型更快。
- 增加被破解的难度。
- 对源代码轻微的优化。
- 库函数和可执行文件
编译步骤分三步走:
minilua:实际上是lua原生代码的一个子集,用来执行lua脚本并生成平台相关的指令。
buildvm:用来生成操作码/库函数到汇编/C语言的映射,用来jit编译。
lib
exec:可以执行lua代码活转换字节码。
编码
命令行执行
luajit –b。
虚拟机会判断是否是字节码,所以无需做额外的操作。
另外,可以混用,即:一部分文件编成字节码,另一部分保持源代码。
iSO64位报错问题
Cannot load incompatible bytecode!
这个错是因为在luajit里使用gcr用来比较对象指针,在64位环境下只有47位有效值(默认用户内存不会超过128T)。其余17位中有4位保存对象类型,即一段内存中保存了两条信息。所以在函数栈操作中有些地方需要一个空值占位。因为字节码直接反映了函数栈操作,所以64位和32位字节码不同。