| 講演名 | 2014-07-28 多面体表現上の反復的最適化における静的コード解析によるプログラム効率評価の高速化(性能評価・チューニング,並列/分散/協調とディペンダブルコンピューティング及び一般) 保坂 智之, 杉野 暢彦, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソースコードに含まれるループ構造を多面体表現上で書き換えることにより,制御構造の異なる多数のソースコードを生成し,最もパフォーマンスのよいものを出力する反復的最適化と呼ばれる枠組みが提案されている.本研究では,反復的最適化の枠組みに対し,実行時間による生成コードの評価手法に代わり,静的コード解析による評価手法を提案している.本報告では,いくつかの例プログラムに対する小規模な計算核実験により,既存の評価手法における評価時間の長期化と評価環境への依存性の問題を改善できることを確認し,また,従来手法と提案手法を組み合わせたハイブリッド方式により,従来手法と同等のパフォーマンス改善率を達成できることを示している. |
| 抄録(英) | For evaluation scheme in source code transformation, a fast evaluation method based on static code analysis is proposed. There exists iterative optimization method based on polyhedral representation model, which transforms an original program into several number of program versions of different structures, and choose the best version among them after very long physical evaluation trial on a target host. In order to improve the method with less evaluation time and with less influence by condition of the target host, an program evaluation method based on a static code analysis is proposed. Practical experiment for example programs shows effectiveness of the proposed method. Furthermore, a hybrid method which combines the proposed and the existing methods, is also shown. |
| キーワード(和) | 反復的最適化 / 静的コード解析 / ソースコード変換 / C言語 |
| キーワード(英) | iterative optimization / static code analysis / source code transformation / c language |
| 資料番号 | CPSY2014-14 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 2014/7/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 多面体表現上の反復的最適化における静的コード解析によるプログラム効率評価の高速化(性能評価・チューニング,並列/分散/協調とディペンダブルコンピューティング及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Fast Evaluation Method based on Static Code Analysis for Programs Derived by the Iterative Optimization on the Polyhedral Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 反復的最適化 / iterative optimization |
| キーワード(2)（和/英） | 静的コード解析 / static code analysis |
| キーワード(3)（和/英） | ソースコード変換 / source code transformation |
| キーワード(4)（和/英） | C言語 / c language |
| 第 1 著者 氏名（和/英） | 保坂 智之 / Tomoyuki HOSAKA |
| 第 1 著者 所属（和/英） | 東京工業大学総合理工学研究科物理情報システム専攻 Tokyo Institute of Technology |
| 第 2 著者 氏名（和/英） | 杉野 暢彦 / Nobuhiko SUGINO |
| 第 2 著者 所属（和/英） | 東京工業大学総合理工学研究科物理情報システム専攻 Tokyo Institute of Technology |
| 発表年月日 | 2014-07-28 |
| 資料番号 | CPSY2014-14 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 155 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |