Paradise：分散環境向けデバッグ環境 －分散プロセスの遅延停止について－

• Item type: SIG Technical Reports(1)
• 公開日: 1991-07-19
• タイトル: Paradise：分散環境向けデバッグ環境 －分散プロセスの遅延停止について－
• タイトル / 言語: en
• タイトル: Paradise : Distributed Debugging Environment -Distributed and Delayed Halting for Distributed Processes-
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 富士ゼロックスシステム技術研究所
• 著者所属: 富士ゼロックスシステム技術研究所
• 著者所属: 富士ゼロックスシステム技術研究所
• 著者所属(英): en
• 著者所属(英): Fuji Xerox Co., Ltd. System Technology Research Lab.
• 著者所属(英): en
• 著者所属(英): Fuji Xerox Co., Ltd. System Technology Research Lab.
• 著者所属(英): en
• 著者所属(英): Fuji Xerox Co., Ltd. System Technology Research Lab.
• 著者名: 川邊, 恵久; 山下, 一郎; 守屋, 康正
• 著者名(英): Sigehisa, Kawabe; Ichiro, Yamashita; Yasumasa, Moriya
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プロセス間通信をRPCに限定した分散システムにおいて，ブロードキャスト通信を必要としない分散プロセスの遅延中断アルゴリズムを提案した．さらに分散システムとデバッガについてモデル化，および形式化を行なった上で，このアルゴリズムがブレークポイントによる中断をしてもデバッグしている分散プログラムの振舞いを保存することを示すことで正当性の検証を行なった．またRPC検出機能を組み込んだ分散デバッガにこの分散遅延アルゴリズムと等価な実装向けアルゴリズムを示した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Distributed and delayed halting algorithm without broadcast communication is presented for distributed systems, in which interprocess communication is restricted to the Remote Procedure Calls(RPCs). We give the distributed system models, the debugger models and their formalization and then show the correctness of this algorithm in that it preserves the behavior of the debugged distributed programs against the distributed breakpointing. Further we show the equivalent algorithms for implementation to the distributed debugger with RPC detecting mechanisms.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1991, 号 64(1991-ARC-089), p. 119-126, 発行日 1991-07-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会