記号処理向き高並列計算機の開発

1991 Fiscal Year Annual Research Report

• Project/Area Number: 01850075
• Research Institution: Kyoto University
• Principal Investigator: 柴山 潔 京都大学, 工学部, 助教授 (70127091)
• Co-Investigator(Kenkyū-buntansha): 萩原 宏 龍谷大学, 理工学部, 教授 (00025818)
• Keywords: 並列計算機 / 記号処理 / 記号処理用言語 / 高並列計算機 / 非数値処理

Research Abstract

論理型言語など記号処理用言語自体に内在する並列性に着目し、これに適合した並列計算機ア-キテクチャを構成することによって、人工知能処理などの飛躍的な高速化を実現しようとする試みが各所で行われている。
本研究では、記号処理向きの高並列計算機の開発研究を行っており、並列論理型言語の高速実行を目指した並列計算機KPRを開発した。KPRは記号処理向き高並列計算機として実用上充分な速度が得られることを目標としており、要素プロセッサ512台からなるマルチプロセッサシステムを最大構成規模として設計されている。本研究では、5台の処理ユニットからなるプロトタイプシステムを試作した。
本研究成果は以下の通りである。
1.記号処理用並列計算機システムにおけるソフトウェア/ハ-ドウェア・トレ-ドオフの調査:商用化されている記号処理用並列計算機システムのア-キテクチャ上の特色を問題適応化能力の点から評価し、記号処理における汎用並列処理機能を抽出した。
2.記号処理一般に対する問題適応能力を備えた記号処理用言語とその処理機能の設計:記号処理用の各種言語のパラダイムを融合し、特にその並列処理記述能力と問題適応能力に配慮した記号処理用言語を設計した。
3.記号処理用高並列計算機の単位処理機能を実現するハ-ドウェア機構のプロトタイプシステムの開発:高並列計算機システム全体のトレ-ドオフに注意して、記号処理用並列言語処理に向いた並列計算機の単位処理機能、すなわち要素プロセッサア-キテクチャを決定し、そのハ-ドウェア機構をプロトタイプシステムとして試作した。

Research Products

• [Publications] 柴山 潔,萩原 宏他: "論理型言語向き並列計算機KPRの並列処理方式" 情報処理学会・論文誌. 30,12. 1573-1583 (1989)
• [Publications] 柴山 潔,萩原 宏他: "論理型言語向き並列計算機KPRのプロセス管理方式" 情報処理学会・論文誌. 31,3. 361-372 (1990)
• [Publications] 柴山 潔: "並列記号処理" コロナ社, 229 (1991)