动态二进制翻译中的中间表示  

Intermediate Representation in Dynamic Binary Translation

作　　者：姜玲燕[1] 梁阿磊[1] 管海兵[1] 

机构地区：[1]上海交通大学软件学院,上海200240

出　　处：《计算机工程》2009年第9期283-284,F0003,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2006AA01Z169);国家"973"计划前期研究专项基金资助项目(2007CB316506);国家自然科学基金资助项目(60773093)

摘　　要：在二进制翻译中采用中间表示,可以适当隔离不同机器平台的特点,便于二进制翻译系统的移植。提出一种VINST中间表示方法,介绍其指令集与特点,运用SSA形式化和冗余指令删除等方法对VINST进行初步优化。优化前后的性能比较结果表明,相对简单高效的方法可以弥补优化的开销,提高系统性能。In binary translation, the use of intermediate representation can appropriate segregate different machine platforms, and make binary translation system more portable. This paper presents an intermediate representation called VINST, introduces the instruction set and its characteristics. It discusses some optimization methods including SSA formalization algorithm and redundancy elimination algorithm. Through comparison between before and after the optimization, it shows that a simple and efficient method can cover the cost of optimization itself and improve system performance.

关 键 词：动态二进制翻译 中间表示 二进制翻译器CrossBit 

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