基于松散耦合MIMD计算机系统的函数式语言并行实现技术

本文基于ＭＩＭＤ计算机系统提出了函数式语言的并行ＬＥ机，并行ＬＥ在函数式语言ＦＰ的基本语义中增加对ＴＨＲＥＡＤ对象和延迟对象ＬＯＢＪ处理的语义规则，其计算能力介于积极计值和惰性计值之间，为有效开发程序中细颗粒度并行性，本文将延迟处理技术文入并行进程的生成过程中，为有效程序中细颗粒度行性，本文将延迟处理技术文入并行过程的生成中，因而在成分开发系统的并行处理能力的同时减少了系统生成的进程数目。

Parallel Implementaion Techniques of Functional Programs on Loose-coupled MIMD System

In this paper, we present a parallel LE machine for the functional language on a distributed MIMD machine, transputer network. The parallel LE evaluation is proposed which is more eager than the lazy evaluation but less eager than the speculative evaluation. The main feature of LE evaluation is that some specail objects (Lazy Object and Thread Object) are to be introduced, so that we only need to add the semantics of these objects to that of the primitive func- tions and the function forms. As the parallelism of most functional programs are fine, we introduce the lazy evaluation ideas to the parallel process creation. The Thread Object is used to implement the Lazy Thread Process creation method in the parallel LE machine, which decreases the times of process creation and ex- ploits all of the parallel processing capabilities of the multiprocessor system at the same time. We have implemented a prototype system on a network of transputer. Experimental results show that the approach is very promising.