Optimized Parallel Execution of Declarative Programs on Distributed Memory Multiprocessors

• 作 者: 沈美明 田新民 王鼎兴 郑纬民 温冬婵
• 机 构: Dept.of Computer Science and Technology Tsinghua University,Beijing 100084,Dept.of Computer Science
• 出 处: Journal of Computer Science and Technology
• 发表日期: 1993年03期
• 关键词: lifting ordering symbol programs optimizing argument append hardware overhead ha

In this paper,we focus on the compiling implementation of parallel logic language PARLOG andfunctional language ML on distributed memory multiprocessors.Under the graph rewriting framework,a Heterogeneous Parallel Graph Rewriting Execution Model(HPGREM)is presented firstly.Thenbased on HPGREM,a parallel abstract machine PAM/TGR is described.Furthermore,severaloptimizing compilation schemes for executing declarative programs on transputer array are proposed.The performance statistics on a transputer array demonstrate the effectiveness of our model,parallel ab-stract machine,optimizing compilation strategies and compiler.

In this paper, we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors. Under the graph rewriting framework, a Heterogeneous Parallel Graph Rewriting Execution Model (HPGREM) is called first. Based on HPGREM, a parallel abstract machine PAM / TGR is described.Furthermore, severaloptimizing compilation schemes for executing declarative programs on transputer arrays are proposed.The performance statistics on a transputer array demonstrate the effectiveness of our model, parallel ab-stract machine, optimizing compilation strategies and compiler.