-
题名带类型恢复的编译器源源翻译技术
被引量：7
- 1
-
-
作者
米伟
李玉祥
陈莉
冯晓兵
张兆庆
-
机构
中国科学院计算技术研究所系统结构重点实验室
中国科学院研究生院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第7期1145-1155,共11页
-
基金
自然科学基金重点项目(60633040)
国家"九七三"重点基础研究发展计划基金项目(2005CB321600)
-
文摘
源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助程序员进行正确性或者性能的调试.在多核/众核时代,程序分析和优化倾向于让用户更多地参与,这种平台无关而且用户友好的代码生成方式也越来越受到欢迎.在简单的编译器中添加源源翻译的支持很容易,但在实现了复杂的程序分析和激进的优化的编译器中,却很少有编译器提供健壮的源源翻译支持.优化对程序结构的改变是造成翻译困难的首要原因.结合大量出错实例对优化给源源翻译带来的困难进行分析,提出了一套基于类型恢复的翻译技术,并在Open64编译器中实现了这种方法.通过supertest和spec2000测试集的测试,验证了这种方法对源源翻译的健壮性有很大改善.该方法的实现模块集成在源源翻译器内,与编译器各种分析优化模块独立,所以该方法容易移植到其他编译器中.
-
关键词
编译器
源源翻译
可重定向
中间表示
类型不一致
类型恢复
-
Keywords
compiler source-to-source
retargetable
intermediate representation
type Inconsistency
type restoration
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
