Implementing　Higher－Order　Gamma　on　a　Massively　Parallel　computer－A　Case　study

作     者：Linpeng Huang Kam Wing Ng, Yongqiang Sun(Department of Computer Science and EngineeringShanghai Jiao Tong University, Shanghai 200030, P. R. China)(Department of Computer Science, The Chinese University of Hong Kong, Hong Kong) 

作者机构：Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200030 P. R. China Department of Computer Science The Chinese University of Hong Kong Hong Kong Department of Computer Science The Chinese University of Hong Kong Hong Kong 

出 版 物：《Journal of Systems Engineering and Electronics》 (系统工程与电子技术（英文版）)

年 卷 期：1995年第6卷第3期

页      面：56-62页

核心收录：

学科分类：0711[理学-系统科学] 07[理学] 071102[理学-系统分析与集成] 

主　　题：Massively Parallel Computation GAMMA programming paradigm 

摘      要：Gamma is a kernel programming language with an elegant chemical reaction metaphor in whichprograms are described in terms of multiset rewriting. Gamma formalism allows one to describe analgorithm without introducing artificial sequentiality and leads to the derivation of a parallel solution to agiven problem naturally. However, the difficulty of incorporating control strategies makes Gamma not onlyhard for one to define any sophisticated approaches but also impossible to reach a decent level of efficiencyin any direct implementation. Recently, a higherorder multiset programming paradigm, named higher--order Gamma, is introduced by Metayer to alleviate these problems. In this paper, we investigate the possibility of implementing higherorder Gamma on Maspar, a massively data parallel computer. The results showthat a program written in higher--order Gamma can be transformed naturally toward an efficientimplementation on a real parallel machine.