A Constructive Approach to Structured Parallel Programming

结构化并行编程的建设性方法

• 批准号: 17300005
• 负责人: HU Zhenjiang
• 金额: $ 8.87万
• 依托单位: National Institute of Informatics (2008)The University of Tokyo (2005-2007)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17300005/
• 关键词: 情報システム; ソフトウェア学; アルゴリズム; ソフトウェア開発効率化・安定化; 超高速情報処理; プログラミング言語; 並列スケルトン; 並列プログラミング; ソフトウエア開発効率化; 自動並列化; 情報工学; ソフトウェア開発効率化、安定化; 情報通信工学

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

This research is focused on "the development method of structured parallel programming system,""the optimization method of structured parallel programming system," and "the application of structured parallel programming system," and further studies on theory and practice. In theory, the basic theory of structure, parallel calculation, distributed inter-server communication, synchronization control, etc. are proposed, and the structural parallel calculation method is proposed. In addition to the theoretical discussion, the structural parallel design support system is designed to implement the development environment. For example, the calculation of the number of values is used to confirm the effectiveness of the calculation.

项目成果

Parallel Skeletons for Manipulating General Trees

用于操纵一般树的平行骨架

• 发表时间: 2006
• 期刊: Parallel Computing (Elsevier) Vol.32, No.7-8
• 作者: Kiminori Matsuzaki;Zhenjiang Hu;Masato Takeichi
• 通讯作者: Masato Takeichi

近傍要素を必要とするスケルトンプログラムの最適化

优化需要邻域元素的骨架程序

• 发表时间: 2007
• 作者: 江本健斗;松崎公紀;胡振江;武市正人
• 通讯作者: 武市正人

並列計算パターン (スケルトン) による並列プログラミング

使用并行计算模式的并行编程（骨架）

• 发表时间: 2008
• 期刊: 情報処理学会誌「情報処理」 Vol.49,No.12
• 作者: T.Ernst;A.Miyaji;Y.Shinoda;S.Zrelli;岩崎英哉,胡振江
• 通讯作者: 岩崎英哉,胡振江

ホケルトンによるXPathクエリの並列化とその評価

使用 Hokelton 的 XPath 查询并行化及其评估

• 发表时间: 2007
• 期刊: コンピュータソフトウェア 24(3)
• 作者: 野村 芳明;江本 健斗;松崎 公紀;胡 振江;武市 正人
• 通讯作者: 武市 正人

並列プログラムの候補生成と適合性検査による並列化

通过并行程序候选生成和兼容性检查实现并行化

• 发表时间: 2009
• 期刊: 情報処理学会論文誌, プログラミング Vol.2(2)
• 作者: 12)繁森英幸;礒田博子;森畑明昌,松崎公紀,胡振江,武市正人
• 通讯作者: 森畑明昌,松崎公紀,胡振江,武市正人