论文部分内容阅读
本论文提出一种可重定向的动态二进制翻译系统,它可用于不同计算机体系结构之间的翻译。其灵感来源于昆士兰大学的UQBT系统。在UQBT中,将与机器相关的二进制代码译码为RTL的格式,然后将代码级别提升到与机器无关的中间表示-HRTL。实现译码的主要方法就是对不同机器体系结构进行统一的规范描述。文中对如何使用机器描述语言进行描述做了详细的讨论,并给出了系统实现的基本框架以及反汇编、解释器工具的实现思路。论文的初步结论表明,将可重定向性应用于动态二进制翻译是可行的,但构建一个完全可适应机器的动态二进制体系仍有许多研究问题需要解决。
对于实现动态二进制翻译所必需的优化问题,本文从热路径优化的角度做了详细的讨论。使用热路径优化首先需要识别出并创建热路径,同时要注意热路径的重优化问题。在系统优化的过程中,动态优化应该包括检查程序的执行行为并选择最相关的代码区域来优化以达到最优性能。论文的最后给出了在采用不同的翻译结构以及是否采用热路径优化等条件下的系统性能。