研究課題
本年度は研究計画に従い、バイナリレベル複数スレッド化のためのバイナリコード解析技術の開発を継続して進めた。バイナリ変換による複数スレッド化を行う場合に、複数スレッド化前のコードと同じ計算結果になることを保証する(つまり「正しい実行」を保証する)ためにはバイナリコードを対象としてスレッド間でのデータ依存の把握が必要となるが、本研究ではこのデータ依存の把握を行うためにメモリ上に配置された変数のアドレス値を計算木により表現し、その正規形同士の同形判定により同一変数への参照であるかどうかを静的に判定する解析技術「バイナリレベル変数解析手法」と、静的に依存関係を解析し切れない変数について静的な解析情報を前提として実行時にスレッド間で真にデータ依存が存在するかどうかの判定を行う「スレッド間データ依存実行時判定手法」の開発を行っている。今年度は主に「スレッド間データ依存実行時判定手法」の開発を進めた。前年度において、複数スレッド化の対象とするプログラムループ中に含まれる各変数のアドレスの値変化に着目して、各変数がスレッド間でデータ依存関係になるかどうかの判定処理を実行時に行う際に変数間のそれぞれのアドレスについて値変化する場合と変化しない場合に分けて検討を行い、変数のアドレス値の変化範囲がループ実行前に算出可能である場合に、ループの実行開始前に依存の有無の判定を行うことで、ループの各イテレーション毎に行っていたため高コストになっていた依存判定処理の回数を大幅に削減し、低オーバーヘッド化を実現できることを示した。本年度は、ループ内の変数のアドレス値の変化範囲がループ実行前に算出困難な場合についての低コストな実行時判定方法を検討し、初期評価を行った。その結果、正しいプログラムの実行は可能であるものの、チェックによるオーバーヘッドの削減が不十分であることが判明した。また、昨年度設計を行ったバイナリレベル複数スレッド化を実行時に支援するシステムの実装を進めた。本年度は、社会で幅広く使われているx86プロセッサを搭載したLinux PCシステムを前提として、任意のユーザプログラムに対してバイナリコードのパッチ当てを行う機能を実現し、動作確認を行った。今後、本実行時支援システム上に、先に述べたスレッド間依存変数の実行時チェック機能を実現する予定である。
すべて 2007 2006 2003
すべて 雑誌論文 (28件) 産業財産権 (1件)
Proc.IASTED International Conference on Advances in Computer Science and Technology (ACST 2007)
ページ: 23-28
ページ: 293-298
Proc.IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2007)
ページ: 203-208
ページ: 297-302
情報処理学会 第69回全国大会講演論文集 3A-3
ページ: 1-31-1-32
情報処理学会 第69回全国大会講演論文集 1K-2
ページ: 1-49-1-50
情報処理学会 第69回全国大会講演論文集 1K-6
ページ: 1-57-1-58
情報処理学会 第69回全国大会講演論文集 1K-7
ページ: 1-59-1-60
情報処理学会 第69回全国大会講演論文集 1K-8
ページ: 1-61-1-62
情報処理学会 第69回全国大会講演論文集 1K-9
ページ: 1-63-1-64
情報処理学会 第69回全国大会講演論文集 2K-2
ページ: 1-67-1-68
情報処理学会 第69回全国大会講演論文集 2K-3
ページ: 1-69-1-70
情報処理学会 第69回全国大会講演論文集 2L-1
ページ: 1-159-1-160
情報処理学会 第69回全国大会講演論文集 2L-2
ページ: 1-161-1-162
情報処理学会 第69回全国大会講演論文集 3K-2
ページ: 1-85-1-86
情報処理学会 第69回全国大会講演論文集 4K-6
ページ: 1-105-1-106
情報処理学会論文誌コンピューティングシステム Vol.47,No.SIG 12
ページ: 1-11
情報処理学会論文誌コンピューティングシステム Vol.47,No.SIG 7
ページ: 21-42
Journal of Physical Society of Japan (JPSJ) Vol.75,No.7
ページ: 078401
Proc.18th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2006)
ページ: 448-453
Proc.11th Asia-Pacific Computer Systems Architecture Conference (ACSAC 2006)
ページ: 309-322
先進的計算基盤システムシンポジウムSACSIS2006論文集 Vol.2006,No.5
ページ: 367-376
ページ: 256-257
電子情報通信学会コンピュータシステム研究会(CPSY),信学技報 Vol.106,No.436
ページ: 25-30
ページ: 69-74
電子情報通信学会コンピュータシステム研究会(CPSY),信学技報 Vol.106,No.199
ページ: 7-12
ページ: 13-18
情処研報,計算機アーキテクチャ研究会(2006-ARC-169) Vol.2006,No.88
ページ: 91-96