2000 Fiscal Year Annual Research Report
スーパーインテグレーションによるデータ駆動プロセッサシステムの開発支援環境の研究
Project/Area Number |
11480060
|
Research Institution | University of Tsukuba |
Principal Investigator |
西川 博昭 筑波大学, 電子・情報工学系, 教授 (60180593)
|
Co-Investigator(Kenkyū-buntansha) |
小松 尚久 早稲田大学, 理工学部, 教授 (30195846)
|
Keywords | スーパーインテグレーション / データ駆動 / プロセッサアーキテクチャ / 開発支援 / マルチメディア / 実時間処理 / 仕様記述 / プロセッサエミュレーション |
Research Abstract |
研究第2年度にあたる本年度は,スーパーインテグレーションによるデータ駆動プロセッサアーキテクチャの性能予測・検証を目的とした,データ駆動型開発支援環境,および本環境を活用して行うネットワーキング向きデータ駆動プロセッサアーキテクチャの実現法について,以下のような検討を加えた. (データ駆動型開発支援環境) プログラム上に生じた副作用および仕様の誤りの検出支援,さらには,性能・時間制約を含めた仕様に基づく性能予測・検証のための対話的なプロトタイピング機能を持つデータ駆動型仕様記述環境のプロトタイプを構築した.具体的には,入出力部における実時間性を含めた要求仕様の記述手法を提案するとともに,部分的に実行可能となったプログラムに対する実時間性を含めた記号実行結果・性能予測結果を仕様記述水準に提示する手法として,シーケンスチャートを用いたターンアラウンドタイムの表示,ならびに,グラフを用いた負荷の表示の実現法を検討した.さらに,データ駆動プロセッサのマルチプロセッサへのプログラムの分散配置,命令セットアーキテクチャ,およびパイプライン構成の設計・性能予測,および検証の実現法について提案し,アプリケーションからプロセッサアーキテクチャに至るまでのデータ駆動型開発支援環境として発展できる見通しを得た. (ネットワーキング向きデータ駆動プロセッサアーキテクチャの実現法) スーパーインテグレーションによるデータ駆動プロセッサアーキテクチャの具体例として,分散オブジェクト環境におけるプロトコル処理向きデータ駆動プロセッサアーキテクチャについて検討した.データ駆動型開発支援環境を駆使して,プロトコル処理向きに命令セット,およびパイプライン構成を最適化し,適切なプログラム分散配置を行えば,上記のプロトコル処理が1チップで実現できることを明らかにした.
|
-
[Publications] H.Ishii,H.Nishikawa and Y.Inoue,: "Data-Driven Implementation of Highly Efficient TCP/IP Handler to Access the TINA Network"IEICE Transactions on Communications. Vol.E83-B・No.6. 1355-1362 (2000)
-
[Publications] Y.Wabiko,T.Urata and H.Nishikawa: "A Specification and Prototyping Environment for Super-Integrated Data-Driven Processor Systems"Proceedings of the Fifth World Conference on Integrated Design and Process Technology, Society for Design & Process Science. CD-ROM. (2000)
-
[Publications] Y.Wabiko and H.Nishikawa: "Verification and Emulation Facility for Data-Driven Realtime Processing Systems"Proceedings of the Fifth World Conference on Integrated Design and Process Technology, Society for Design & Process Science. CD-ROM. (2000)
-
[Publications] M.Ohtsuki,Y.Wabiko and H.Nishikawa: "Real-time Execution System for CUE series Data-Driven Processors; RESCUE"Proceedings of the 2000 International Conference on Parallel and Distributed Processing Techniques and Applications. 1969-1975 (2000)
-
[Publications] R.Kudo,Y.Wabiko and H.Nishikawa: "Performance Verification Scheme for Data-Driven Real-time Processing"Proceedings of the 2000 International Conference on Parallel and Distributed Processing Techniques and Applications. 1977-1983 (2000)
-
[Publications] S.Kudo,K.Aoki and H.Nishikawa: "Super-Integrated Data-Driven Processor Architecture for Interoperable Networking Environment"Proceedings of the 2000 International Conference on Parallal and Distributed Processing Techniques and Applications. 2167-2173 (2000)