A Constructive Approach to Structured Parallel Programming

点击翻译按钮获取中文摘要

本研究は、「構造化並列プログラムの系統的開発手法」、「構造化並列プログラムの最適化手法」、そして「構造化並列プログラムの応用」を中心に、理論と実践の両面で研究を進めてきた。理論面では、構成的アルゴリズム論に基づいて、スケルトン並列プログラミング手法をより一般的に定式化するとともに、並列計算におけるデータの分散・プロセッサ間通信・同期制御等を構造化させ、効率の良い並列プログラムを系統的に開発するための構造化並列プログラミング手法を提案した。また、理論面での検討を加えると同時に、構造化並列プログラミングを支援するソフトウェア開発環境SkeToを設計し実現した。そして、数値計算等の実用例を用いてその有効性を確認した。