###
DOI:
Journal of Software:2007.18(7):1603-1611

基于动态反馈的标志位线性分析算法
唐锋,武成岗,冯晓兵,张兆庆
(中国科学院,计算技术研究所,先进编译实验室,北京,100080;中国科学院,研究生院,北京,100049)
EfLA Algorithm Based on Dynamic Feedback
TANG Feng,WU Cheng-Gang,FENG Xiao-Bing,ZHANG Zhao-Qing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3272   Download 2802
Received:April 17, 2006    Revised:August 21, 2006
> 中文摘要: 二进制翻译可以用于解决遗产代码的迁移问题,也可以实现不同硬件平台之间软件的通用.如果源平台通过标志位进行条件跳转,那么如何处理标志位就成为翻译中的一个重要问题,对翻译的代码质量起着决定性作用.提出标志位线性分析算法,复杂度为线性,基本上能够消除所有的标志位冗余计算,提高了动态执行的效率.基于动态profiling技术,消除了间接跳转的基本块标志位冗余计算.分析了spec 2000中的大部分整点测试例子,实验结果表明,EfLA(Eflag linear analysis)算法对于大运算量的程序是非常有效的.
Abstract:Binary translation is applied for the legacy code porting. Binary code can be executed in different hardware platforms by binary translation. If the source platform uses condition code to change the execution flow, it is an important performance issue to handle the condition code translation. This paper presents the algorithm of Eflag linear analysis. The complexity of the algorithm is linear and the algorithm reduces much of the flag computing and increases the performance of the dynamic execution. Through dynamic profiling, the algorithm solves to eliminate the Eflag calculation in the basic indirect jump block. Some integer test cases are analyzed in spec 2000. The experimental results prove the efficiency of the EfLA (Eflag linear analysis) for large calculation program.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60403017 (国家自然科学基金) Supported by the National Natural Science Foundation of China under Grant No.60403017 (国家自然科学基金)
Foundation items:
Reference text:

唐锋,武成岗,冯晓兵,张兆庆.基于动态反馈的标志位线性分析算法.软件学报,2007,18(7):1603-1611

TANG Feng,WU Cheng-Gang,FENG Xiao-Bing,ZHANG Zhao-Qing.EfLA Algorithm Based on Dynamic Feedback.Journal of Software,2007,18(7):1603-1611