巻き戻し実行をサポートする並列プログラムデバッガ

• Item type: Trans(1)
• 公開日: 2004-03-15
• タイトル: 巻き戻し実行をサポートする並列プログラムデバッガ
• タイトル / 言語: en
• タイトル: A Parallel Program Debugger Supporting Reverse Execution
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 並列・分散システム
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 木更津工業高等専門学校／豊橋技術科学大学工学部
• 著者所属: 豊橋技術科学大学工学部／現在，日立ソフトウェアエンジニアリング株式会社
• 著者所属: 豊橋技術科学大学工学部／現在，三重大学工学部
• 著者所属: 豊橋技術科学大学工学部
• 著者所属(英): en
• 著者所属(英): Kisarazu National College of Technology/Faculty of Engineering, Toyohashi University of Technology
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Toyohashi University of Technology/Presently with Hitachi Software Engineering
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Toyohashi University of Technology/Presently with Faculty of Engineering, Mie University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Toyohashi University of Technology
• 著者名: 丸山, 真佐夫; 山本, 繁弘; 大野, 和彦; 中島, 浩
• 著者名(英): Masao, Maruyama; Shigehiro, Yamamoto; Kazuhiko, Ohno; Hiroshi, Nakashima
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 巻き戻し実行（あるいは逆実行）は，強力なプログラムデバッギング手法である．しかし，これを並列プログラムのデバッギングに適用するためには実行の非決定性という，並列プログラム特有の問題を解決する必要がある．並列プログラムでは一般に，複数回同じプログラムを実行したとき，それらの実行で同じ振舞いをすることが保証されない．そのため，巻き戻し実行を利用してデバッギングを行う場合，バグの真の原因の追跡に必要なすべての実行状態を保存しておく必要がある．このことは，再現性の低いバグを追っている場合に，特に問題になる．いつどのような条件で出現するか分からないバグを待って，コストの高いチェックポインティングを続けなくてはならないからである．そこで我々は巻き戻し実行に再演手法を組み合わせることで欠点を補う，並列プログラムのデバッギングモデルを提案する．我々は並列言語Orgelに対して巻き戻し実行機構を実装し，巻き戻し実行を利用可能な並列デバッガOrderを開発した．本論文では，提案手法およびOrderの実装と評価について述べる．それによって，提案手法を用いて実装したOrderシステムが強力で使いやすいデバッギング環境を提供できること，現実的なコストで動作することを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Reverse execution is a powerful technique of debugging. Some serious problems arise, however, in applying it to parallel programs because of its indeterministic nature. Since a parallel program’s behavior can be different from run to run, entire information for locating the bug must be checkpointed in single execution. It causes, in most cases, the users to collect much larger set of information than really needed. It is particularly serious when locating the inreproductive bugs. The users have to run the program repeatedly with costly checkpointing operation until the bug appears. Therefore we propose a debugging model for parallel programs based on checkpointing/rollbacking combined with replay method to overcome these weak points. We applied it to a parallel programming language Orgel, and developed a debugger supporting execution rollback for Orgel programs. Our mechanism works at practical cost in execution, and can provide useful and powerful functions to the parallel debuggers which justify some extra cost.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11833852
• 書誌情報: 情報処理学会論文誌コンピューティングシステム（ACS）; 巻 45, 号 SIG03(ACS5), p. 109-121, 発行日 2004-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7829
• 出版者 / 言語: ja
• 出版者: 情報処理学会