Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)
Aizu-Wakamatsu, Fukushima, Japan
Mar. 15, 1995 to Mar. 17, 1995
Kam Wing Ng , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
Lin Peng Huang , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
Yong Qiang Sun , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
Gamma is a kernel programming language with an elegant chemical reaction metaphor in which programs are described in terms of multiset rewriting. The Gamma formalism allows one to describe an algorithm without introducing artificial sequentiality and leads to the derivation of a parallel solution to a given problem naturally. However, the difficulty of incorporating control strategies makes Gamma not only hard for one to define any sophisticated approaches but also impossible to reach a decent level of efficiency in any direct implementation. Recently, a higher-order multiset programming paradigm, named higher-order Gamma, is introduced by Metayer to alleviate these problems. In this paper, we investigate the possibility of implementing higher-order Gamma on MasPar, a massively data parallel computer. The results show that a program written in higher-order Gamma can be transformed naturally towards an efficient implementation on a real parallel machine.
operating system kernels; parallel languages; parallel processing; higher-order Gamma; MasPar; kernel programming language; chemical reaction metaphor; multiset rewriting; artificial sequentiality; massively data parallel computer; real parallel machine
Y. Q. Sun, K. W. Ng and L. P. Huang, "Implementing higher-order Gamma on MasPar: a case study," Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on(PAS), Aizu-Wakamatsu, Fukushima, Japan, 1995, pp. 301.