二进制翻译中的过程恢复技术  

Procedure Recovery Technology in Binary Translation

作　　者：马湘宁[1] 张兆庆[1] 冯晓兵[1] 张军超[1] 

机构地区：[1]中国科学院计算所,北京100080

出　　处：《计算机工程与应用》2002年第19期1-5,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(批准号:60103006);863高技术研究发展项目(编号:2001AA111061);计算所知识创新课题

摘　　要：目前对处理器速度的追求促使体系结构不断发展,但是软件的支持却不能与其匹配,造成新体系结构推广的困难,研究、解决代码迁移问题的二进制翻译方法应运而生。文中介绍了在开发一个静态二进制翻译系统(XM翻译器)中的过程恢复技术,包括参数恢复和返回值恢复,并提出了解决返回值恢复问题的一个新的实现方法。它回避了一般方法中必须要进行数据流、控制流分析的复杂性,基于x86机器本身的调用特点以及实例的分析,是一种简单实用的实现返回值恢复的方法,经XM系统验证是行之有效的。With the continuous development of Instruction Set Architecture(ISA),the slower development of correspond-ing softwares hinder the popularization of the new ISA.Binary translation is an alternative method to reuse legacy soft-ware by code migration from existing ISA to new ISA.This paper introduces the procedure recovery technique in XM binary translator which is a static translator developed by the authors,including argument recovery and return value re-covery.Especially the paper gives a new implementation approach of return value recovery problem.This method obviates the complexity of control flow and data flow analysis which must be used by other methods.It is a simple and practical method to recover the return value based on the calling characteristics of x86microprocessors and observation of the program instance.It is proved to be effective by the XM translation system.

关 键 词：二进制翻译 过程恢复 编译优化 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]