Development of the polyprocessor system with programmable connection and the parallel proramming language

为了建立有效的非数值计算并行编程技术，研究人员利用消息驱动的计算模型，设计并构建了一个基于多个Transputer系统的并行处理计算环境。还实现了一个并行处理语言的原型来控制处理器。由于简单的消息驱动同步机制不能很好地控制并行进程，因此对执行控制采用了轻率和急切两种评估方法。实际的硬件样机是由芯片组成的，这些芯片相互连接。在此基础上，设计了一个共享内存机，并对其进行了性能评估，从硬件逻辑仿真、编译器语义分析等非数值化处理中选取了样本应用程序。对于逻辑仿真，将每个逻辑组件抽象为一个基本的原语进程，并将整个逻辑系统描述为通过消息连接的进程的集合，然后将这些进程分配到Transputer中。对于编译器的语义分析，将整个语义分析过程分解为与相应句法单元相关的小段分析，然后动态生成语义分析过程。生成的进程通过流相互连接以控制执行。这些样例应用程序实际上是为评估而实现和执行的。

The investigaters have designed and built a multi-transputer system as the basis of parallel processing computing environment with a message driven computing model, in order to establish the effective parallel programming technique for non-numeric computing. A prototype of a parallel processing language has also been implemented to control the processors. Sine a simple message driven synchronization mechanism cannot control parallel processes elaborately, both lasy and eager evaluations were used for the execution control. Actual hardware prototype consists of 64 transputers which are connected to each other. A shared memory machine was also designed and evaluated by the simulation.The sample applications were chosen from the non-numric processing such as hardware logic simulaton and semantic analysis of a compiler. For the logic simulation, each logic component is abstracted as a basic primitive process, and the whole logic system is described as a collection of processes which are connected by the message, then the processes are distributed among the transputers. For the semantic analysis of a compiler, the whole semantic analysis process is separated into small pieces of analysis relating to the corresponding syntactical units, then semantic analysis processes are generated dynamically. The generated processes are connected to each other by streams to control the execution. These sample applications were actually implemented and executed for the evaluation.