SH4A向けコンパイラにおける0-1整数計画法を使った浮動小数点演算精度指定命令の選択と挿入

• Item type: Trans(1)
• 公開日: 2011-03-25
• タイトル: SH4A向けコンパイラにおける0-1整数計画法を使った浮動小数点演算精度指定命令の選択と挿入
• タイトル / 言語: en
• タイトル: Floating Operation Precision Setting Instruction Selection and Insertion Using 0-1 Integer Linear Programming by a Compiler for SH4A
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 中央大学
• 著者所属: 中央大学
• 著者所属: 中央大学
• 著者所属: 中央大学
• 著者所属(英): en
• 著者所属(英): Chuo University
• 著者所属(英): en
• 著者所属(英): Chuo University
• 著者所属(英): en
• 著者所属(英): Chuo University
• 著者所属(英): en
• 著者所属(英): Chuo University
• 著者名: 坂本, 諒; 千葉, 雄司; 久保田, 光一; 土居, 範久
• 著者名(英): Ryo, Sakamoto; Yuji, Chiba; Koichi, Kubota; Norihisa, Doi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では SH4A 向けコンパイラにおいて浮動小数点演算の演算精度を指定する命令を選択し，挿入先を定める手段として，0-1 整数計画法を利用する手法を提案し，その実用性を評価した結果を示す．SH4A は浮動小数点演算命令の実行時にどの精度で演算を行うか指定するための命令を 2 種類提供するが，それぞれ挿入可能な箇所と実行コストが異なる．このため SH4A 向けコンパイラでは，どこでどの命令を使って精度の指定を行うべきか判断する必要があるが，提案技法ではこの判断に 0-1 整数計画法を利用する．また，0-1 整数計画法がコンパイル時間に与える悪影響を軽減するために，挿入箇所を求める問題を分割，簡約化する技法も提案する．分割や簡約化を適用しても最適解の探索に膨大な時間がかかる場合はあるが，そのような場合には最適解を求めることを諦め，探索を中断してヒューリスティックにより解を求める．組み込み機器向けベンチマーク EEMBC benchmark suite および組み込みプロセッサ向けベンチマーク CoreMark を使って評価したところ，提案技法でコードサイズを最適化すると，コードサイズを 1.2% 小さくできることが分かり，このときコンパイル時間の増加率は相乗平均で 13.5% になり，最適解を求ることができた問題の比率は 99.9% 以上になることが分かった．また，CoreMark を使って評価したところ，提案技法で実行サイクル数を最適化すると，最適化しない場合と比べ，精度指定にかかる実行サイクル数と，アプリケーション全体の実行サイクル数をそれぞれ 64.1% と 3.1% 削減できることが分かった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper presents compilation techniques that optimally select and insert SH4A floating point operation precision setting instructions using 0-1 integer linear programming (ILP) solver. Because SH4A provides two kinds of such instructions whose execution cost and available sites differ, the compiler should choose where and which instruction to be inserted. Our solution make this decision using 0-1 ILP solver. In order to reduce compilation speed slowdown by 0-1 ILP solution overhead, we also propose problem dividing and simplification techniques. Despite these techniques, the slowdown sometimes become unbearable, then we refrain from using 0-1 ILP solver and use heuristics instead. We developed two optimizations using our techniqnue, one for the code size and the other for execution cycles. Evaluation using EEMBC benchmark suite and CoreMark showed the code size optimization reduced code size by 1.2% and then the compilation slowdown was 13.5% in geometrical mean, while it found the optimal solution for at least 99.9% of the whole problems. For execution cycle optimization, evaluation using CoreMark showed it reduces precision setting instructions' execution cycles and the whole application execution cycles by 64.1% and 3.1%.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 4, 号 2, p. 48-66, 発行日 2011-03-25
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会