Optimizations for advanced architectures using compiler infrastructures

使用编译器基础架构优化高级架构

• 批准号: 13680399
• 负责人: SASSA Masataka
• 金额: $ 2.3万
• 依托单位: TOKYO INSTITUTE OF TECHNOLOGY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13680399/
• 关键词: Compiler; Optimization; SSA (static single assignment) form; Advanced architecture; Compiler infrastructure; 命令レベル並列処理; コード生成

1. In the field of compilers, research on optimizations for advanced architectures using compiler infrastructures, which facilitate technology transfer, and coping with new intermediate, representations such as SSA (Static Single Assignment) form, are highly expected. In this research we developed new compiling techniques focusing on :(1) Active use of compiler infrastructure(2) Method of generation of optimized code for advanced architecture such as super scalar and VLIW machines(3) Optimization method using new internal representations such as SSA form2. We got the following results in 2001-2002.(1) We made a basic optimizer using the SSA form utilizing a compiler infrastructure, which was developed separately under the Grant "Special Coordination Fund for Promoting Science and Technology".(2) We made a comparison of algorithms for back translation from SSA form into normal form, using the above compiler infrastructure.(3) We developed an advanced optimization method using the SSA form, and investigated its realization utilizing a compiler infrastructure.(4) We also made research on systematic debugging, program specialization, and generator of interpreters, which are the base of the above optimization and code generation.

1.在编译器领域，使用编译器基础设施优化高级体系结构的研究，这有助于技术转移，并应对新的中间表示，如SSA（静态单赋值）形式，是非常值得期待的。在这项研究中，我们开发了新的编译技术，重点是：（1）积极使用编译器的基础设施（2）的方法生成优化的代码，先进的架构，如超标量和VLIW机器（3）优化方法，使用新的内部表示，如SSA形式2。我们在2001-2002年取得了以下成果。(1)我们利用编译器基础结构，使用SSA形式制作了一个基本的优化器，该编译器基础结构是在赠款“促进科学和技术特别协调基金”下单独开发的。(2)我们使用上面的编译器基础设施，对从SSA形式到标准形式的反向翻译算法进行了比较。(3)我们开发了一种先进的优化方法，使用SSA形式，并研究其实现利用编译器基础设施。(4)本文还对系统调试、程序特殊化和解释器生成等方面进行了研究，这些都是上述优化和代码生成的基础。

项目成果

池添洋平, 佐々晃, 脇田建, 佐々木政孝: "属性文法の系統的デバッグ手法とその環境"日本ソフトウェア科学会PPL2002論文集. (2002)

Yohei Ikezoe、Akira Sassa、Ken Wakita、Masataka Sasaki：“属性语法及其环境的系统调试方法”日本软件学会论文集 PPL2002（2002）。

Sassa, M., Nakaya, T., Kohama, M., Fukuoka, T., Takahashi, M.: "Static Single Assignment Form in the COINS Compiler Infrastructure"Proc. SSGRR 2003w -Int. Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Inte

Sassa, M.、Nakaya, T.、Koham, M.、Fukuoka, T.、Takahashi, M.：“COINS 编译器基础结构中的静态单一赋值形式”Proc。

Wakita, K., Uchiyama, Y., Ogata, D.: "Generation of Efficient Virtual Machine"International Lisp Conference. 2002. (2002)

Wakita, K.、Uchiyama, Y.、Ogata, D.：“高效虚拟机的生成”国际 Lisp 会议。

中谷俊晴, 加藤吉之介, 佐々政孝, 脇田建: "コンパイラ・インフラストラクチャにおけるSSA形式最適化プロトタイプシステムの実装"日本ソフトウェア科学会大会論文集. 18. 3D-2 (2001)

Toshiharu Nakatani、Kichinosuke Kato、Masataka Sasa、Ken Wakita：“编译器基础设施中 SSA 格式优化原型系统的实现”日本软件科学技术学会会议记录 18. 3D-2 (2001)。

小濱真樹, 中谷俊晴, 佐々政孝: "静的単一代入形式における正規化アルゴリズムの比較"日本ソフトウェア科学会大会論文集. 19. 1C-1 (2002)

Maki Kohama、Toshiharu Nakatani、Masataka Sasa：《静态单赋值形式的归一化算法的比较》日本软件科学技术协会会议录 19. 1C-1 (2002)。