実時間超分散処理のためのデータ駆動型仕様記述環境の研究

1996 年度 実績報告書

• 研究課題/領域番号: 08458060
• 研究種目: 基盤研究(B)
• 研究機関: 筑波大学
• 研究代表者: 西川 博昭 筑波大学, 電子・情報工学系, 助教授 (60180593)
• 研究分担者: 小松 尚久 早稲田大学, 理工学部, 教授 (30195846)
• キーワード: 超分散処理 / データ駆動 / 仕様記述 / プログラム生成 / 副作用検出 / プロトタイピング / 履歴依存性 / 再利用

研究概要

研究機関初年度にあたる本年度は,ユーザーが実時間超分散システム環境が提供するユ-ティリティを自由に利用するための仕様記述環境の実現手法,このような環境を実現するためのストリーム指向データ駆動プロセッサアーキテクチャ,および,TINA(Telecommunications Information Networking Architecture)環境のデータ駆動型実現法の各々について,以下のような検討を加えた.
(データ駆動型仕様記述環境)
データ駆動図式による仕様記述からデータ駆動プログラムの直接生成手法,記号実行解釈によるプロトタイピング,階層構造の再構成によるプログラム検証,および,仕様に改変を加えた際の予期せぬ副作用を明示する手法などについて検討するとともに,仕様記述環境のプロトタイプの核となる記号実行解釈部を作成し,いくつかの適用例を通じて評価した.
(ストリーム指向データ駆動プロセッサアーキテクチャ)
超分散システムのデータ駆動型実現法のためのストリーム指向データ駆動型プロセッサアーキテクチャの検討の一環として,可変長環状エラステックパイプラインによるデータ駆動プロセッサの最適実行,スーパーインテグレーション技術などを活用したデータ駆動型プロセッサの高性能化について検討し,多語長バケットによる流れ処理方式を半定量的に評価した.
(TINA環境のデータ駆動型実現法)
TINA環境のデータ駆動型実現法の品質面からの要求条件として,オーバヘッドのない効率的な多重処理による系の処理能力の有効利用,自律的系再構成を可能とする障害管理に基づく系の安定品質の向上をとりあげ,ストリーム指向データ駆動プロセッサの多重処理性および受動性の活用が有効であることを明らかにした.

研究成果

• [文献書誌] Nishikawa,H.,Ishii,H and Inoue,Y.: "A stream-oriented data-drivenprocessor realizing hyper-distributed systems" Proc.of the eighth IASTED International Conference on Parallel and Distributed Computing and Systems. 8. 47-51 (1996)
• [文献書誌] 石井,小林,西川,井上: "TINA環境へのデータ駆動型プロセッサ適用の検討" 電子情報通信学会「ネットワーキングアーキテクチャワークショップ」予稿集. 3-3-1-8 (1996)
• [文献書誌] Nishikawa,H. et.al.: "A data-driven implementation of telecommunication network systems" Proc.of the third Internationsl Symposium on Autonomous and Decentralized Systems. 3. (1997)
• [文献書誌] Hiroaki NISHIKAWA: "Toward Hyper-Distributed Systems Environment" Anritsu News. 84. 2-7 (1997)
• [文献書誌] 西川 博昭: "実時間超分散システムと仕様記述環境の研究" 並列・分散処理研究推進機構報告書. 2. (1997)
• [文献書誌] Hiroaki NISHIKAWA: "A Data-Driven Paradigm Implementing Novel System Architecure -Super-Integrated Data-Driven Processor for High Flow-Rate Stream Processing-" Computation Structure GroupMemo.,Laboratory for Computer Science,Massachusetts Institute of Technology. to be published.