CAJ | 학술논문

二进制翻译技术现已成为实现软件移植的重要手段.在二进制翻译系统中,如何有效地挖掘程序的代码并对其进行高效翻译是影响系统性能的关键,而二进制代码中间接跳转语句的存在,使得静态时难以得到它的跳转目标,影响了代码的发掘率和最终的翻译效果.在通常的应用程序中,间接跳转指令经常用来实现多目标分支语义,分支目标存放在跳转表中.提出了一种解析多目标分支语句及其跳转表的方法,能够挖掘出间接跳转的目标,进而对其进行有效翻译并提高二进制翻译系统的性能.该方法提出使用语义图来对预期语义进行刻画和表达.语义图能够对考察的指令序列进行语义提取,识别出与预期语义相匹配的指令流,还可以应对编译器在不同优化选项下生成的指令,并能有效滤除不相关指令带来的干扰.实验结果表明,对于SPEC CINT2000中的部分测试用例,代码翻译的覆盖率可以提高9.85%～22.13%,相应带来的性能提升可达到8.30%～17.71%,而使用的算法时间复杂度仅为O(1).
이진제번역기술현이성위실현연건이식적중요수단.재이진제번역계통중,여하유효지알굴정서적대마병대기진행고효번역시영향계통성능적관건,이이진제대마중간접도전어구적존재,사득정태시난이득도타적도전목표,영향료대마적발굴솔화최종적번역효과.재통상적응용정서중,간접도전지령경상용래실현다목표분지어의,분지목표존방재도전표중.제출료일충해석다목표분지어구급기도전표적방법,능구알굴출간접도전적목표,진이대기진행유효번역병제고이진제번역계통적성능.해방법제출사용어의도래대예기어의진행각화화표체.어의도능구대고찰적지령서렬진행어의제취,식별출여예기어의상필배적지령류,환가이응대편역기재불동우화선항하생성적지령,병능유효려제불상관지령대래적간우.실험결과표명,대우SPEC CINT2000중적부분측시용례,대마번역적복개솔가이제고9.85%～22.13%,상응대래적성능제승가체도8.30%～17.71%,이사용적산법시간복잡도부위O(1).