| 講演名 | 2002/3/1 低信頼な無線通信を含む移動コンピュータ環境のための複合チェックポイントプロトコル 宮崎 正光, 森田 義徳, 桧垣 博章, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では、移動コンピュータを含むネットワークで実行されるアプリケーションをフォールトトレラントに実行するためのチェックポイントリカバリプロトコルを提案する。移動コンピュータ、固定コンピュータが、それぞれ同期型チェックポイントプロトコル、非同期型チェックポイントプロトコルを用いる複合(ハイブリッド)チェックポイント手法について、これまでに、移動コンピュータが送信したメッセージがすべて基地局を経由して配送される通信モデルと、同一通信セルに含まれる移動コンピュータ間では直接のメッセージ配送を許すモデルとを対象にプロトコルを設計してきた。後者のモデルについて、無線通信路の低信頼性と隠れ端末問題によって発生するメッセージの紛失に対処可能な新たなプロトコルを本論文で提案する。移動コンピュータ間で直接交換されるメッセージは、移動コンピュータ間で受信確認を用いる方法では、基地局への到着が保証されない。この問題を解決するために、リカバリ時に必要とされるすべてのメッセージを固定コンピュータのチェックポイント取得時までに、基地局にある移動コンピュータのメッセージログに保存する方法を導入した。これを実現するために、各移動コンピュータは、送信したメッセージをバッファに保存し、各メッセージにはイベント列の情報を付加することが必要になる。本論文で提案するプロトコルには、このバッファに含まれるメッセージとメッセージに付加されるイベント列の情報のごみ集め(ガーベジコレクション)を行なう機能も含まれている。 |
| 抄録(英) | This paper proposes a novel checkpoint-recovery protocol for achieving fault-tolerant execution of an application in a mobile network system. The protocol is an implementation of hybrid checkpointing where fixed computers take local checkpoints by using a synchronous checkpoint protocol and mobile computers take local checkpoints by using asynchronous checkpoint protocol. Until now, two protocols of hybrid checkpointing have been designed. One is for systems with a communication model in which all messages transmitted from a mobile computer are transmitted through an access point even if the message is destined to another mobile computer within the same wireless cell. The other is for systems with a different communication model in which two mobile computers within the same wireless cell communicate directly without help of an access point. In the latter protocol, wireless communication channels are assumed reliable, that is, recovery of lost message is assumed to be supported by a protocol in underlying layer. Due to unreliable wireless communication channels and the existence of hidden terminals, more messages are lost than in a wired network. Even though an acknowledgment message and retransmission timer for reliable message transmission are applied, a message directly exchanged between mobile computers is not surely received by an access point. Hence, it is not certain to store required messages for replaying in recovery for a mobile computer to get a consistent state with other computers. In order to solve this problem, the proposed protocol supports that all the required messages are surely received by an access point before that fixed computers take local checkpoints by using a synchronous checkpoint protocol. In this protocol, each mobile computer temporarily stores messages sent after taking a local checkpoint in a buffer and each message carries event sequence of events on which the message causally depends. The proposed protocol includes a function of garbage collection for the messages in the buffers and the events in the messages. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | RCS2001-348 |
| 発行日 |
| 研究会情報 | |
| 研究会 | RCS |
|---|---|
| 開催期間 | 2002/3/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Radio Communication Systems (RCS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 低信頼な無線通信を含む移動コンピュータ環境のための複合チェックポイントプロトコル |
| サブタイトル（和） | |
| タイトル（英） | Hybrid Checkpoint Protocol with Unreliable Wireless Channels |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 宮崎 正光 / Masamitsu Miyazaki |
| 第 1 著者 所属（和/英） | 東京電機大学 理工学部 情報システム工学科 Department of Computers and systems Engineering Tokyo Denki University |
| 第 2 著者 氏名（和/英） | 森田 義徳 / Yoshinori Morita |
| 第 2 著者 所属（和/英） | 東京電機大学 理工学部 情報システム工学科 Department of Computers and systems Engineering Tokyo Denki University |
| 第 3 著者 氏名（和/英） | 桧垣 博章 / Hiroaki Higaki |
| 第 3 著者 所属（和/英） | 東京電機大学 理工学部 情報システム工学科 Department of Computers and systems Engineering Tokyo Denki University |
| 発表年月日 | 2002/3/1 |
| 資料番号 | RCS2001-348 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 684 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |