分散計算における制御フローに基づいたイベントアブストラクション手法

• Item type: Journal(1)
• 公開日: 2001-02-15
• タイトル: 分散計算における制御フローに基づいたイベントアブストラクション手法
• タイトル / 言語: en
• タイトル: An Event Abstraction Method in Distributed Computations Based on Control Flow
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：マルチメディアネットワークシステム
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 分散処理
• 著者所属: 大阪大学大学院基礎工学研究科
• 著者所属: 近畿大学理工学部
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering Scicence, Osaka University
• 著者所属(英): en
• 著者所属(英): School of Science and Engineering, Kinki University
• 著者名: 多田, 知正; 樋口, 昌宏
• 著者名(英): Harumasa, Tada; Masahiro, Higuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では分散計算の解析を容易にすることを目的とし，各プロセスにおける制御フローに着目して分散計算の構造を簡略化する手法について述べる．分散計算は，一般にそれぞれのプロセスで発生するイベントの半順序集合として表すことができる．大規模な分散計算の解析を容易にすることを目的として，複数のイベントを1つの抽象イベントに置き換えることによって計算全体の構造を簡単化するイベントアブストラクションという手法が提案されている．従来提案されている手法では，解析者が計算全体の構造を把握する必要があるため，解析者の負荷が大きいという問題がある．提案手法では，イベント間の因果関係を制御依存関係とデータ依存関係に分類し，制御依存関係に基づき計算中の閉じた制御フローを抽出する．1つの閉じた制御フローは分散計算中のひとまとまりの処理と考え，これを1つの抽象イベントに置き換えることにより計算全体の構造を簡略化する．提案手法の有効性を議論するため，実際にイベントアブストラクションを行い，結果を可視化するツールを作成した．そして，いくつかの分散プログラムの実行結果に作成したツールを適用し，バグの検出に一定の有効性があることを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose a simplification method of structure of distributed computations.In general, distributed computations are modeled as partial ordered events.In order to facilitate analysis of distributed computations,event abstraction has been proposed.Event abstaction reduces apparent complexity of a distributed computation by replacing some related events with one abstract event.The existing method of event abstraction is difficult to use because an analyzer should grasp the structure of the distributed computation.We classified the causal relation of events into two types,that is, the control dependency and the data dependency.Then, we defined the control flow based on the control dependency.In the proposed method, closed control flows are extracted from the distributed computation.Since each closed control flow can be considered as a module in the execution,events involved in a closed control flow are replaced with an abstracted event.To evaluate the proposed method,we implemented a visualization tool of distributed computations based on the method.We applied the tool to some of distributed programs and showed that the proposed method is useful for detecting some kind of programming errors.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 42, 号 2, p. 260-267, 発行日 2001-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764