抄録
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.
本文言語 | English |
---|---|
ページ(範囲) | 197-228 |
ページ数 | 32 |
ジャーナル | New Generation Computing |
巻 | 3 |
号 | 2 |
DOI | |
出版ステータス | Published - 1985 6月 |
外部発表 | はい |
ASJC Scopus subject areas
- 理論的コンピュータサイエンス
- ソフトウェア
- ハードウェアとアーキテクチャ
- コンピュータ ネットワークおよび通信