(数学工程与先进计算国家重点实验室(战略支援部队信息工程大学) 郑州 450002) (flg_njlg@163.com)
出版日期: 2019-09-10基金资助:国家自然科学基金项目(61472447)Formal Model of Correctness and Optimization on Binary Translation
Fu Liguo, Pang Jianmin, Wang Jun, Zhang Jiahao, Yue Feng(State Key Laboratory of Mathematical Engineering and Advanced Computing (Strategic Support Force Information Engineering University), Zhengzhou 450002)
Online: 2019-09-10Supported by:This work was supported by the National Natural Science Foundation of China (61472447).摘要/Abstract
摘要： 二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同，却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性，而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求，对已有理论模型进行了深入的剖析，并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法，也可以在翻译过程形式化描述的基础上对翻译过程优化方法的特征和性质进行描述.通过构建翻译正确性及翻译过程优化方法的形式化模型，为二进制翻译技术中关于翻译过程的实现以及优化方法的策略组合等进一步研究提供了更强的理论支撑.
参考文献
相关文章 15
| [1] | 傅立国,庞建民,王军,张家豪,岳峰. 动态二进制翻译中库函数处理的优化[J]. 计算机研究与发展, 2019, 56(8): 1783-1791. |
| [2] | 王军,庞建民,傅立国,岳峰,单征,张家豪. 二进制翻译中动静结合的寄存器分配优化方法[J]. 计算机研究与发展, 2019, 56(4): 708-718. |
| [3] | 王军,庞建民,傅立国,岳峰,张家豪. 一种高效解决间接转移的反馈式静态二进制翻译方法[J]. 计算机研究与发展, 2019, 56(4): 742-754. |
| [4] | 卢帅兵,张明,林哲超,李虎,况晓辉,赵刚. 基于动态二进制翻译和插桩的函数调用跟踪[J]. 计算机研究与发展, 2019, 56(2): 421-430. |
| [5] | 徐少平,刘婷云,罗洁,张贵珍,唐祎玲. 图像质量感知的混合噪声快速盲降噪算法[J]. 计算机研究与发展, 2019, 56(11): 2458-2468. |
| [6] | 徐少平，曾小霞，唐祎玲，江顺亮. 基于多图像先验知识的噪声水平评估算法[J]. 计算机研究与发展, 2018, 55(12): 2741-2752. |
| [7] | 谭捷,庞建民,单征,岳峰,卢帅兵,戴涛. 二进制翻译中冗余指令优化算法[J]. 计算机研究与发展, 2017, 54(9): 1931-1944. |
| [8] | 邢宇龙,陈永锐,易卫东,段成华. 低占空比无线传感器网络同步MAC协议最优信标间隔分析[J]. 计算机研究与发展, 2016, 53(9): 2009-2015. |
| [9] | 王栋,李振宇,谢高岗. 在线社会网络无偏采样技术[J]. 计算机研究与发展, 2016, 53(5): 949-967. |
| [10] | 谢永,吴黎兵,张宇波,叶璐瑶. 面向车联网的多服务器架构的匿名双向认证与密钥协商协议[J]. 计算机研究与发展, 2016, 53(10): 2323-2333. |
| [11] | 李战辉, 刘畅, 孟建熠, 严晓浪. 基于高速缓存负荷均衡的动态二进制翻译研究[J]. 计算机研究与发展, 2015, 52(9): 2105-2113. |
| [12] | 张德干，宋孝东，郑可，梁彦嫔. 一种基于关联ID的防碰撞新方法[J]. 计算机研究与发展, 2015, 52(12): 2725-2735. |
| [13] | 王进,黄志球. 云计算中隐私需求的建模与一致性检测[J]. 计算机研究与发展, 2015, 52(10): 2395-2410. |
| [14] | 王文文,武成岗,白童心,王振江,远翔,崔慧敏. 二进制翻译中标志位的模式化翻译方法[J]. 计算机研究与发展, 2014, 51(10): 2336-2347. |
| [15] | 张凤斌 王天博. 实值n维混沌映射否定选择算法[J]. , 2013, 50(7): 1387-1398. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=4015
