Discovery Sagaサイレントキーワード俯瞰

コンパイラ / 最適化 / SSA形式(静的単一代入形式) / 先端アーキテクチャ / コンパイラ・インフラストラクチャ / 命令レベル並列処理 / コード生成

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

コンパイラ / コード生成 / 命令レベル並列処理 / SSA形式(静的単一代入形式) / スーパースカラ / 最適化 / 中間コード

最近の計算機アーキテクチャでは,遅延命令や,複数機能ユニットによるスーパースカラ処理,パイプライン処理,内部並列処理などが行われている.これらは,コンパイラが目的コードを最適に配置することで,初めて目的コードを効率よく実行できるようなアーキテクチャであり,コンパイラの役割は益々重要になっている.
一方,コンパイラのバックエンド処理の新しい内部表現として,単一代入の変数を用いるSSA(Static Single Assignment)形式が提唱され,コンパイラのデータフロー解析や最適化変換が容易にできることで注目を浴びている.しかしSSA形式における最適化変換,およびその後のレジスタ割付けやコード生成フェーズとの接続法は十分解明されていない.
本研究では,これらの問題に対し,(1)最新アーキテクチャの特徴を生かした効率良いコードの生成手法,(2)SSA形式に対応した最適化やコード生成の手法,を中心としたコンパイラの新しい手法を開発することを目標とした.
本研究期間に,次のような成果を得た.
(1)分散プログラミング言語に対する異機種分散環境上での効率良いネイティブコードの生成の研究(雑誌論文の6)(2)スーパースカラマシンに対する,プロセッサ仕様記述を用いたコードスケジューラの研究(雑誌論文の4)(3)PDA(携帯情報端末)のような制約の強いプロセサにおける言語処理系の研究(雑誌論文の5)(4)SSA形式への変換法の研究(5)上記の最適化やコード生成を行うための基礎となる属性文法の研究(研究発表の2,3)や系統的デバッグ法の研究(雑誌論文の1)

【研究分担者】
滝本宗宏	東京理科大学	理工学部	助手	(Kakenデータベース)
脇田建	東京工業大学	大学院・情報理工学研究科	講師	(Kakenデータベース)

【研究分担者】
脇田建	東京工業大学	大学院・情報理工学研究科	講師	(Kakenデータベース)