项重写系统的并行实现方案

项重写系统的并行归约可以提高归约的效率，在无共享内存的Ｔｒａｎｓｐｕｔｅｒ网络上实现时要考虑任务的分配，项的拼装，归约任务的控制等问题，其中怎么样减少机间的机内进程的通信慢提高系统效果的关键。本文从控制方式角度讨论在不同拓扑结构的Ｔｒａｎｓｐｕｔｅｒ网络上实现项重写系统的方案，重点介绍基于树形结构下的控制方法，进程安排和通讯形式。

PARALLEL IMPLEMENTATION APPROACHES OF TERM REWRITING SYSTEM

Parallel reduction can make Term Rewriting System implemented more efficiently. When it is implemented on Transputer network which does not have shared memory, we should solve some problems such as tasks distribution, term construction and the control of reduction tasks. It is critical for improving efficiency of the system to minimize communication between processes. This paper discusses several approaches on parallel implementation of Term Rewriteing System based on various topology structures of Transputer network, and concentrates on the method of system control, processes locating and the ways ofcommunication on Tree structure.