分散プログラムにおけるデッドロック原因究明の定式化

• Item type: SIG Technical Reports(1)
• 公開日: 1996-07-12
• タイトル: 分散プログラムにおけるデッドロック原因究明の定式化
• タイトル / 言語: en
• タイトル: Towards a Formalization of a Fault Localization Scheme for Deadlocks in Distributed Programs
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 静岡大学情報学部
• 著者所属: 静岡大学情報学部
• 著者所属: 静岡大学情報学部
• 著者所属(英): en
• 著者所属(英): Faculty of Information, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Faculty of Information, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Faculty of Information, Shizuoka University
• 著者名: 岡田, 達彦; 太田, 剛; 水野, 忠則
• 著者名(英): Tatsuhiko, Okada; Tsuyoshi, Ohta; Tadanori, Mizuno
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，分散プログラムにおけるデッドロック問題を解決する一手順について述べる．問題の原因を究明するために，本方式では，動的スライスと時間ベクトルを用いる．動的スライスは，プログラムの実行系列から抽出された，デバッグに必要な実行時点集合である．時間ベクトルは，動的スライス中の実行時点を半時間順序に従って整列するために用いる．この整列によって，デッドロックを引き起こす原因となる，時間順序の不整合を起こしている送受信文列を発見できる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we describe a scheme applicable to deadlock problems in distributed programs. This scheme uses dynamic slicing and vector clock. Dynamic slice is an ordered set of events chosen from an execution instance of a program so as to be useful for debugging. Vector clock is used to make events sorted in partial order. The sorted events allow us to detect a contradictory sequence of receive/send events which would cause a deadlock.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1996, 号 63(1996-DPS-077), p. 37-42, 発行日 1996-07-12
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会