並列システム性能解析モデルであるSTMT - netのcolored化

• Item type: SIG Technical Reports(1)
• 公開日: 1992-10-22
• タイトル: 並列システム性能解析モデルであるSTMT - netのcolored化
• タイトル / 言語: en
• タイトル: The Colored STMT Net : An Analysis Model for Parallel Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 慶應義塾大学理工学部
• 著者所属: 慶應義塾大学理工学部
• 著者所属: 慶應義塾大学理工学部
• 著者所属: 慶應義塾大学理工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Keio University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Keio University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Keio University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Keio University
• 著者名: 竹本, 卓; 木村, 哲郎; 山本, 欧; 天野, 英晴
• 著者名(英): T., Takemoto; T., Kimura; O., Yamamoto; H., Amano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 単純であるが幅広い用途を持つ理論解析モデルであるSTMTネットを拡張し、トークンに属性を持たせたColored STMTネットを提案する。Colored STMTネットの導入により、STMTネットでは記述が困難であった幾つかのシステムに表現を与えることが可能となった。専用記述言語Betaで記述されたColored STMTネットはプリプロセッサにより等価なSTMTネットに変換され、更にSTMTアナライザにより対象とするシステム全体のマルコフチェーンモデルに変換される。そして通常のマルコフ解析同様の手法で、システムの安定状態での挙動を知ることができる。Colored STMTネットを用いて、IEEE Futurebusのアービトレーションプロトコルについて解析を行なった。その結果、バスマスタ要求率の変化とアービトレーションの公平性との間の関係が明らかになった。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The STMT net is a simple yet powerful analysis model. However, parallel systems including elements with attribute cannot be treated by the model. To cope with this problem, the Colored STMT net, which provides attributes for each tokens in the STMT net, is proposed. The system described in Beta (The description language for Colored STMT net) is translated into an equivalent STMT net by the preprocessor, and the Markov chain of the whole parallel system is generated by the STMT net analyzer. Then steady state of the system is analyzed. In order to demonstrated the power of the Colored STMT net, the analysis result of arbitration protocol of the IEEE Futurebus. The result demonstrates that the fairness of getting the bus mastership is severly degraded with the fixed priority strategy of the bus protocol.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1992, 号 82(1992-ARC-096), p. 157-164, 発行日 1992-10-22
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会