1991 Fiscal Year Final Research Report Summary
Development of a symbol Manipulation-Oriented Highly Parallel Computer
| Project/Area Number |
01850075
|
|---|
| Research Category |
Grant-in-Aid for Developmental Scientific Research
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機工学
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
SHIBAYAMA Kiyoshi Kyoto Univ., Eng., Assoc. Prof., 工学部, 助教授 (70127091)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HAGIWARA Hiroshi Ryukoku Univ., Sci. and Tech., Prof., 理工学部, 教授 (00025818)
|
|---|
| Project Period (FY) |
1989 – 1991
|
| Keywords | Parallel Computer / Symbol Manipulation / Symbol Manipulation Language / Highly Parallel Computer / Non-Numeric Processing |
|---|
| Research Abstract |
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.
|
