Development of a symbol Manipulation-Oriented Highly Parallel Computer

面向符号操作的高度并行计算机的研制

• 批准号: 01850075
• 负责人: SHIBAYAMA Kiyoshi
• 金额: $ 19.2万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Developmental Scientific Research
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 1991
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-01850075/
• 关键词: Parallel Computer; Symbol Manipulation; Symbol Manipulation Language; Highly Parallel Computer; Non-Numeric Processing

In this research, we develop the architecture of a logic programming language-oriented highly parallel computer, called KPR, which can execute a program written in a parallel logic programming language KPR-L.The KPR is controlled on the basis of a new execution model named "Parallel Reduction (PR) model", where a logical process is allocated to a node of an AND/OR process graph and the resultant reduction (folding / unfolding) of this process graph is executed in parallel. This execution model is mainly implemented by the following processes : (i) "Stream-process" for realizing the AND-parallelism by a stream-pipeline processing method ; (ii) "Or-processing for implementing OR-parallelism of a logic program.KPR is a heterogeneous-function distributed-processing system, where each process is executed on the specialized processor : (i) ARP(And Reduction Processor) for implementing a Stream-parallel processing strategy ; (ii) ORP (Or Reduction Processor) for executing four sets of unification operations in parallel. We have developed a prototype system of KPR which is composed of five units.

在这项研究中，我们开发了一个面向逻辑编程语言的高度并行计算机的体系结构，称为KPR，它可以执行一个程序编写的并行逻辑编程语言KPR-L。KPR是控制的基础上，一个新的执行模型命名为“并行约简（PR）模型”，其中，逻辑过程被分配给AND/OR过程图的节点，并且并行地执行该过程图的结果简化（折叠/展开）。该执行模型主要由以下过程实现：（i）“流-过程”，用于通过流-流水线处理方法实现AND-并行性;（ii）“或-处理”，用于实现逻辑程序的OR-并行性。KPR是异构功能分布式处理系统，其中每个过程在专用处理器上执行：（i）阿普（And Reduction Processor），用于实现流并行处理策略;（ii）ORP（Or Reduction Processor），用于并行执行四组统一操作。我们开发了一个KPR原型系统，它由五个单元组成。

项目成果

K. Shibayama: Corona Publishing (in Japanese). Parallel Symbolic Processing, 229 (1991)

K. Shibayama：Corona Publishing（日语）。

K. Shibayama, H. Hagiwara et al.: "Parallel Processings of a Logic Programming Language-Oriented Parallel Machine KPR" Trans. IPSJ (in Japanese). 30, No. 12. 1573-1583 (1989)

K. Shibayama、H. Hagiwara 等人：“面向逻辑编程语言的并行机 KPR 的并行处理”Trans。

柴田 潔: "論理型言語向き並列計算機KPRの並列処理方式" 情報処理学会・論文誌. 30,12. 1573-1583 (1989)

Kiyoshi Shibata：“KPR 的并行处理方法，逻辑语言的并行计算机”日本信息处理学会杂志 30,12 1573-1583 (1989)。

柴山潔: "論理型プログラミング言語向き並列計算機KPRの並列処理方式" 並列処理シンポジウムJSPP'89・論文集,情報処理学会など. 91-98 (1989)

Kiyoshi Shibayama：“逻辑编程语言的并行计算机KPR的并行处理方法”并行处理研讨会JSPP89会议记录，日本信息处理学会等91-98（1989）

柴田 潔: "論理型言語向き並列計算機KPRのプロセス管理方式" 情報処理学会・論文誌. 31,3. 361-372 (1990)

Kiyoshi Shibata：“KPR 的流程管理方法，逻辑语言的并行计算机”，日本信息处理学会杂志 31,3（1990）。