| 带类型恢复的编译器源源翻译技术 |
| |
| 引用本文： | 米伟,李玉祥,陈莉,冯晓兵,张兆庆.带类型恢复的编译器源源翻译技术[J].计算机研究与发展,2010,47(7). |
| |
| 作者姓名： | 米伟 李玉祥 陈莉 冯晓兵 张兆庆 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所系统结构重点实验室,北京,100190;中国科学院研究生院,北京,100049
2. 中国科学院计算技术研究所系统结构重点实验室,北京,100190 |
| |
| 基金项目： | 自然科学基金重点项目，国家"九七三"重点基础研究发展计划基金项目 |
| |
| 摘 要： | 源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助程序员进行正确性或者性能的调试.在多核/众核时代,程序分析和优化倾向于让用户更多地参与,这种平台无关而且用户友好的代码生成方式也越来越受到欢迎.在简单的编译器中添加源源翻译的支持很容易,但在实现了复杂的程序分析和激进的优化的编译器中,却很少有编译器提供健壮的源源翻译支持.优化对程序结构的改变是造成翻译困难的首要原因.结合大量出错实例对优化给源源翻译带来的困难进行分析,提出了一套基于类型恢复的翻译技术,并在Open64编译器中实现了这种方法.通过supertest和spec2000测试集的测试,验证了这种方法对源源翻译的健壮性有很大改善.该方法的实现模块集成在源源翻译器内,与编译器各种分析优化模块独立,所以该方法容易移植到其他编译器中.
|
| 关 键 词： | 编译器 源源翻译 可重定向 中间表示 类型不一致 类型恢复 |
A Source-to-Source Translation Method with Type Restoration in a Compiler |
| |
| Mi Wei,Li Yuxiang,Chen Li,Feng Xiaobing,Zhang Zhaoqing.A Source-to-Source Translation Method with Type Restoration in a Compiler[J].Journal of Computer Research and Development,2010,47(7). |
| |
| Authors: | Mi Wei Li Yuxiang Chen Li Feng Xiaobing Zhang Zhaoqing |
| |
| Affiliation: | Mi Wei1,2,Li Yuxiang1,Chen Li1,Feng Xiaobing1,and Zhang Zhaoqing11(Key Laboratory of Computer System and Architecture,Institution of Computing Technology,Chinese Academy of Sciences,Beijing 100190)2(Graduate University of Chinese Academy of Sciences,Beijing 100049) |
| |
| Abstract: | Source-to-source translation is an important way to make analysis and optimization in a compiler retargetable. It is widely used to support various parallel programming language extensions and platform independent optimizations, and it can help programmers to validate the program correctness and to tune the performance. In the multi-core and many-core times, users are more eagerly demanded to get involved in program analysis and optimization. Source-to-source code generation, which is platform independent a... |
| |
| Keywords: | compiler source-to-source retargetable intermediate representation type inconsistency type restoration |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
