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）优化方法form2。我们在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)。