1996 Fiscal Year Annual Research Report
実時間超分散処理のためのデータ駆動型仕様記述環境の研究
| Project/Area Number |
08458060
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
西川 博昭 筑波大学, 電子・情報工学系, 助教授 (60180593)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
小松 尚久 早稲田大学, 理工学部, 教授 (30195846)
|
|---|
| Keywords | 超分散処理 / データ駆動 / 仕様記述 / プログラム生成 / 副作用検出 / プロトタイピング / 履歴依存性 / 再利用 |
|---|
| Research Abstract |
研究機関初年度にあたる本年度は,ユーザーが実時間超分散システム環境が提供するユ-ティリティを自由に利用するための仕様記述環境の実現手法,このような環境を実現するためのストリーム指向データ駆動プロセッサアーキテクチャ,および,TINA(Telecommunications Information Networking Architecture)環境のデータ駆動型実現法の各々について,以下のような検討を加えた.
(データ駆動型仕様記述環境)
データ駆動図式による仕様記述からデータ駆動プログラムの直接生成手法,記号実行解釈によるプロトタイピング,階層構造の再構成によるプログラム検証,および,仕様に改変を加えた際の予期せぬ副作用を明示する手法などについて検討するとともに,仕様記述環境のプロトタイプの核となる記号実行解釈部を作成し,いくつかの適用例を通じて評価した.
(ストリーム指向データ駆動プロセッサアーキテクチャ)
超分散システムのデータ駆動型実現法のためのストリーム指向データ駆動型プロセッサアーキテクチャの検討の一環として,可変長環状エラステックパイプラインによるデータ駆動プロセッサの最適実行,スーパーインテグレーション技術などを活用したデータ駆動型プロセッサの高性能化について検討し,多語長バケットによる流れ処理方式を半定量的に評価した.
(TINA環境のデータ駆動型実現法)
TINA環境のデータ駆動型実現法の品質面からの要求条件として,オーバヘッドのない効率的な多重処理による系の処理能力の有効利用,自律的系再構成を可能とする障害管理に基づく系の安定品質の向上をとりあげ,ストリーム指向データ駆動プロセッサの多重処理性および受動性の活用が有効であることを明らかにした.
|
-
[Publications] 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)
-
[Publications] 石井,小林,西川,井上: "TINA環境へのデータ駆動型プロセッサ適用の検討" 電子情報通信学会「ネットワーキングアーキテクチャワークショップ」予稿集. 3-3-1-8 (1996)
-
[Publications] 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)
-
[Publications] Hiroaki NISHIKAWA: "Toward Hyper-Distributed Systems Environment" Anritsu News. 84. 2-7 (1997)
-
[Publications] 西川 博昭: "実時間超分散システムと仕様記述環境の研究" 並列・分散処理研究推進機構報告書. 2. (1997)
-
[Publications] 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.
