文献

J-GLOBAL ID：201702271686467463   整理番号：17A0381159

一般還元の発見と開発:制約ベースアプローチ【Powered by NICT】

Discovery and exploitation of general reductions: A constraint based approach

著者 (2件)： Ginsbach Philip (School of Informatics, University of Edinburgh, UK) ,  O’Boyle Michael F. P. (School of Informatics, University of Edinburgh, UK)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CGO  ページ： 269-280  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラムにおけるスカラー減少の発見と利用長年研究されてきた。より複雑な縮小手術の発見は,あまり注目されていない。このような減少は,コンパイル時未知パラメータ,間接的メモリアクセスと動的制御フロー,既存アプローチのための挑戦を含んでいる。本論文では,圧下率の広いクラスを自動的に検出する新しいコンパイラに基づくアプローチを開発した。は還元イディオムの制約定式化に基づいており,LLVMパスとして実装されている。制約仕様に付着するプログラムサブセットを同定するためのカスタム制約ソルバーを使用した。後発見された,自動的に還元を利用する並列コードを生成する。この手法はロバストであり,良く知られたベンチマークスイートのCバージョンに評価した:NAS,Parboilとロディニア。84スカラー減少と6ヒストグラムを検出し,既存のアプローチより優れていた。ヒストグラムの利用は著しい性能改善を与えることを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ロバスト性 ,  コンパイラ ,  *制約条件 ,  定式化 ,  スカラー ,  ヒストグラム ,  圧下率
準シソーラス用語： ソルバ ,  動的制御 ,  メモリアクセス , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  言語プロセッサ  (JD03040F)

タイトルに関連する用語 (4件)： 還元 ,  発見 ,  開発 ,  制約