分散計算における制御フローに基づいたイベントアブストラクション手法(<特集>マルチメディアネットワークシステム)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では分散計算の解析を容易にすることを目的とし, 各プロセスにおける制御フローに着目して分散計算の構造を簡略化する手法について述べる.分散計算は, 一般にそれぞれのプロセスで発生するイベントの半順序集合として表すことができる.大規模な分散計算の解析を容易にすることを目的として, 複数のイベントを1つの抽象イベントに置き換えることによって計算全体の構造を簡単化するイベントアブストラクションという手法が提案されている.従来提案されている手法では, 解析者が計算全体の構造を把握する必要があるため, 解析者の負荷が大きいという問題がある.提案手法では, イベント間の因果関係を制御依存関係とデータ依存関係に分類し, 制御依存関係に基づき計算中の閉じた制御フローを抽出する.1つの閉じた制御フローは分散計算中のひとまとまりの処理と考え, これを1つの抽象イベントに置き換えることにより計算全体の構造を簡略化する.提案手法の有効性を議論するため, 実際にイベントアブストラクションを行い, 結果を可視化するツールを作成した.そして, いくつかの分散プログラムの実行結果に作成したツールを適用し, バグの検出に一定の有効性があることを確認した.
- 一般社団法人情報処理学会の論文
- 2001-02-15
著者
関連論文
- Ambient計算に基づく動的な海上物流の監視システム
- 階層的キーワードベースの名前管理におけるキーワード管理手法
- 非階層型名前空間のファイルシステムへの適用に関する実験的評価
- 分散環境でのデータ管理におけるソフトステートのロバスト性の評価(インターネットの測定・性能評価技術及び一般)
- 分散計算における制御フローに基づいたイベントアブストラクション手法(マルチメディアネットワークシステム)
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散データベースにおける通信量を考慮した動的データ配置法
- 逐次化グラフを用いた複合トランザクションの並行制御
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 配送時間を考慮した因果関係を保存するメッセージ配送
- 部分トランザクションの独立性を考慮した入れ子トランザクションモデル
- 多重化データベースにおけるsite equorumを用いたデータの一貫性制御
- 多重化データベースにおけるsite quorumを用いたデータの一貫性制御
- 多重化データベースにおける仮想分割と再生成を用いた一貫性制御
- 書き込み保留を用いた逐次化グラフスケジューリング
- 分散システムにおける因果関係を保存するメッセージ 配送プロトコル
- 分散型データベースにおける逐次化グラフ検査を用いたスケジューラの実現と評価
- 分散型データベースにおける逐次化グラフを用いたスケジューリングアルゴリズム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対する Ambient Logic モデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 複合トランザクションモデル : 入れ子モデルとのシミュレーション比較
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
- 拡張有限状態機械モデルにおける通信プロトコルのテスト系列の自動生成の一手法
- データグリッドにおけるファイル複製の動的配置を考慮した並列転送手法(インターネットの新しいサービスとその基盤技術及び一般)
- データグリッドにおけるデータ転送を考慮したローカルスケジューリング手法
- データグリッドにおける複数サイトからの動的並列ファイル転送手法
- データグリッドにおけるデータ転送を考慮したローカルスケジューリング手法
- データグリッドにおける複数サイトからの動的並列ファイル転送手法
- データグリッドにおける複数サイトからの並列ファイル転送のための静的ファイル分割手法(アクセスネットワーク,ホームネットワーク及び一般)
- 時間付きAmbient Calculus