Implementation of Parallel Functional Programming Systems
Implementation of Parallel Functional Programming Systems
批准号:
06558039
负责人:
TAKEICHI Masato
金额:
$10.11万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (A)
财政年份:
1994
资助国家:
日本
项目状态:
已结题
起止时间:
1994 至 1996
中文摘要
本项目旨在开发面向并行计算机的函数式程序设计系统。在AP1000机上实现了一个并行功能系统--PARALLECT GOFER,目前正在评估中。该实现基于Mark Jones开发的GOFER系统,并接受任何GOFER程序进行顺序评估。程序被允许包括对扩展库函数的引用以实现并行化。关于这种实现的几个新想法已经发布。其中一个想法就是所谓的数据构造的“拆箱”技术。这一实现表明,该思想是有前景的,但在实际应用中需要考虑一些优化问题,同时也探索并实现了一种新的优化思想。尽管到目前为止大多数优化都依赖于启发式,但我们的新系统完全是机械的。它是基于构造性算法研究中的亚纯。这一技术适用于顺序和并行函数式程序。这些结果已在国际会议上公布,并在会议记录中发表。
英文摘要
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.
期刊论文(26)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Zhenjiang Hu: "An Extension of the Acid Rain Theorem" Proc.The Second Fuji International Workshop on Functional and Logic Programming,World Scientific. (1997)
胡振江:《酸雨定理的延伸》论文集,第二届富士函数与逻辑编程国际研讨会,世界科学出版社。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
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)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Liangwei Xu: "Derivation of Algorithms by Introduction of Generation Functions" New Generation Computing. 13. 75-98 (1994)
徐良伟:“引入生成函数推导算法”新一代计算。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
田中哲朗: "疎結合並列計算機上の関数型言語実行の効率化" 日本ソフトウェア科学会第11回大会論文集. 297-300 (1994)
Tetsuro Tanaka:“提高松散耦合并行计算机上函数式语言执行的效率”日本软件学会第 11 届年会记录 297-300 (1994)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 23 条
Parallelism-Oblivious Parallel Programming
-
批准号:22650006
-
项目类别:Grant-in-Aid for Challenging Exploratory Research
-
资助金额:$1.71万
-
财政年份:2010
-
负责人:TAKEICHI Masato
-
依托单位:
Bidirectional Transformation Mechanisms and its Application
-
批准号:19200002
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$27.12万
-
财政年份:2007
-
负责人:TAKEICHI Masato
-
依托单位:
Calculation Carrying Document Processing Language and its Application
-
批准号:15200001
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$18.89万
-
财政年份:2003
-
负责人:TAKEICHI Masato
-
依托单位:
Implementation of Constructive Parallel Programming Models
-
批准号:11480065
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$9.09万
-
财政年份:1999
-
负责人:TAKEICHI Masato
-
依托单位:
Implementation of Program Calculator System
-
批准号:11694130
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$6.14万
-
财政年份:1999
-
负责人:TAKEICHI Masato
-
依托单位:
Implementation of a Program Calculation System
-
批准号:10558041
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$6.85万
-
财政年份:1998
-
负责人:TAKEICHI Masato
-
依托单位:
Program Optimization Based on Constructive Algorithmics
-
批准号:09680326
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.05万
-
财政年份:1997
-
负责人:TAKEICHI Masato
-
依托单位:
Research on Fundamental Mechanisms for Software Evolution
-
批准号:09245103
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$26.24万
-
财政年份:1997
-
负责人:TAKEICHI Masato
-
依托单位:
Research on Self-evolution Mechanisms of Computer Programs
-
批准号:07458053
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$3.26万
-
财政年份:1995
-
负责人:TAKEICHI Masato
-
依托单位:
Parallel Evaluation of Functional Programs
-
批准号:01550278
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.41万
-
财政年份:1989
-
负责人:TAKEICHI Masato
-
依托单位:
海外基金