コンパイラ・インフラストラクチャを用いた先端アーキテクチャ向け最適化の研究

2001 Fiscal Year Annual Research Report

• Project/Area Number: 13680399
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 佐々 政孝 東京工業大学, 大学院・情報理工学研究科, 教授 (20016182)
• Co-Investigator(Kenkyū-buntansha): 滝本 宗宏 東京理科大学, 理工学部, 助手 (00318205) ; 脇田 建 東京工業大学, 大学院・情報理工学研究科, 講師 (10242265)
• Keywords: コンパイラ / 最適化 / SSA形式(静的単一代入形式) / 命令レベル並列処理 / 先端アーキテクチャ / コンパイラ・インフラストラクチャ / コード生成

Research Abstract

コンパイラの分野では,技術移転の容易なコンパイラ・インフラストラクチャを利用した先端アーキテクチャ向けの最適化や,SSA(静的単一代入)形式などの新しい内部表現への対応が切望されている.本研究では,
(1)コンパイラ・インフラストラクチャの積極的な利用
(2)スーパースカラやVLIWなど先端アーキテクチャ向けの最適化コード生成手法
(3)SSA形式などの新しい内部表現に対応した最適化の手法
を中心としたコンパイラの新しい手法を開発する.
本研究期間内に次のような成果を得た.
(1)科学技術振興調整費で作成されるコンパイラ・インフラストラクチャを利用して,通常形式からSSA形式への変換,SSA形式から通常形式への逆変換SSA最適化のプロトタイプを作成した(研究発表の5).
(2)SSA形式を用いる進んだ最適化を行う手法を発表し(研究発表の2, 3),これをコンパイラ・インフラストラクチャを利用して実現するための検討を行った.
(3)先端アーキテクチャであるIA-64に対し,プレディケイト付き命令を含む命令レベル並列化を最大限に発揮する,SSA形式を用いた最適化コードの生成手法を明らかにした(研究発表の7).
(4)その他、上記の最適化やコード生成を行うための基礎となる,正規右辺文法に対するLALR構文解析器のアルゴリズム(研究発表の1),系統的デバッギングの研究(研究発表の8),メモリ管理機能の研究(研究発表の4),インタプリタ生成系の研究(研究発表の6)などを行った.

Research Products

• [Publications] Morimoto, S., Sassa, M.: "Yet another generation of LALR parsers for regular right part grammars"Acta Informatica. 37. 671-697 (2001)
• [Publications] Takimoto, M., Harada, K.: "Eliminating May-Aliases"Proc. SSGRR 2001 - 2nd International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet. No.90 (2001)
• [Publications] 滝本宗宏, 原田賢一: "別名情報による段階的詳細化に基づいた等価式発見"電子情報通信学会技術研究会報告(ソフトウェアサイエンス研, SIGSS). 101・98. 17-24 (2001)
• [Publications] 内山雄司, 脇田建: "メモリ管理機能のモジュラーかつ効率的な実装手法"情報処理学会論文誌 プログラミング. 43,SIG 1(PRO 13). 10-24 (2002)
• [Publications] 中谷俊晴, 加藤吉之介, 佐々政孝, 脇田建: "コンパイラ・インフラストラクチャにおけるSSA形式最適化プロトタイプシステムの実装"日本ソフトウェア科学会大会論文集. 18. 3D-2 (2001)
• [Publications] 緒方大介, 脇田建, 内山雄司, 佐々政孝: "バイトコード命令の操作的意味記述を用いた仮想機械核生成系"日本ソフトウェア科学会大会論文集. 18. 3D-4 (2001)
• [Publications] 加藤吉之介, 脇田建, 佐々政孝: "SSA形式を利用したPredicated Execution向け命令スケジューリング手法"情報処理学会ハイパフォーマンスコンピューティング研究会・計算機アーキテクチャ研究会合同研究集会(HOKKE-2002). 89&139. (2002)
• [Publications] 池添洋平, 佐々晃, 脇田建, 佐々木政孝: "属性文法の系統的デバッグ手法とその環境"日本ソフトウェア科学会PPL2002論文集. (2002)