摘要
本文基于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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1993年第5期54-63,共10页
Journal of Shanghai Jiaotong University
基金
国家教委博士基金
关键词
函数式语言
并行处理
多处理机
functional language
parallel processing
parallel LE evaluation
Thread Lazy Process creation method
Transputer network
