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

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

作　　者：袁伟[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机科学系

出　　处：《上海交通大学学报》1993年第5期54-63,共10页Journal of Shanghai Jiaotong University

基　　金：国家教委博士基金

摘　　要：本文基于MIMD计算机系统提出了函数式语言的并行LE机.并行LE计值在函数式语言FP的基本语义中增加了对THREAD对象和延迟对象LOBJ处理的语义规则,其计值能力介于积极计值和惰性计值之间。为有效开发程序中细颗粒度并行性,本文将延迟处理技术文入并行进程的生成过程中,因而在成分开发系统的并行处理能力的同时减少了系统生成的进程数目。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.

关 键 词：函数式语言 并行处理 多处理机 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]