| 講演名 | 1996/8/27 プロセスレプリケーションにおける障害検出について 小椋 則樹, 最所 圭三, 福田 晃, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 分散処理環境においてクライアント/サーバモデルがよく使われている. このモデルにおいてはサーバの信頼性がシステム全体の信頼性を決める要素となっている. サーバの信頼性を上げる方法としてサーバのバックアップを作る方法がある. しかしこの方法では障害時のサーバの切替えに要する時間が大きく, 時間的に制限のある応用プログラムに用いることができない. そこで本研究では, サーバプロセスの複製(レプリカ)を作ることにより, サーバの切替えに要する時間を短縮することを図る. 今回は障害検知およびその処理について議論している. また, その処理手順をプロセス代数のCSPにより形式的に記述している. |
| 抄録(英) | In a distributed processing environment, a client/server model is used frequently. Reliability of the server on the model is serious factor to influence reliability of the whole system. By making a backup server, tolerance of server failures can be improved. This method, however, requires long recovery time when failures occur, and it cannot be used to applications that have restrictions on time. This work aims to shortening of recovery time using replica at process level. In this paper, failure detection and the processes of failure recovery are discussed. Additionally, the recovery processes are described formally in Process Algebra CSP. |
| キーワード(和) | プロセスレプリケーション / クライアント/サーバ / 障害検出 / 分散システム / 形式的記述 |
| キーワード(英) | Process replication / client/server / failure detection / distributed systems / formal description |
| 資料番号 | CPSY-96-61 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 1996/8/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プロセスレプリケーションにおける障害検出について |
| サブタイトル（和） | |
| タイトル（英） | Failure Detection on Process Replication |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プロセスレプリケーション / Process replication |
| キーワード(2)（和/英） | クライアント/サーバ / client/server |
| キーワード(3)（和/英） | 障害検出 / failure detection |
| キーワード(4)（和/英） | 分散システム / distributed systems |
| キーワード(5)（和/英） | 形式的記述 / formal description |
| 第 1 著者 氏名（和/英） | 小椋 則樹 / Noriki Ogura |
| 第 1 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institiute of Science and Technology |
| 第 2 著者 氏名（和/英） | 最所 圭三 / Keizo Saisho |
| 第 2 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institiute of Science and Technology |
| 第 3 著者 氏名（和/英） | 福田 晃 / Akira Fkuda |
| 第 3 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institiute of Science and Technology |
| 発表年月日 | 1996/8/27 |
| 資料番号 | CPSY-96-61 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 231 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |