研究課題
基盤研究(A)
本研究では、要求仕様記述から高度並列実行に至るまで一貫したデータ駆動パラダイムの研究の一環として、多様な要求に柔軟に対処可能でかつ高い性能と信頼性を維持できる構造体データ処理系の実現法の確立を目標として開始した。1.構造体データ処理の自然な図的仕様記述能力の拡張 要求仕様記述水準で、自然かつ了解性に優れた記述形式を提供するために、データブロック図、状態遷移図、シーケンスチャート、決定表などのような、多面的な図的表現手法を仕様記述系に導入し、データベースなどに代表される構造体データ処理の記述能力を拡張した。2.データ駆動型構造体データ処理モデルの定式化 構造体データ処理プログラムの基礎となるデータ駆動型処理モデルに関しては、アルゴリズムに関する局所的状態遷移処理と、データ構造に関する大局的なファイル処理を許す、拡張データ駆動型処理モデルを定式化した。3.データ駆動型プログラムへの直接変換手法 図的仕様記述から高度並列・分散型実行可能なデータ駆動型プログラムへ変換するために本質的に必要な、振舞いあるいはデータ構造などの補助的な情報を図的表現から対話的に獲得する方法を明らかにした。本手法では仕様記述と実行機械の間の中間に、抽象データ駆動プログラムを導入して、この水準で仕様の分析や検証行う方法を採用した。4.データ駆動型構造体データ処理システムの実現法の検討 構造体データを多数の二次記憶に分割記憶し、多数の処理要求に対して、二次記憶間の同時平行処理と同一の二次記憶上でのパイプライン並列処理を行なうために、データ駆動型プロセスのパイプラインを動的に生成する方式を提案し、その実現法を検討した。5.データ駆動型構造体データ処理系の実現環境の構築および実験評価 現実稼働中の1チップデータ駆動型プロセッサを多数用いた実験システム、および設備備品に申請したワークステーション上に構築した実行可能なプログラムの生成系、および構造体データ処理系を構築し、本研究で提案した手法を実験的に評価した。
すべて その他
すべて 文献書誌 (12件)