动态二进制翻译,看名字就知道了必然对应有一个静态二进制翻译。那什么叫二进制翻译呢。二进制翻译主要是一个体系架构的机器码翻译成另一个平台的机器码。通常被用来跑异构平台软件,例如box86 可以在arm 芯片的Linux 上跑 x86 linux 的应用程序。动态二进制主要用在CPU 的模拟,box86,qeme 都用到了这些技术。
动态二进制翻译与JIT(及时编译) 不同的地方在于:JIT 是将 字节码 翻译成本地机器码,而二进制翻译是机器码到机器码的翻译。
JIT 前面有词法解析,语法解析,到抽象语法树AST 等 过程后生成字节码,在虚拟机,或者叫模拟器中执行,经过热点分析模块,探测出某个代码片段执行的次数比较多,则判定为热点,就会进行优化,将其编译成本地机器码。
动态二进制翻译则是通常实现一个ELF (或者PE)的loader ,对代码段进行映射,分配堆栈,找到程序入口,然后从程序入口 (及elf 头部的enter point )开始翻译执行。翻译执行的最基本单位为block 。
静态二进制翻译:将磁盘上 A 体系架构的可执行程序直接翻译成B体系架构的可执行文件保存到磁盘。目前市面上产品比较少,苹果自研了一款,但是资料较少,未公开。开发难度也比动态二进制翻译大。
本文没有提到API 转发,异常处理等内容,作为一个行事风格 随意的博主,主要给大家科普,想要深入研究,建议直接看Qemu ,Box86的 源码。