(数学工程与先进计算国家重点实验室(战略支援部队信息工程大学) 郑州 450002) (wj_xd@foxmail.com)
出版日期: 2019-04-01基金资助:国家自然科学基金项目(61520106005，61761136014)；国家重点研发计划项目(2017YFB1010000)An Efficient Feedback Static Binary Translator for Solving Indirect Branch
Wang Jun, Pang Jianmin, Fu Liguo, Yue Feng, Zhang Jiahao(State Key Laboratory of Mathematical Engineering and Advanced Computing (Strategic Support Force Information Engineering University), Zhengzhou 450002)
Online: 2019-04-01摘要/Abstract
摘要： 为了在追求程序执行效率的同时解决静态二进制翻译中的间接转移问题，针对现有间接转移问题处理方法中线性遍历翻译方式代码优化较少、冗余代码较多的缺陷，提出了基于基本块翻译的反馈式静态二进制翻译方法，并结合二级地址映射表实现了间接转移目标地址的快速映射.首先，在目标可执行程序运行过程中添加监控反馈机制解决代码发现问题，对未确定的间接转移地址进行反馈，以便对源程序重新划分基本块并重新翻译执行；然后构造二级地址映射表，借助二级地址映射快速解决代码定位问题.在开源二进制翻译平台QEMU(quick emulator)上实现了反馈式静态二进制翻译框架FD-SQEMU(feedback static QEMU)，并基于SPEC2006和NBENCH测试集进行测试，与QEMU相比，FD-SQEMU平均加速比分别达到3.97倍和6.94倍;与课题组之前提出的保存源程序指令全地址的静态SQEMU翻译器相比，FD-SQEMU的平均加速比达到1.18倍，最高加速比达到了1.36倍，验证了提出的框架和方法的有效性.
参考文献
相关文章 15
| [1] | 傅立国,庞建民,王军,张家豪,岳峰. 二进制翻译正确性及优化方法的形式化模型[J]. 计算机研究与发展, 2019, 56(9): 2001-2011. |
| [2] | 傅立国,庞建民,王军,张家豪,岳峰. 动态二进制翻译中库函数处理的优化[J]. 计算机研究与发展, 2019, 56(8): 1783-1791. |
| [3] | 王军,庞建民,傅立国,岳峰,单征,张家豪. 二进制翻译中动静结合的寄存器分配优化方法[J]. 计算机研究与发展, 2019, 56(4): 708-718. |
| [4] | 卢帅兵,张明,林哲超,李虎,况晓辉,赵刚. 基于动态二进制翻译和插桩的函数调用跟踪[J]. 计算机研究与发展, 2019, 56(2): 421-430. |
| [5] | 谭捷,庞建民,单征,岳峰,卢帅兵,戴涛. 二进制翻译中冗余指令优化算法[J]. 计算机研究与发展, 2017, 54(9): 1931-1944. |
| [6] | 李战辉, 刘畅, 孟建熠, 严晓浪. 基于高速缓存负荷均衡的动态二进制翻译研究[J]. 计算机研究与发展, 2015, 52(9): 2105-2113. |
| [7] | 黄明凯,刘先华,谭明星,谢子超,程旭. 一种面向解释器的间接转移预测技术[J]. 计算机研究与发展, 2015, 52(1): 66-82. |
| [8] | 贾 宁 杨 春 佟 冬 王克义. 动态翻译系统中的间接转移关联软件预测算法[J]. 计算机研究与发展, 2014, 51(3): 661-671. |
| [9] | 王文文,武成岗,白童心,王振江,远翔,崔慧敏. 二进制翻译中标志位的模式化翻译方法[J]. 计算机研究与发展, 2014, 51(10): 2336-2347. |
| [10] | 赵天磊 唐遇星 付桂涛 贾小敏 齐树波 张民选. 利用动态二进制翻译加速应用程序行为特征分析[J]. , 2012, 49(1): 35-43. |
| [11] | 陈莉丽 沈 立 王志英 肖 侬 姚益平. 面向特定应用的计算加速器虚拟化[J]. , 2011, 48(11): 2103-2110. |
| [12] | 陈 微 王志英 肖 侬 沈 立 陆洪毅. 降低协同设计虚拟机启动开销的译码后指令缓存技术[J]. , 2011, 48(1): 19-27. |
| [13] | 陈 龙, 武成岗, 谢海斌, 崔慧敏, 张兆庆,. 二进制翻译中解析多目标分支语句的图匹配方法[J]. , 2008, 45(10): 1789-1798. |
| [14] | 谢海斌, 武成岗, 崔慧敏, 李 晶,. 二进制翻译中的X86浮点栈处理[J]. , 2007, 44(11): 1946-1954. |
| [15] | 李剑慧, 马湘宁, 朱传琪,. 动态二进制翻译与优化技术研究[J]. , 2007, 44(1): 161-168. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3904
