一种动态二进制翻译中间表示变量活性分析改进算法

动态二进制翻译是指可实现不同体系结构上软件兼容移植的系统,翻译过程使用源体系结构的一条或多条指令来模拟目标体系结构的一条指令,完成两者指令功能的等价,但也同时增大了代码的膨胀率,降低了程序执行的效率.变量活性分析是提高二进制翻译系统执行效率重要的方法,本文在QEMU中间表示TCG(Tiny Code Generator)变量活性分析算法的基础上,提出线性扫描冗余ld M和st M指令匹配删除算法删除TCG中间代码冗余指令,有效简化指令翻译.整体性能测试表明,该方法可有效减少TCG中间指令的数目,比QEMU优化前翻译性能平均提高约12%.