2008 Fiscal Year Final Research Report
A Constructive Approach to Structured Parallel Programming
| Project/Area Number |
17300005
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Informatics (2008)
The University of Tokyo (2005-2007) |
|---|
Principal Investigator |
HU Zhenjiang National Institute of Informatics, アーキテクチャ科学研究系, 教授 (50292769)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TAKEICHI Masato 東京大学, 大学院情報理工学系研究科, 教授 (10011165)
KAKEHI Kazuhiko 東京大学, 大学院情報理工学系研究科, 特任講師 (90345116)
MATSUZAKI Kiminori 東京大学, 大学院情報理工学系研究科, 助教授 (30401243)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
TAKEICHI Masato 東京大学, 大学院情報理工学系研究科, 教授 (10011165)
MATSUZAKI Kiminori 東京大学, 大学院情報理工学系研究科, 助教授 (30401243)
|
|---|
| Project Period (FY) |
2005 – 2008
|
| Keywords | 情報システム / ソフトウェア学 / アルゴリズム / ソフトウェア開発効率化・安定化 / 超高速情報処理 |
|---|
| Research Abstract |
本研究は、「構造化並列プログラムの系統的開発手法」、「構造化並列プログラムの最適化手法」、そして「構造化並列プログラムの応用」を中心に、理論と実践の両面で研究を進めてきた。理論面では、構成的アルゴリズム論に基づいて、スケルトン並列プログラミング手法をより一般的に定式化するとともに、並列計算におけるデータの分散・プロセッサ間通信・同期制御等を構造化させ、効率の良い並列プログラムを系統的に開発するための構造化並列プログラミング手法を提案した。また、理論面での検討を加えると同時に、構造化並列プログラミングを支援するソフトウェア開発環境SkeToを設計し実現した。そして、数値計算等の実用例を用いてその有効性を確認した。
|
