Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))

スポンサーリンク

概要

論文の詳細を見る
静的単一代入(SSA)形式とは、変数の定義がプログラムの字面上で唯一となるようにしたプログラムの中間表現の形式である。このSSA形式の配列への拡張(Array SSA)は、既存の手法では実用性の低いものであったが、Rusらによって実用的な拡張手法が提案された。この手法はFortranに対して行われているため、C言語のプログラムに適用するにはいくっかの変更が必要である。また、Array SSAの効果に対する評価はまだあまり行われていない。そこで本研究では、Rusらの手法を参考に、C言語に対応したArray SSAと、それを用いた4つの最適化をCOINSコンパイラ上で実装し、その効果を計った。実験の結果、数%から10%の実行時間の改善が見られ、その効果を確認することが出来た。
一般社団法人情報処理学会の論文
2008-03-05

著者

関連論文

もっと見る

スポンサーリンク