1990 Fiscal Year Annual Research Report
並行処理ソフトウェアのプロトタイプの稼動評価向きエキスパ-トシステムの構成法
| Project/Area Number |
01580034
|
|---|
| Research Institution | Sophia University |
|---|
Principal Investigator |
伊藤 潔 上智大学, 理工学部・一般科学研究室, 助教授 (00129785)
|
|---|
| Keywords | 並行処理ソフトウェア / 稼動評価 / エキスパ-トシステム / デッドロック / ボトルネック / 性能評価 / 機能評価 / プロトタイプ |
|---|
| Research Abstract |
並行処理ソフトウェアの評価フェ-ズを効果的に進めるために,診断型エキスパ-トシステムに基づくツ-ル群を導入し,並行処理ソフトウェアの機能と性能それぞれに重大な影響を与えるデッドロックとボトルネックについて,それらが起きる箇所と要因を診断しその改善プランを提示する方法を研究した.さらに,デッドロックに対する,エキスパ-トシステムによるヒュ-リスティクな診断法と,アルゴリズムによる解析的な方法の間の相補的な役割,および,ボトルネックに対する,定性的な診断法と定量的な診断法の間の相補的な役割についても研究した.以上の研究を前年度に試作したエキスパ-トシステムを使用して進めた.
エキスパ-トシステムには,並行処理ソフトウェアを待ち行列ネットワ-クにモデル化し,定性推論に基づいてボトルネックのパラメ-タチュ-ニングを行うエキスパ-トシステムと,並行処理ソフトウェアをペトリネットにモデル化し,線形整数計画法に基づいてデッドロックを検出しデッドロックへの発火系列を求めるエキスパ-トシステムがある.これらのエキスパ-トシステムは,今年度の使用の中で,マンマシンインタフェ-スが改良され可用性が高まった.
これらのエキスパ-トシステムの導入により,振舞いの単純な視認だけでは不十分な並行処理ソフトウェアプロトタイピングにおいて,プロトタイプの構築・稼動・評価という3フェ-ズから成るサイクルをできる限り迅速に繰り返して回る方法が確立できた.
|
-
[Publications] Itoh,K.他: "Role of qualitative and quantitative reasoning in diagnosis and improvement for queueing network bottleneck" Info Japan '90. 2. 171-178 (1990)
-
[Publications] 志田 圭介他: "同期型待ち行列ネットワ-クボトルネックに対する定性的なパラメ-タチュ-ニング" 人工知能学会誌. (1991)
-
[Publications] 伊藤 潔 他: "定性推論のパラメ-タチュ-ニングへの応用" 情報処理. 32. 126-136 (1991)
