Implementation of Parallel Functional Programming Systems

并行函数编程系统的实现

• 批准号: 06558039
• 负责人: TAKEICHI Masato
• 金额: $ 10.11万
• 依托单位: University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 1996
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06558039/
• 关键词: Functional Programming; Parallel Evaluation; Program Optimization; 関数型言語; 並列関数プログラミング

This project aims at development of functional programming systems for parallel computers. Implementation of a parallel functional system Parallel Gofer on the AP1000 computer has been finished and under evaluation. This implementation is based on the Gofer system developed by Mark Jones and accepts any Gofer programs for sequential evaluation. Programs are allowed to include references to extended library functions for parallelization.Several new ideas for this implementation have been published already. One of such ideas is so-called "unboxing" techniques for data construction. This implementation showed that the idea is promising while some optimization should be considered for practical application.Along with this implementation, a novel idea for optimization has been explored and implemented. Although most optimization so far relies on heuristics, our new system is completely mechanical. It is based on hylomorphisms which comes from research on constructive algorithmics. This technique is applicable to sequential and parallel functional programs.These results have been made public at international conferences and published in the proceedings.

该项目旨在为并行计算机开发函数式编程系统。在AP1000计算机上实现了并行功能系统Parallel Gynecology，目前正在评估中。这个实现是基于由Mark Jones开发的Gestival系统，并接受任何Gestival程序进行顺序评估。允许程序包含对扩展库函数的引用以实现并行化。已经发表了一些关于这种实现的新想法。其中一个想法是所谓的“拆箱”技术的数据建设。该实现表明了该思想的可行性，但在实际应用中还需要考虑一些优化问题。沿着该实现，探索并实现了一种新的优化思想。虽然到目前为止大多数优化都依赖于机器人，但我们的新系统完全是机械的。它是建立在对构造性算法研究的基础上的。这种技术适用于顺序和并行函数程序。这些结果已在国际会议上公布，并发表在会议论文集上。

项目成果

Zhenjiang Hu: "An Extension of the Acid Rain Theorem" Proc.The Second Fuji International Workshop on Functional and Logic Programming,World Scientific. (1997)

胡振江：《酸雨定理的延伸》论文集，第二届富士函数与逻辑编程国际研讨会，世界科学出版社。

Zhenjiang Hu: "Construction of List Homomorphisms via Tupling and Fusion." 21st International Symposium on Mathematical Foundation of Comp Computer Science (MFCS'96), Springer LNCS 1113, pp. 407-418, Cracow, September. 407-418 (1996)

胡振江：“通过元组和融合构建列表同态。”

Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem" Annual European Conference in Parallel Processing (Euro-Par'96) Springer LNCS 1123. 553-562 (1996)

胡振江：“二维最大段和问题并行程序的形式推导”欧洲并行处理年会 (Euro-Par96) Springer LNCS 1123. 553-562 (1996)

Liangwei Xu: "Derivation of Algorithms by Introduction of Generation Functions" New Generation Computing. 13. 75-98 (1994)

徐良伟：“引入生成函数推导算法”新一代计算。

田中哲朗: "疎結合並列計算機上の関数型言語実行の効率化" 日本ソフトウェア科学会第11回大会論文集. 297-300 (1994)

Tetsuro Tanaka：“提高松散耦合并行计算机上函数式语言执行的效率”日本软件学会第 11 届年会记录 297-300 (1994)。