| 研究概要 |
本研究は,申請者らが既に提案・研究してきた,仕様記述から高度並列実行に到るまでを統合的に取扱う、新しいデ-タ駆動型処理パラダイム研究の一環として,(1).多面的な図的表現を中心とする仕様記述から,高度並列・分散型に実行可能なデ-タ駆動型デ-タベ-ス処理プログラムを導出する手法,(2).このプログラムを,デ-タ駆動型処理機能を付与した多数の機能的記憶機構からなるシステム上で自律分散的に実行する手法、をそれぞれ明らかにし,多様な処理要求に柔軟に対処可能でかつ高い処理性能と信頼性を維持できるデ-タベ-ス処理システム実現法の基礎の確立を目的としている。研究初年度にあたる本年度の成果は以下のように要約される。
1.仕様記述手法に関する基礎的研究:対象とする問題に適した形式で、多様な側面から表現できる多面的記述手法を,デ-タベ-ス処理の観点から検討した結果,デ-タベ-ス処理固有のセマンティクスを反映した、一貫性制約を維持するための情報が自然に導出できる見通しが得られた。
2.動的デ-タ駆動型処理モデルの基礎的研究:先の手法から生成されるプログラムの実行原理に,状態依存処理と構造体デ-タ処理を導入した動的デ-タ駆動型処理モデルが有望であることを明らかにした。
3.デ-タ駆動型デ-タベ-ス処理の実現法の研究:このモデルに従うデ-タ駆動型デ-タベ-ス処理プログラムを実験的に検証するため,流れ処理概念に基づくデ-タ駆動型プロセッサを処理要素としたマルチプロセッサ構成によるエミュレ-タを構築した。さらに,触媒リングと呼ぶ自己同期型パイプラインを基礎とする高度並列連想処理機構を提案し,このエミュレ-タ上にプロトタイプを実現するとともに,その自律分散型処理を評価する視覚的環境を構築した。
|
