関連研究

第 6 _{章 議論}

6.2.2 コンパイラ最適化過程の可視化の研究

本研究以外のコンパイラ最適化過程の可視化の研究には、可視化とデバッガについての 研究Graphical Visualization Of Compiler Optimizations [3]がある。これは、VPOコン パイラ[18]において、新しいマシンへの対応のプロセスを容易にし、またそれを補助する ことができるツールである。

6.2.3 XML を用いた最適化過程の可視化の研究

また、XMLを用いたコンパイラ最適化過程の可視化の研究に、Performance Visualiza-tions using XML RepresentaVisualiza-tions [17]がある。これはSUIFコンパイラ[16]やIMPACTコ ンパイラ[8]などを対象としており、中間表現と共にXMLファイルを作成し、最適化過程 を可視化することができる。

6.2.4 その他コンパイラ最適化過程の可視化の研究

その他、コンパイラ最適化過程の可視化は開発現場で使われていると思われるが、ほと んど公開されていない。

第 7 _{章 まとめ}

本研究ではコンパイラ最適化過程の可視化ツールの作成を行った。機能として、

• COINSコンパイラにSSA最適化のLIRを含むトレース情報の出力の機能をもたせる

• 各最適化器ごとにソースファイル・LIR・lir2c・制御フローグラフを表示する

• ソースファイル・LIR・lir2c・制御フローグラフの同期をとらせる の3つの特徴がある。

本研究により、さらにCOINSにおける最適化器の正しさの確認がしやすくなり、新たな 最適化器作成を補助することができるようになった。

今後の課題としては、制御フローグラフの中身の表示を実装していきたい。しかし、html ベースではこの機能の追加は難しいため、Java言語などのプログラム言語を使って新たに 開発する必要がある。

謝辞

本研究を進めるにあたり多大なる御指導ご鞭撻を頂いた、東京工業大学 数理・計算科学 専攻教授の佐々政孝先生に深く感謝の意を表します。

また、佐々研究室の皆様にはさまざまな面で助力を頂きました。あらためまして、ここ に深くお礼申し上げます。

参考文献

[1] Andrew W. Appel. Modern compiler implementation in Java. Cambridge University Press, 2nd edition, 2002.

[2] AT&T. Graphviz homepage. http://www.graphviz.org/.

[3] M. Boyd and D. Whalley. Graphical visualization of compiler optimization, 1995.

[4] COINS-Project. Coins homepage. http://www.coins-project.org/.

[5] 東京工業大学 大学院情報理工学研究科佐々研究室. 静的単一代入形式最適化システ ム 外部仕様書. http://www.is.titech.ac.jp/^∼sassa/coins-www-ssa/japanese/

ssa-external-japanese.pdf.

[6] Robert Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, and David Tarditi. Marmot: an optimizing compiler for Java. Software - Practice and Expe-rience, Vol. 30, No. 3, pp. 199–232, 2000.

[7] GNU-Project. Gcc homepage. http://gcc.gnu.org/.

[8] IMPACT Research Group. http://www.crhc.uiuc.edu/Impact/.

[9] IBM. Jikes research virtual machine. http://jikesrvm.sourceforge.net/.

[10] 森公一郎. COINS新LIR内部構造, 2003. http://www.coins-project.org/050303/

base/BackEnd/NewLir.html.

[11] 中田育男. コンパイラの構成と最適化. 朝倉書店, 1999.

[12] Larry Wall, Tom Cbristiansen, and Jon Orwant. プログラミングPerl. 第3版.

[13] COINS Project. COINSプロジェクトLIR仕様書, 2002. http://www.coins-project.

org/spec/lir.pdf.

[14] 佐々政孝. プログラミング言語処理系. 岩波書店, 1989.

[15] Scale Compiler Group. Scale homepage. http://www-ali.cs.umass.edu/Scale/.

[16] The SUIF Group. The stanford suif compiler group. http://suif.stanford.edu/.

[17] Yijun Yu, Kristof Beyls, and Erik H. D’Hollander. Performance visualizations using XML representations. Proceedings of the Eighth International Conference on Infor-mation Visualisation( ’04), 2004.