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

2002 年度 実績報告書

• 研究課題/領域番号: 13680399
• 研究機関: 東京工業大学
• 研究代表者: 佐々 政孝 東京工業大学, 大学院・情報理工学研究科, 教授 (20016182)
• 研究分担者: 滝本 宗宏 東京理科大学, 理工学部, 助手 (00318205) ; 脇田 建 東京工業大学, 大学院・情報理工学研究科, 講師 (10242265)
• キーワード: コンパイラ / 最適化 / SSA形式(静的単一代入形式) / 先端アーキテクチャ / コンパイラ・インフラストラクチャ

研究概要

1.コンパイラの分野では,技術移転の容易なコンパイラ・インフラストラクチャを利用した先端アーキテクチャ向けの最適化や,SSA(静的単一代入)形式などの新しい内部表現への対応が切望されている.本研究では,(1)コンパイラ・インフラストラクチャの積極的な利用 (2)スーパースカラやVLIWなど先端アーキテクチャ向けの最適化コード生成手法 (3)SSA形式などの新しい内部表現に対応した最適化の手法 を中心としたコンパイラの新しい手法を開発する.
2.平成14年度に次のような成果を得た.
(1)科学技術振興調整費で作成されるコンパイラ・インフラストラクチャを利用して,SSA形式を用いた基本最適化部分を作成した(研究発表の3,5,6)
(2)同上のコンパイラ・インフラストラクチャを利用して,SSA形式から通常形式への逆変換を行うアルゴリズムの比較を行った(研究発表の4).
(3)SSA形式を用いる進んだ最適化を行う手法を発表し(研究発表の7,8),これをコンパイラ・インフラストラクチャを利用して実現するための検討を行った.
(4)その他,上記の最適化やコード生成を行うための基礎となる,系統的デバッギングの研究(研究発表の1),プログラム特化の研究(研究発表の2),インタプリタ生成系の研究(研究発表の9)などを行った.

研究成果

• [文献書誌] 佐々木晃, 池添洋平, 佐々政孝: "属性文法の系統的デバッグ法"情報処理学会論文誌:プログラミング. 43・SIG3(PRO14). 1-16 (2002)
• [文献書誌] 徳生吉孝, 脇田建, 佐々政孝: "アセンブリ言語上でのプログラム特化"情報処理学会論文誌. 43・6. 1910-1929 (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 Internet. NO.54 (2003)
• [文献書誌] 小濱真樹, 中谷俊晴, 佐々政孝: "静的単一代入形式における正規化アルゴリズムの比較"日本ソフトウェア科学会大会論文集. 19. 1C-1 (2002)
• [文献書誌] 福岡岳穂, 高橋正人, 中谷俊晴, 佐々政孝: "コンパイラ・インフラストラクチャCOINSにおけるSSA形式最適化の実現"日本ソフトウェア科学会大会論文集. 19. 2C-2 (2002)
• [文献書誌] Sassa, M., Nakaya, T., Kohama, M., Fukuoka, T., Takahashi, M., Nakata, I.: "Static Single Assignment Form in the COINS Compiler Infrastructure -Current Status and Background -"日本ソフトウェア科学会プログラミングおよび応用のシステムに関するワークショップ(SPA2003)論文集. 6. (2003)
• [文献書誌] 滝本宗宏, 原田賢一: "別名情報に基づくレジスタ促進"情報処理学会論文誌:プログラミング. 43・SIG8(PRO15). 49-61 (2002)
• [文献書誌] 滝本宗宏, 原田賢一: "May別名除去"情報処理学会論文誌:プログラミング. 43・SIG8(PRO15). 11-22 (2002)
• [文献書誌] Wakita, K., Uchiyama, Y., Ogata, D.: "Generation of Efficient Virtual Machine"International Lisp Conference. 2002. (2002)