2000 Fiscal Year Annual Research Report
SSA形式に基づく中間言語を用いた最新アーキテクチャに対するコンバイラの研究
| Project/Area Number |
11680347
|
|---|
| Research Institution | TOKYO INSTITUTE OF TECHNOLOGY |
|---|
Principal Investigator |
佐々 政孝 東京工業大学, 大学院・情報理工学研究科, 教授 (20016182)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
脇田 建 東京工業大学, 大学院・情報理工学研究科, 講師 (10242265)
|
|---|
| Keywords | コンパイラ / コード生成 / 命令レベル並列処理 / SSA形式(静的単一代入形式) / スーパースカラ / 最適化 |
|---|
| Research Abstract |
(横48字)
最近の計算機アーキテクチャでは,遅延命令や,複数機能ユニットによるスーパースカラ処理,パイプライン処理,内部並列処理などが行われている.これらは,コンパイラが目的コードを最適に配置することで,初めて目的コードを効率よく実行できるようなアーキテクチャであり,コンパイラの役割は益々重要になっている.
一方,コンパイラのバックエンド処理の新しい内部表現として,単一代入の変数を用いるSSA(Static Single Assignment)形式が提唱され,コンパイラのデータフロー解析や最適化変換が容易にできることで注目を浴びている.しかしSSA形式における最適化変換,およびその後のレジスタ割付けやコード生成フェーズとの接続法は十分解明されていない.
本研究では,これらの問題に対し,(1)最新アーキテクチャの特徴を生かした効率良いコードの生成手法,(2)SSA形式に対応した最適化やコード生成の手法,を中心としたコンパイラの新しい手法を開発することを目標とした.
本研究期間に,次のような成果を得た.
(1)分散プログラミング言語に対する異機種分散環境上での効率良いネイティブコードの生成の研究(雑誌論文の6)(2)スーパースカラマシンに対する,プロセッサ仕様記述を用いたコードスケジューラの研究(雑誌論文の4)(3)PDA(携帯情報端末)のような制約の強いプロセサにおける言語処理系の研究(雑誌論文の5)(4)SSA形式への変換法の研究(5)上記の最適化やコード生成を行うための基礎となる属性文法の研究(研究発表の2,3)や系統的デバッグ法の研究(雑誌論文の1)
|
-
[Publications] Ikezoe,Y.,Sasaki,A.,Ohshima,Y.,Wakita,K.and Sassa,M.: "Systematic Debugging of Attribute Grammars"Proc.AADEBUG 2000-4th International Workshop on Automated Debugging. 235-240 (2000)
-
[Publications] Nakai,H.,Sassa,M.,Kameyama,H.and Nakata,I.: "Incremental Attribute Evaluation of LR-attributed Grammars Using Space-Efficient Data Structure"Proc.WAGA 2000-3rd Workshop on Attribute Grammars and their Applications. 99-116 (2000)
-
[Publications] Sasaki,A.and Sassa,M.: "Circular Attribute Grammars with Remote Attribute References"Proc.WAGA 2000-3rd Workshop on Attribute Grammars and their Applications. 125-140 (2000)
-
[Publications] 加藤吉之介,脇田建,佐々政孝: "プロセッサ仕様記述を用いたコードスケジューラの実装"日本ソフトウェア科学会大会論文集. 17. C4-3 (2000)
-
[Publications] 大島芳樹,脇田建,佐々政孝: "プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価"情報処理学会論文誌:プログラミング. 41・SIG9(PRO8). 62-77 (2000)
-
[Publications] Wakita,K.,Asano,T.and Sassa,M.: "D'Caml : Native Support for Distributed ML Programming in Heterogeneous Environment"Euro-Par'99 Parallel Processing, Proceedings, Lecture Notes in Computer Science. 1685. 914-923 (1999)
