| 研究概要 |
本研究は,並列プログラミングを支援する有力なアプローチである「スケルトン並列プログラミング」の実用的なシステムを構築することを目的としている.今年度は,システムの中核部を構築し,以下のような成果を得ることができた.
1.リスト,二分木構造に関する並列スケルトンを提供するようなライブラリを作成した.作成したライブラリは,a)従来から提案されているデータ並列のスケルトンに加え,典型的な再帰関数を抽象化したaccumulateスケルトンも提供している,b)余計な中間データ構造を生成させない"融合変換"を呼ばれるプログラム最適化の機構を(ある程度)備えている,といったような,既存のシステムにないいくつかの特長を持っている.
2.木に関するスケルトンの実装する際に用いるTree Contractionと呼ばれるアルゴリズムの系統的導出などの,理論的成果をいくつか得ることができた.
作成したシステムは,C++に言語的な拡張を一切加えず,標準的な並列ライブラリであるMPIをベースに作動するため,きわめて汎用性に富んでいる.
|
