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

1989 Fiscal Year Annual Research Report

• Project/Area Number: 01850075
• Research Category: Grant-in-Aid for Developmental Scientific Research
• Research Institution: Kyoto University
• Principal Investigator: 萩原 宏 京都大学, 工学部, 教授 (00025818)
• Co-Investigator(Kenkyū-buntansha): 井上 知子 京都大学, 工学部, 教務職員 (40109145) ; 新實 治男 京都大学, 工学部, 助手 (40144331) ; 柴山 潔 京都大学, 工学部, 助教授 (70127091)
• Keywords: 並列計算機 / 記号処理 / 記号処理用言語 / 高並列計算機 / 非数値処理

Research Abstract

本研究では、記号処理向き高並列計算機を開発し、記号処理応用分野における高度並列処理方式き本格的実用化実験に耐え得る研究用計算機システムを実際に試作する。
具体的には、要素プロセッサを密結合ネットワ-クによって相互に結合して高並列計算機プロトタイプを構築し、シミュレ-ションなどでは評価できなかった諸点について実際的な検討を加える。すなわち、試作した記号処理用高並列計算機上で応用実験を行い、記号処理向き高並列計算機におけるハ-ドウェアとソフトウェアのトレ-ドオフ、その単位処理機能およびそれを実現する処理機構、要素プロセッサを結合するネットワ-ク方式などについて考察を加える。
本年度の研究成果は以下の通りである。
1.記号処理用並列計算機システムにおけるソフトウェア/ハ-ドウェア・トレ-ドオフの調査:実際に開発あるいは商用化されている記号処理用並列計算機システムのア-キテクチャ上の特色を問題適応化能力の点からも充分に評価し、記号処理における汎用処理機能を抽出した。
2.記号処理一般に対する問題適応能力を備えた記号処理用プログラミング言語とその処理方式・処理機構の設計:記号処理用の各種プログラミング言語のパラダイムを融合し、特にその並列処理記述能力と問題適応能力に配慮した汎用の記号処理用言語を設計した。
3.記号処理用高並列計算機の単位処理機能を実現するハ-ドウェア機構のプロトタイプの開発:高並列計算機システム全体のソフトウェア/ハ-ドウェア・トレ-ドオフに注意して、記号処理用並列プログラミング言語処理に向いた並列計算機の単位処理機能すなわち要素プロセッサ・ア-キテクチャを決定し、そのハ-ドウェア機構をプロトタイプ・システムとして開発した。

Research Products

• [Publications] 柴山潔: "論理型プログラミング言語向き並列計算機KPRの並列処理方式" 並列処理シンポジウムJSPP'89・論文集,情報処理学会など. 91-98 (1989)
• [Publications] 柴山潔: "論理型言語向き並列計算機KPR" bit,並列コンピュ-タ・ア-キテクチャ,共立出版. 21,4. 136-148 (1989)
• [Publications] 柴山潔: "論理型言語向き並列計算機KPRの並列処理方式" 情報処理学会・論文誌. 30,12. 1573-1583 (1989)
• [Publications] 柴山潔: "論理型言語向き並列計算機KPRのプロセス管理方式" 情報処理学会・論文誌. 31,3. (1990)