Architecture of a Reduction-Based Parallel Inference Machine: PIM-R

Rikio Onai, Moritoshi Aso, Hajime Shimizu, Kanae Masuda, Akira Matsumoto

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

This paper presents a highly parallel machine architecture for logic programs. We propose a Reduction-Based Parallel Inference Machine: PIM-R and describe the parallel execution mechanisms for PIM-R to run Prolog and Concurrent Prolog programs and sofware simulation results. PIM-R uses the structure-copy method. It also uses the only reducible goal copy method, a unique process-structuring method, and the reverse compaction method to decrease the amount, of copying and various copyingrelated operations and the number of packets passing through the network. PIM-R architecture features include the distributed shared memory for Concurrent Prolog, network nodes for efficient packet distribution, and the structure memory to store a part of structured data for reducing the copying overhead.

Original languageEnglish
Pages (from-to)197-228
Number of pages32
JournalNew Generation Computing
Volume3
Issue number2
DOIs
Publication statusPublished - 1985 Jun
Externally publishedYes

Fingerprint

Copying
Prolog
Data storage equipment
Concurrent
Compaction
Distributed Shared Memory
Parallel Machines
Logic Programs
Reverse
Decrease
Architecture
Vertex of a graph
Simulation

Keywords

  • AND Parallel
  • Concurrent Prolog
  • OR Parallel
  • Parallel Inference Machine
  • Prolog
  • Reduction

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this

Onai, R., Aso, M., Shimizu, H., Masuda, K., & Matsumoto, A. (1985). Architecture of a Reduction-Based Parallel Inference Machine: PIM-R. New Generation Computing, 3(2), 197-228. https://doi.org/10.1007/BF03037069

Architecture of a Reduction-Based Parallel Inference Machine : PIM-R. / Onai, Rikio; Aso, Moritoshi; Shimizu, Hajime; Masuda, Kanae; Matsumoto, Akira.

In: New Generation Computing, Vol. 3, No. 2, 06.1985, p. 197-228.

Research output: Contribution to journalArticle

Onai, R, Aso, M, Shimizu, H, Masuda, K & Matsumoto, A 1985, 'Architecture of a Reduction-Based Parallel Inference Machine: PIM-R', New Generation Computing, vol. 3, no. 2, pp. 197-228. https://doi.org/10.1007/BF03037069
Onai, Rikio ; Aso, Moritoshi ; Shimizu, Hajime ; Masuda, Kanae ; Matsumoto, Akira. / Architecture of a Reduction-Based Parallel Inference Machine : PIM-R. In: New Generation Computing. 1985 ; Vol. 3, No. 2. pp. 197-228.
@article{3f4f710a709a48089de00b6f299e158c,
title = "Architecture of a Reduction-Based Parallel Inference Machine: PIM-R",
abstract = "This paper presents a highly parallel machine architecture for logic programs. We propose a Reduction-Based Parallel Inference Machine: PIM-R and describe the parallel execution mechanisms for PIM-R to run Prolog and Concurrent Prolog programs and sofware simulation results. PIM-R uses the structure-copy method. It also uses the only reducible goal copy method, a unique process-structuring method, and the reverse compaction method to decrease the amount, of copying and various copyingrelated operations and the number of packets passing through the network. PIM-R architecture features include the distributed shared memory for Concurrent Prolog, network nodes for efficient packet distribution, and the structure memory to store a part of structured data for reducing the copying overhead.",
keywords = "AND Parallel, Concurrent Prolog, OR Parallel, Parallel Inference Machine, Prolog, Reduction",
author = "Rikio Onai and Moritoshi Aso and Hajime Shimizu and Kanae Masuda and Akira Matsumoto",
year = "1985",
month = "6",
doi = "10.1007/BF03037069",
language = "English",
volume = "3",
pages = "197--228",
journal = "New Generation Computing",
issn = "0288-3635",
publisher = "Springer Japan",
number = "2",

}

TY - JOUR

T1 - Architecture of a Reduction-Based Parallel Inference Machine

T2 - PIM-R

AU - Onai, Rikio

AU - Aso, Moritoshi

AU - Shimizu, Hajime

AU - Masuda, Kanae

AU - Matsumoto, Akira

PY - 1985/6

Y1 - 1985/6

N2 - This paper presents a highly parallel machine architecture for logic programs. We propose a Reduction-Based Parallel Inference Machine: PIM-R and describe the parallel execution mechanisms for PIM-R to run Prolog and Concurrent Prolog programs and sofware simulation results. PIM-R uses the structure-copy method. It also uses the only reducible goal copy method, a unique process-structuring method, and the reverse compaction method to decrease the amount, of copying and various copyingrelated operations and the number of packets passing through the network. PIM-R architecture features include the distributed shared memory for Concurrent Prolog, network nodes for efficient packet distribution, and the structure memory to store a part of structured data for reducing the copying overhead.

AB - This paper presents a highly parallel machine architecture for logic programs. We propose a Reduction-Based Parallel Inference Machine: PIM-R and describe the parallel execution mechanisms for PIM-R to run Prolog and Concurrent Prolog programs and sofware simulation results. PIM-R uses the structure-copy method. It also uses the only reducible goal copy method, a unique process-structuring method, and the reverse compaction method to decrease the amount, of copying and various copyingrelated operations and the number of packets passing through the network. PIM-R architecture features include the distributed shared memory for Concurrent Prolog, network nodes for efficient packet distribution, and the structure memory to store a part of structured data for reducing the copying overhead.

KW - AND Parallel

KW - Concurrent Prolog

KW - OR Parallel

KW - Parallel Inference Machine

KW - Prolog

KW - Reduction

UR - http://www.scopus.com/inward/record.url?scp=1842705968&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1842705968&partnerID=8YFLogxK

U2 - 10.1007/BF03037069

DO - 10.1007/BF03037069

M3 - Article

AN - SCOPUS:1842705968

VL - 3

SP - 197

EP - 228

JO - New Generation Computing

JF - New Generation Computing

SN - 0288-3635

IS - 2

ER -