2006 Fiscal Year Annual Research Report
構成的アルゴリズム論に基づくタスク並列処理の理論とその実用化に関する研究
Project/Area Number |
18700021
|
Research Institution | The University of Tokyo |
Principal Investigator |
松崎 公紀 東京大学, 大学院情報理工学系研究科, 助手 (30401243)
|
Keywords | ハイパフォーマンス・コンピューティング / アルゴリズム / 情報基礎 |
Research Abstract |
これまでスケルトン並列プログラミングにおいてはリストのような規則的なデータ構造のみが対象とされてきた。これに対して、我々はより一般的なデータ構造である木構造に対する並列スケルトンの提案とそれらの最適化に関して研究を進めた。 まず、二分木に対する研究成果を拡張し、薔薇木(Rose Trees)として定式化される一般の構造を持つ木に対する並列スケルトンを定式化し、これらが効率良く並列に計算できることを国際雑誌Parallel Computingにて発表した。また、使用される演算子の性質に基づき、二分木に対する並列スケルトンプログラムを導出する手法を提案した。提案した手法は演算子の性質の証明以外は自動化しやすいものであり、並列スケルトンによるコードを生成するシステムのプロトタイプも作成した。これらの成果は、国際会議ACM SPAA2006などにて発表した。 スケルトン並列プログラミングに関する理論をもとに、我々は並列スケルトンライブラリSkeToを作成してきた。我々の並列スケルトンライブラリは、木構造のサポートや融合変換に基づく最適化機構などの特徴を持つ。平成18年度においては、特に上記の理論に関する研究をもとに、木構造に対する並列スケルトンライブラリの拡張を行なってきた。さらに、並列スケルトンライブラリSkeToについて、国際会議Infbscale 2006にて発表を行った。 その他の内容について進めた研究については、国際会議EuroParや国内のワークショップなどで発表を行つた。
|