大規模知識処理システムの研究

1990 年度 実績報告書

• 研究課題/領域番号: 62065002
• 研究機関: 東京大学
• 研究代表者: 田中 英彦 東京大学, 工学部, 教授 (60011102)
• 研究分担者: 喜連川 優 東京大学, 生産技術研究所, 助教授 (40161509)
• キーワード: 知識処理 / 並列処理 / 記号処理 / 相互結合網 / 論理型言語 / 知識ベ-ス / 多次元クラスタリング / 同時実行制御

研究概要

並列推論サブシステムの研究に関しては、昨年度すでに部分的に開発を終えていた相互結合網ハ-ドウェアの拡張を行ない、64入力64出力の最大構成状態での動作確認と、転送遅延時間などの基本性能の測定を行ない、作製したハ-ドウェアが目標通りの性能を有することを確認した。また、昨年度すでに設計完了していた推論ユニットボ-ドが正しく動作することも確認した。更に、推論ユニット上の管理プロセッサが実行する「並列処理管理カ-ネル」の設計を行うとともに、新しい負荷分散方式として「プロファイリングに基づく負荷分散」を、新しいメモリ管理方式として「分散メモリ上でのジェネレ-ションスキャベンジングガ-ベジコレクション」を提案した。
並列論理型言語の研究に関しては、従来より並列プログミングの研究に用いてきたflengの逐次版処理系を拡張し、「共有メモリマルチプロセッサ上の並列版fleng処理系」を開発した。また、システムソフトウェアとして「マルチウィンド並列デバッガHyperDEBU」を開発し、実際の利用を通じてその有用性を確認した。そして、これまでに構築してきたプロトタイプソフトウェア環境を利用して、並列知識処理応用プログラムとして「並列非単調推論システム」を試作し、並列度をはじめとする様々な動作特性の測定と分析を行なった。
知識ベ-ス管理サブシステムの研究に関しては、全体で4台のモジュ-ルを試作した。各モジュ-ル自身は共有メモリ型マルチプロセッサア-キテクチャを採る。本年度は複数モジュ-ルシステムのソフトウェアを作成すると共に、その動作確認を行なった。また、グリッドファイルを基本とした多次元物理クラスタリングアルゴリズムの詳細評価を行なうと共に、複数モジュ-ル動作のための同時実行制御アルゴリズムの拡張並びに評価を行なった。

研究成果

• [文献書誌] 高橋、小池、田中: "並列推論マシンPIE64の相互結合網の作成および評価" 情報処理学会論文誌.
• [文献書誌] Koike,H.and Tanaka,H.: "Generation Scavenging GC on Distributed Memory Parallel Computers" Proc.of High Performance and Parallel Lisp Workshop. (1990)
• [文献書誌] 日高、小池、舘村、田中: "実行プロファイルに基づくPIE64の負荷分散方式" 並列処理シンポジウムJSPP90の予稿集. 41-48 (1990)
• [文献書誌] Kitsuregawa,M.,et al: "Performance Evaluation of Functional Disk System with Nonuniform Data Distribution" Proc.of the 2nd Interhational Symposium on Databases in Parallel and Distributed Systems. (1990)
• [文献書誌] Harada,L.;Nakano,M.;Kitsuregawa,M.;et al.: "Query Processing Method for MultiーAttribute Clustered Relations" 16th International Conference on Very Large Data Bases. (1990)
• [文献書誌] Harada,L.;Kituregawa,M.;et al.: "Design and Implementation of Join Algorithms for KDーTree Indexed Relations" Into Japan '90 International Computer Conference. (1990)