Dynamic Binary Translation Algorithm Based on Characteristic of Transfer Instructions

Abstract

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

CLC Number:

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.

References

［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]	ZHAO Ziren1, DU Shichang1, HUANG Delin1, REN Fei2, LIANG Xinguang2. Modelling and Bottleneck Analysis of Product Quality in Transient Phase#br# of MultiStage Manufacturing Systems Based on Markovian Chains [J]. Journal of Shanghai Jiao Tong University, 2017, 51(10): 1166-1173.
[2]	ZHOU Penghui, MA Hongzhan, CHEN Dongping, CHEN Mengyue, CHU Xuening. Identification of Product Redesign Modules Based on#br# Fuzzy Random Failure Mode and Effects Analysis [J]. Journal of Shanghai Jiao Tong University, 2017, 51(10): 1189-1195.
[3]	LI Changxi1, 2, ZHOU Yan1, LIN Han3, LI Lingzhi1, GUO Ge1. TemporalSpatial Sequential Fusion Recognition Method of#br# Ballistic Missile Target Based on MIMOFNN Model [J]. Journal of Shanghai Jiao Tong University, 2017, 51(9): 1138-.
[4]	FENG Mingyue, HE Minghao, HAN Jun, YU Chunlai. High Resolution Direction of Arrival Estimation Based on#br# Covariance Fitting Estimation of Signal Parameters by#br# Rotational Invariance Technique Algorithm [J]. Journal of Shanghai Jiao Tong University, 2017, 51(9): 1145-.
[5]	?YANG Ping1,SHENG Jie1,WANG Yucheng2,LI Zhuyong1,JIN Zhijian1,HONG Zhiyong1. Quench Propagation Characteristics Influenced by NonUniform Properties of YBa2Cu3O7δ High Temperature Superconducting Tape [J]. Journal of Shanghai Jiaotong University, 2017, 51(9): 1090-1096.
[6]	WANG Xing, ZHOU Yipeng, TIAN Yuanrong, CHEN You, ZHOU Dongqing, HE Jiyuan. Sparse Decomposition for Frequency Modulation Radar Signal Based on#br# Advanced Genetic Algorithm and SinChirplet Atom [J]. Journal of Shanghai Jiao Tong University, 2017, 51(9): 1124-1130.
[7]	ZHANG Liangjun1, 2, LI Xiaoci1, WU Jingyi1, CAI Aifeng1. ThermalStructure Coupling Analysis of #br# Microgravity Environment Simulation Suspension Structure for #br# Large Space Deployable Mechanisms [J]. Journal of Shanghai Jiao Tong University, 2017, 51(8): 954-961.
[8]	XIA Hailiang1, 2, LIU Yakun1, 2, LIU Quanzhen3, LIU Baoquan3, FU Zhengcai1, 2. Metal Ablation Affected by Electrode Shapes Under#br# Long Continuing Lightning Current [J]. Journal of Shanghai Jiao Tong University, 2017, 51(8): 903-908.
[9]	LIN Da, ZHU Yijia, WEI Xiaodong, WANG Zhiyu, ZHANG Wugao. Combustion and Particle Emission Characteristics Affected by#br# Fuel Supply Parameters for a Diesel Engine Fuelled with#br# Polyoxymethylene Dimethyl Ethers/Diesel [J]. Journal of Shanghai Jiao Tong University, 2017, 51(7): 787-795.
[10]	GU Jiayang, XIE Yulin, TAO Yanwu, HUANG Xianghong, WU Jie. Numerical Simulation and Experimental Study on VortexInduced#br# Motion of a New Type of Floating Drilling Production Storage Offloading [J]. Journal of Shanghai Jiao Tong University, 2017, 51(7): 878-885.
[11]	MENG Qingyang1, YAN Weiwu1, HU Yong1, CHENG Jianlin1, CHEN Shihe2, ZHANG Xi2. Model Identification Based on Subspace Model Identification of#br# Superheated Steam System in UltraSupercritical CoalFired Power Unit [J]. Journal of Shanghai Jiao Tong University, 2017, 51(6): 672-678.
[12]	JIANG Huajuna, CAI Yana, b, LI Chaohaoa, LI Fanga, b, HUA Xueminga, b. Recognition Method for Gas Pores on XRay Image of Lap Joints#br# Based on the Improved Sobel Algorithm [J]. Journal of Shanghai Jiao Tong University, 2017, 51(6): 665-671.
[13]	DONG Guanhua,YIN Qin,YIN Guofu,XIANG Zhaowei. Identification and Modeling of Coupling Dynamic Stiffness in Joints of Machine Tool [J]. Journal of Shanghai Jiaotong University, 2015, 49(09): 1263-1434.
[14]	XIE Qijiang,YU Haidong. Coupling Relationship Between Loads on Cutterhead of Tunnel Boring Machine and Contact Stiffness of Gripper Shoes and Rocks [J]. Journal of Shanghai Jiaotong University, 2015, 49(09): 1269-1275.
[15]	ZHONG Jianlin1,MA Dawei1,REN Jie1,LI Shijun2,WANG Xu3. Static Compression Analysis of Rubber Hollow Cylinder Based on Plane Strain Assumption [J]. Journal of Shanghai Jiaotong University, 2015, 49(09): 1276-1280.