2024-03-29T06:11:06Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000120832022-10-21T05:24:51Z00581:00677:00688
分散計算における制御フローに基づいたイベントアブストラクション手法An Event Abstraction Method in Distributed Computations Based on Control Flowjpn特集:マルチメディアネットワークシステムhttp://id.nii.ac.jp/1001/00012083/Journal Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=12083&item_no=1&attribute_id=1&file_no=1Copyright (c) 2001 by the Information Processing Society of Japan分散処理大阪大学大学院基礎工学研究科近畿大学理工学部多田, 知正樋口, 昌宏本論文では分散計算の解析を容易にすることを目的とし,各プロセスにおける制御フローに着目して分散計算の構造を簡略化する手法について述べる.分散計算は,一般にそれぞれのプロセスで発生するイベントの半順序集合として表すことができる.大規模な分散計算の解析を容易にすることを目的として,複数のイベントを1つの抽象イベントに置き換えることによって計算全体の構造を簡単化するイベントアブストラクションという手法が提案されている.従来提案されている手法では,解析者が計算全体の構造を把握する必要があるため,解析者の負荷が大きいという問題がある.提案手法では,イベント間の因果関係を制御依存関係とデータ依存関係に分類し,制御依存関係に基づき計算中の閉じた制御フローを抽出する.1つの閉じた制御フローは分散計算中のひとまとまりの処理と考え,これを1つの抽象イベントに置き換えることにより計算全体の構造を簡略化する.提案手法の有効性を議論するため,実際にイベントアブストラクションを行い,結果を可視化するツールを作成した.そして,いくつかの分散プログラムの実行結果に作成したツールを適用し,バグの検出に一定の有効性があることを確認した.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.AN00116647情報処理学会論文誌4222602672001-02-151882-77642009-06-29