基于转移指令特性的动态翻译算法

摘要/Abstract

摘要：

摘要：针对传统方法统一转译转移指令导致翻译器效率较低的问题，基于转移目标地址在函数内外的不同特征，提出了直接映射和指令类型转译策略组合的动态翻译方法.对函数内转移指令，直接采用目标架构中对应的分支指令进行映射，通过转移前后指令翻译码的无缝链接，高效转译了条件分支指令，且无需生成源寄存器到内存同步指令；对函数间转移指令，区别对待函数转移和其他转移指令，通过将源程序函数转移指令属性继承给翻译码以提高目标机转移预测器准确率.基于EEMBC(Embedded Microprocessor Benchmark Consortium)测试基准的实验表明，该方法使转移指令翻译码执行指令数平均减少58.9%，转移预测器命中率平均提高80.7%，翻译器整体性能提高12.3%.

关键词: 动态翻译, 转移指令, 直接映射, 转移预测器

Abstract:

Abstract： The traditional dynamic binary translator(DBT) deals with different kinds of transfer instructions in the same way, which leads to great performance loss of DBT. This paper proposed a novel DBT algorithm composed of directmapping and transfertypeinheriting mechanism to efficiently handle transfer translation，based on the distinctive characteristics between innerfunction and outerfunction transfers. Innerfunction transfers were exactly mapped to the same type of transfers in the source machine, which not only reduced the transfers induced by conditional branches, but also avoids memory synchronizations. Outerfunction transfers were dealt with differently to pass function callreturn attributes from source code to translation code, thus improving the hit rate of the target machine branch predictor. The experiment results from EEMBC(embedded microprocessor benchmark consortium) show that the instructions executed in translation code of transfers has been reduced by 58.9%, the branch predictor hit rate has been increased by 80.7%, and the overall DBT performance has been improved by 12.3%.

Key words: dynamic binary translation (DBT), transfer instructions, direct mapping, branch predictor

中图分类号:

李战辉1，孟建熠2，陈志坚1，严晓浪1,2. 基于转移指令特性的动态翻译算法[J]. 上海交通大学学报（自然版）, 2015, 49(02): 173-177.

LI Zhanhui1,MENG Jianyi2,CHEN Zhijian1,YAN Xiaolang1,2. Dynamic Binary Translation Algorithm Based on Characteristic of Transfer Instructions[J]. Journal of Shanghai Jiaotong University, 2015, 49(02): 173-177.

参考文献

［1］Altman E R, Kaeli D, Sheffer Y. Welcome to the opportunities of binary translation［J］. Computer, 2000, 33(3): 4045.

［2］李剑慧，马湘宁，朱传琪. 动态二进制翻译与优化技术研究［J］. 计算机研究与发展, 2007，44(1): 161168.

LI Jianhui, MA Xiangning, ZHU Chuanqi. Dynamic binary translation and optimization［J］. Journal of Computer Research and Development, 2007, 44(1): 161168.

［3］Jia N, Yang C, Wang J, et al. SPIRE: Improving dynamic binary translation through SPCIndexed indirect branch redirecting［C］∥Proc of the 9th ACM SIGPLAN/SIGOPS Int Conf on Virtual Execution Environments. New York: ACM, 2013: 112.

［4］Brankovic＇ A, Stavrou K, Gibert E, et al. Performance analysis and predictability of the software layer in dynamic binary translators/optimizers［C］∥Proc of the ACM Int Conf on Computing Frontiers. New York: ACM, 2013: 110.

［5］Bellard F. Qemu, a fast and portable dynamic translator［C］∥USENIX Annual Technical Conf. California: FREENIX Track, 2005: 4146.

［6］Hong D Y, Hsu C C, Yew P C, et al. HQemu: A multithreaded and retargetable dynamic binary translator on multicores［C］∥Proc of the 10th Int Symp on Code Generation and Optimization. New York: ACM, 2012: 104113.

［7］WHU Weiwu, WANG Jian, GAO Xiang, et al. GODSON3: A scalable multicore RISC processor with X86 emulation［J］. IEEE MICRO, 2009, 29(2): 1729.

［8］Hsu C C, Liu P, Wang C M, et al. LnQ: Building high performance dynamic binary translators with existing compiler backends［C］∥Int Conf on Parallel Processing. Piscataway, NJ: IEEE, 2011: 226234.

