Implementation of Constructive Parallel Programming Models

构造性并行编程模型的实现

• 批准号: 11480065
• 负责人: TAKEICHI Masato
• 金额: $ 9.09万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11480065/
• 关键词: Program Calculation; Parallelization; Calculation; Algorithm; Functional Programming; 融合変換; 構成的手法

Our research aims at implementing parallel programming models based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for parallelization transformation based on algebraic rules which leads to formulation of transformation algorithms and we implemented the system as our research project. Our models deal with so-called 'Diffusion' transformation which is effectively used for parallelizing sequential programs. The final stage of this research conducted this year finishes implementation of the system using MPI library with evaluation using benchmark programs. The result shows practical effectiveness of the constructive parallelizaion system based on Constructive Algorithmics.

我们的研究旨在基于建立实用转换系统的方法来实施基于建设性算法的平行编程模型。我们已经根据代数规则提出了一种并行化转换的技术，该技术导致了转换算法的制定，我们将系统作为研究项目实施。我们的模型处理所谓的“扩散”转换，该转换有效地用于并行化顺序程序。这项研究的最后阶段今年进行了使用MPI库，并使用基准程序进行评估完成了系统的实施。结果显示了基于建设性算法的建设性并联系统的实际有效性。

项目成果

M. Takeichi and Z. Hu: "Calculation Carrying Programs : How to code Program Transformation (Invited Talk)"International Symposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, November 1-2, 2000. IEEE Computer Society. 250-259

M. Takeichi 和 Z. Hu：“计算承载程序：如何编码程序转换（邀请演讲）”软件演化原理国际研讨会 (ISPSE 2000)，金泽，2000 年 11 月 1-2 日。IEEE 计算机协会。

Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: "Multidimensional Searching Trees with Minimum Attribute"コンピュータソフトウェア. 19. 22-28 (2002)

赵海燕，胡镇江，竹一正人：“具有最小属性的多维搜索树”计算机软件。19. 22-28 (2002)。

Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: "Multidimensional Searching Trees with Minimum Attribute"コンピュータソフトウエア. 19. 22-28 (2002)

赵海燕，胡镇江，竹一正人：“具有最小属性的多维搜索树”计算机软件。19. 22-28 (2002)。

尾上能之、胡振江、岩崎英哉、武市正人: "プログラム融合変換の実用的有効性の検証"日本ソフトウェア科学会「コンピュータソフトウェア」. 17(印刷中). (2000)

Yoshiyuki Onoue、Zhenjian Hu、Hideya Iwasaki、Masato Takeichi：“程序融合转换的实际有效性的验证”日本软件学会《计算机软件》17（出版中）。

M.Takeichi,Z.Hu: "Calculation Carrying Programs : How to Code Program Transformations"International Symposium on Principles of Software Evolution (ISPSE 2000). 250-259 (2000)

M.Takeichi，Z.Hu：“计算承载程序：如何编写程序转换”软件演化原理国际研讨会（ISPSE 2000）。