実时间设计効率解析.docxVIP

Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】 Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】 実时间设计効率解析 11章 并行実时间ソフトウェア设计の効率解析 Performance Analysis of Concurrent and Real-Time Softweare Designs 导入 ソフトウェア设计の数量的解析（quantitive analysis of a softweare design）： 与えられたハードウェア构成の元、与えられている负荷で概念的にソフトウェアを実行してみること。 効用： 効率上の潜在的な问题の早期発见、别のソフトウェア设计や别のハードウェア构成の调査。 この章では 効率のモデル化（performance modeling） とそれに対する 実时间スケジューリング理论(real-time scheduling theory) の适用を通じてソフトウェア设计の効率解析に対する概観を提供する。 実时间スケジューリング理论は、厳しい时间制约を持つハードな実时间システム（hard real-time system）に特に适する。 効率モデル 効率モデル（performance model）： システムの効率の観点から実际の计算机システムを抽象化したもの。システムが実在するか否かは问わない。 形式 数学的なモデル（mathematical model）：システムの数学的表现（例：待ち行列モデル、Petriネットモデル、回帰モデル） シミュレーションモデル（simulation model）：システムの构造と挙动のアルゴリズム的表现）。 种类 静的モデル（static model）：时间経过を全く加味しない、あるいは定常状态に関するモデル（例：回帰モデル、定常状态を扱う多くの待ち行列モデル） 动的モデル（dynamic model）：时间経过を考えるモデル（例：シミュレーションモデル） 回帰モデルについて 几つかのモデル（たとえば回帰モデル（regression model）のような経験的なモデル）は、计测して多くのデータが集めることができる既存のシステムの分析に向く。　标本に対する统计的な曲线の当てはめ（例： 効率に関するデータに対する最小二乗法等）に基づく回帰モデルは既存のシステムの分析に有用。　しかし、まだ存在していない、これからモデル化しようとしている対象には回帰モデルは向かない。 待ち行列モデル 待ち行列モデル（queueing model）： 限りある资源の取り合いの様子を解析してシステムの効率を予测するモデル。 解析的なモデルでは问题の数学的表现から解が直接推论できる。 通常は、解析しやすいように仮定が置かれる。 仮定の例： 「记忆なし」（”memory-less”）属性＝最後の要求からの経过时间とは独立に新たな要求が発生する。要求の时间间隔の分布は指数分布（最高の确率密度を最小の时间间隔である０とする多くの计算环境における最小の时间间隔はそうなっていないが。）になる。（定常状态の解析に限ればさらに简単化のための仮定が置かれる。） 待ち行列モデルは、计算机システムの概観を提供し、システムが要求を达成できるかどうかについての高レベルなモデルとして有用。より详细な効率の解析には他のモデル化技法が必要。 シミュレーションモデル シミュレーションモデル（simulation model）：実世界におけるシステムの构造と挙动をアルゴリズムとして抽象化したもの。 设计が健全で时间的要求を达成できるかどうかを検证する効果的な方法。 开発中、さらには开発前のシステムを稼动中と同様にシミュレートできる。 モデル内に作りこむ仮定が现実的なものになるように注意。 动的なモデル（时间経过を明示的に取り扱う。）である。 一定期间に渡ってシステムの挙动を解析できる。 离散イベントシミュレーションモデル（discrete event simulation model）： システムの全ての状态変化をそれぞれ离散的なイベントとして表现。イベント间の时间を飞ばしてシミュレーションの所要时间を「圧缩」できる。 计算机システムシミュレーションモデル（computer system simulation model）： 実际の计算机の挙动やハードウェア上での设计ソフトウェアの実行をモデル化。入力＝抽象化された负荷（workload）、出力＝计算机の挙动を示す评価结果。 负荷について