［9］Ottoni G, Hartin T, Weaver C, et al. Harmonia: A transparent, efficient, and harmonious dynamic binary translator targeting the Intel architecture［C］∥Proc of the 8th ACM Int Conf on Computing Frontiers. New York: ACM, 2011: 110.

［10］Chen X H, Shen L, Wang Z Y, et al. Binary compatibility for embedded systems using greedy subgraph mapping［J］. Science China Information Sciences, 2014, 57: 07210610721062.

［11］Chen W, Wang Z Y, Zheng Z, et al. TransARM: An efficient instruction set architecture emulator［J］. Chinese Journal of Electronics, 2011, 20(1): 610.

［12］贾宁，杨春，佟冬，等. 动态翻译系统中的间接转移关联预测算法［J］. 计算机研究与发展, 2014，51(3): 661671.

JIA Ning, YANG Chun, TONG Dong, et al. Corrected software prediction for indirect branch in dynamic binary translation systems［J］. Journal of Computer Research and Development, 20014，51(3): 661671.

［13］Sun T T, Yang Y D, Yang H B, et al. Return instruction analysis and optimization in dynamic binary translation［C］∥The 4th Int Conf on Frontier of Computer Science and Technology. Piscataway, NJ: IEEE, 2009: 435440.

［14］Kim H S, Smith J E. Hardware support for control transfers in code caches［C］∥Proc of the 36th Annual IEEE/ACM Int Symp on Micro Architecture. Piscataway, NJ: IEEE, 2003: 253264.

［15］Hangzhou CSKY Microsystem Corporation. CK810 Introduction［EB/OL］.(20120101) ［20140120］. http://www.csky.com/prodeuct.php.

［16］Luk C K, Cohn R, Muth R, et al. Pin: Building customized program analysis tools with dynamic instrumentation［J］. ACM SIGPLAN Notices, 2005, 40(6): 190200.

[1]	杨振，付庄，管恩广，徐建南，田仕禾，郑辉. MLattice模块机器人的运动学分析及构型优化[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1153-1159.
[2]	赵君1,余海东2. 基于绝对节点坐标法的柔性双臂机构动力学分析[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1160-1165.
[3]	赵子任1,杜世昌1,黄德林1，任斐2，梁鑫光2. 多工序制造系统暂态阶段产品质量马尔科夫建模与瓶颈分析[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1166-1173.
[4]	黄炫圭. 小边概率条件下较小植入团的算法[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1202-1206.
[5]	罗晶晶a,余海东a,赵春璋a,b,王皓a,b. 基于绝对节点坐标法变截面柔性梁运动稳定性研究[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1174-1180.
[6]	汪一波1，黄亦翔1，李炳初1，凌晓1，赵帅1，刘成良1,张大庆2. 一种基于静力学预计算的开关磁阻电机模态仿真方法[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1181-1188.
[7]	周炳海,黎明. 考虑机器人约束加工的制造单元调度方法[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1214-1219.
[8]	陈进平1，张树生1，何卫平1，王明微1，黄晖2. 基于驱动参数建模的可行更改路径搜索和优选方法[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1220-1227.
[9]	周鹏辉，马红占，陈东萍，陈梦月，褚学宁. 基于模糊随机故障模式与影响分析的产品再设计模块识别[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1189-1195.
[10]	彭程,朱剑昀,陈俐. 基于模型参考控制的混合动力汽车模式切换 [J]. 上海交通大学学报（自然版）, 2017, 51(10): 1196-1201.
[11]	柳伟，杨超. 基于反向传播神经网络的注塑模具用零件报价模型[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1207-1213.
[12]	陈苏婷，王卓，王奇. 基于非线性尺度空间的航拍场景分类[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1228-1234.
[13]	陈宁，贺小滨，桂卫华，阳春华. 基于混沌离散序列的图像加密算法研究[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1273-1280.
[14]	刘凯a，张立民b，周立军a. 随机受限玻尔兹曼机组设计[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1235-1240.
[15]	朱信尧1，宋保维2，徐刚1，杨松林1. 支撑机构驻留水下航行器着陆策略及影响因素[J]. 上海交通大学学报（自然版）, 2017, 51(10): 1241-1251.