分散プログラムのデバッグにおける大域的条件について

• Item type: SIG Technical Reports(1)
• 公開日: 1989-12-08
• タイトル: 分散プログラムのデバッグにおける大域的条件について
• タイトル / 言語: en
• タイトル: Global Condition in Debugging Distributed Programs
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTTソフトウェア研究所
• 著者所属: NTTソフトウェア研究所
• 著者所属(英): en
• 著者所属(英): NTT Software Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Software Laboratories
• 著者名: 真鍋, 義文; 今瀬真
• 著者名(英): Yoshifumi, Manabe; Makoto, Imase
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 再現をベースにする分散プログラムデバツガにおいて、ブレークポイント、トレース条件の指定に複数のプロセスにまたがる大域的条件を導入する。ブレークポイント条件式が単一プロセス条件の積の形の場合に、条件が成立する最初の地点で停止するアルゴリズムを示す。また、条件式が単一プロセス条件の和の形の場合には、最初の地点で停止するアルゴリズムは存在しないことを示す。また、積の形、和の形それぞれのトレース条件式についてトレースを行うアルゴリズムを示す。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper describes facilities for a distributed program debugger based on the instant replay technique. Most distributed program debuggers restrict the predicate for specifying the breakpoints and selective trace conditions to an expression for one process. This paper introduces two kinds of distributed global predicates (Conjunctive and Disjunctive Predicates) which are expressions related to plural processes. An algorithm is shown which halts at the first global state in which a Conjunctive Predicate is satisfied. It is shown that it is impossible to halt at the first state, but possible to halt at some state in which a Disjunctive Predicate is satisfied. An algorithm for a selective tracing function is also shown when a Conjunctive or Disjunctive Predicate selection condition is given.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1989, 号 107(1989-PRO-033), p. 97-105, 発行日 1989-12-08
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会