分岐の相関を利用した効率的なパスプロファイリング

• Item type: Trans(1)
• 公開日: 2006-10-15
• タイトル: 分岐の相関を利用した効率的なパスプロファイリング
• タイトル / 言語: en
• タイトル: Efficient Path Profiling Using Branch Correlations
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属: 日本IBM株式会社東京基礎研究所
• 著者所属: 日本IBM株式会社東京基礎研究所
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Science Engineering, Waseda University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science Engineering, Waseda University
• 著者所属(英): en
• 著者所属(英): Tokyo Research Laboratory, IBM Japan Ltd.
• 著者所属(英): en
• 著者所属(英): Tokyo Research Laboratory, IBM Japan Ltd.
• 著者所属(英): en
• 著者所属(英): Graduate School of Science Engineering, Waseda University
• 著者名: 野崎晋也; 片岡, 正樹; 古関, 聰; 小松, 秀昭; 深澤, 良彰
• 著者名(英): Shinya, Nozaki; Masaki, Kataoka; Akira, Koseki; Hideaki, Komatsu; Yoshiaki, Fukazawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 動的最適化システムにおいて，プロファイリングによって得られた実行時情報をもとに動的に最適化を行うことで，大きなパフォーマンスの向上が期待できる．プロファイリング手法の1つ，パスプロファイリングはプログラム中の始点から終点まで到達可能なすべての経路をもらさず収集する手法であるが，なかには一度も実行されない経路も収集してしまい，コストが高くなってしまうことがある．そこで本発表では，冗長部分の除去のために一度分岐の実行回数をエッジプロファイリングで調べ，その値をノードと見なし制御フロー図を再構築し，そこからプログラム中の分岐の相関関係を調べる．エッジプロファイリングを1回はさむことによって，実行頻度の少ない経路を見つけやすくして，制御フロー再構築後に分岐の相関関係を見ることによってまた実行頻度の少ない経路を見つけやすくする．制御フロー図を再構築するときと分岐の相関関係を調べるときに実行頻度の少ない辺を除去することが，実行頻度の少ない経路を除去することにつながるので，そこからパスプロファイリグをとることによって分岐の相関を見ずに冗長部分の除去をする既存の手法よりもプロファイリングの正確性を上げることが可能になる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In dynamic optimization systems, optimization using run-time information collected by profiling can make large improvements of performance. One of the profiling types, path profiling, collects every reachable path from the entry-point to the exit-point of the program, but collects paths that will not be executed at all so the cost may become high. So at this presentation, for elimination of partial redundancy, we first collect the execution times of the branches by edge profiling, and regard them as nodes and reconstruct the control flow graph, and check the branch correlations. Doing edge profiling once makes it easier to find paths executed few times, and checking branch correlations also makes it easier to find them. Eliminating edges executed few times when reconstructing the control flow graph and when checking the branch correlations lead to eliminating paths executed few times, so taking path profiling after these processes raises the accuracy of profiling as compared with existing methods which eliminate partial redundancy without checking branch correlations.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 47, 号 SIG16(PRO31), p. 91-91, 発行日 2006-10-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会