Generator-of-generators に基づく Fortress ライブラリ

• Item type: Trans(1)
• 公開日: 2008-10-27
• タイトル: Generator-of-generators に基づく Fortress ライブラリ
• タイトル / 言語: en
• タイトル: Generator-based Fortress GG Library
• 言語: 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
• 著者所属(英): Information Systems Architecture Research Division, National Institute of Informatics
• 著者所属(英): en
• 著者所属(英): Division of University Corporate Relations, 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
• 著者名: 江本, 健斗; 胡振江; 筧, 一彦; 松崎, 公紀; 武市, 正人
• 著者名(英): Kento, Emoto; Zhenjiang, Hu; Kazuhiko, Kakehi; Kiminori, Matsuzaki; Masato, Takeichi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々は，プレフィックス計算のような複雑な依存関係を持つ並列計算を簡潔に記述し効率的に実行することができる，Fortress の新しいライブラリを提案する．このような複雑な依存関係を持つ並列計算は，Fortress における並列計算の既存の抽象化である generator を用いることで，現状でもある程度簡潔に記述することができる．しかしながら，その簡潔な記述に対して効率的な実装を適用するための枠組みがなく，また，問題の仕様変更に対する記述の柔軟性に欠ける．そこで，我々は，generator を拡張し，複雑な依存関係を持つネストしたデータ構造上の並列計算を抽象化する generator-of-generators を導入する．そして，generator-of-generators のコレクションと，generator-of-generators の最適化理論のコレクションとで構成される新しいライブラリを提案し，上記の問題を解決する．このライブラリにより，ユーザは複雑な依存関係を持つ計算に対して柔軟かつ簡潔なプログラムを記述することができる．そして，ライブラリは，最適化理論により与えられる効率的な実装をユーザプログラムに割り当てることにより，ユーザプログラムの自動最適化を行う．これらにより，ユーザは効率の低下なしに正しく柔軟な並列プログラムを容易に作成できる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose a new library on Fortress to deal with parallel computation with complex dependency such as prefix sums, which cannot be efficiently dealt with by simple comprehensions or generator-reduction patterns of Fortress. The library provides a collection of generator-of-generators that abstract generation (parallel computation) of nested data structures with complex dependency, for allowing users to write their parallel programs in an easy and uniform way. The library also provides an automatic optimization mechanism that dispatches correct and efficient implementation to those user programs, based on a collection of optimization theories on generator-of-generators. Thus, users can easily make correct and flexible parallel programs without losing efficiency. The proposed library is implemented on Fortress, and techniques used here can be reused for other libraries on Fortress.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 1, 号 3, p. 35-35, 発行日 2008-10-27
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会