Glasgow Haskell Compilerを用いたプロファイル駆動型自動並列化機構の簡潔実装

• Item type: Trans(1)
• 公開日: 2012-03-28
• タイトル: Glasgow Haskell Compilerを用いたプロファイル駆動型自動並列化機構の簡潔実装
• タイトル / 言語: en
• タイトル: Lightweight Implementation for Profile-driven Implicit Parallelization on the Glasgow Haskell Compiler
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 計算科学研究機構
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Advanced Institute for Computational Science
• 著者名: 新井, 淳也; 前田, 俊行; 石川, 裕; 米澤, 明憲
• 著者名(英): Junya, Arai; Toshiyuki, Maeda; Yutaka, Ishikawa; Akinori, Yonezawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本発表ではGlasgow Haskell Compiler（GHC）をベースとしたHaskell用自動並列化コンパイラの簡潔な実装を提案する．近年，マルチコアプロセッサの普及により並列プログラミングの重要性が増している．Haskellは原則として式に副作用がないため高い並列性を持ち，Haskellの並列化に関しては多くの研究が存在する．過去の研究は並列プログラミングを簡単にするための様々な仕組みを提供してきたが，それらのほとんどは並列実行に適したコードブロックの発見を人の手で行う必要があった．並列化は実行時のオーバヘッドを招くため，並列化においては並列性があるだけでなく性能向上に貢献するコードブロックを発見することが重要となる．そこで本研究では，プログラムのプロファイリングおよびプロファイルの分析による並列化に適したコードブロックの発見を自動化し，その仕組みを自動並列化のために使用した．自動並列化に関する先行研究は存在するが，それらにおける並列化の実装はコンパイラや実行時ライブラリに対する相当な変更を必要としたのに対し，本手法はGHCに組み込みのプロファイラによって得られる計測結果を活用できるよう設計されているため，GHCに対し小さな変更しか必要としないという意味でより簡潔である．本手法の効果は，いくつかのベンチマークプログラムをコンパイルし並列化することによって検証した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This presentation proposes lightweight implementation of the Haskell compiler based on Glasgow Haskell Compiler (GHC) to perform automatic parallelization. In recent years, multi-core processors have prevailed and importance of a parallel programming is growing. Haskell has a lot of potential for parallelism because expressions are basically side-effect free, and many studies about parallelization of Haskell have been conducted. The previous studies have provided various mechanisms for painless parallel programming; however, most of them still require manual work to find proper code blocks to be executed parallel. Since parallelization incurs runtime overheads, it is essential to find code blocks that are not only parallelizable but also contribute to improving performance. Therefore, we automated detection of the code blocks suitable for parallelization through profiling a program and analyzing the result, and applied the mechanism to implicit parallelization. There have been precedent research about implicit parallelization, but their implementation for parallelization requires substantial modification to compilers or runtime libraries. On the other hand, the proposed approach is lightweight in the sense that it requires small modification to GHC because it is designed to be possible to utilize the result of the profiler embedded in GHC. We investigated effectiveness of this approach through compiling and parallelizing several benchmark programs.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 5, 号 1, p. 37-37, 発行日 2012-03-28
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会