Javaプログラムにおいて例外による順序制約を投機的命令移動を用いて除去する方法

概要

論文の詳細を見る
Javaの型安全性はプログラムの健全さと信頼性を増加させるが,その性質を保証するために実行時例外検査が導入される.これらの検査は,プログラマが意図しない異常なプログラム終了を起こさないことを保証している.だが,これらの検査はハードウェアに関する例外を発生する命令との間に順序制約をもたらし,命令の並べ替えをともなう最適化の効率を低下させる.本論文では,Javaのような型安全な言語において,有向グラフを用いて効率的に投機的命令移動を適用するための枠組みを述べる.例外検査の命令とハードウェアに関する例外を発生する命令の間に存在する順序制約を除去するために,この枠組みを用いて後者の命令に投機的命令移動を適用する.従来,分岐命令の制御フローによって表現されていた順序制約は,この枠組みでは命令間の辺として単純に表現される.この表現を用いて,投機的命令移動によるクリティカルパスの短縮を正確に見積もり,不必要な移動を抑制する.我々は,この方式をIA-64用のJava Just-In-Timeコンパイラに実装し,Itaniumプロセッサ上において性能向上を得た.
一般社団法人情報処理学会の論文
2002-09-15