高信頼広域移動体ネットワーク構成手段の研究

点击翻译按钮获取中文摘要

ノート型のコンピュータやPDAなどの移動コンピュータを構成要素とするモバイルコンピューティング環境への要求が高まっている。ロボットや無人探査機など、移動コンピュータが状態情報をもちミッションクリティカルなアプリケーションを実行するためにのフォールトトレランス技術を確立するために、本研究では、チェックポイントリカバリ技法の研究をおこなった。その解として、移動コンピュータと固定コンピュータがその特性に応じてそれぞれ異なる手法を用い、全体として矛盾のないチェックポイントを設定する複合チェックポイントを提案していた。今年度は、実用にむけて、現在普及が進みつつある無線LANプロトコル(IEEE802.11)を通信に用いるモバイルコンピューティング環境に適応可能なプロトコルの設計を行った。従来、移動コンピュータの通信モデルとして、すべてのメッセージがアクセスポイントによって中継されるものを想定していた。ところが、無線LANプロトコルでは、同一無線セルに含まれるコンピュータ同士は直接通信する。このため、これまでは保証されていた追加メッセージなしに通信ログをアクセスポイントで取得できるという性質を保つことができなくなる。本論文で提案する手法は、無線LANプロトコルのブロードキャスト性を利用して同様の性質を保証している。また、メッセージそのものとその受信順序情報を独立に管理する方法によって、モデルの変更によって生じる順序の逆転の問題を解決している。広域ネットワークでのコンピュータの移動の対して、通信の保証を行うプロトコルとして、現在のインターネットではMobileIPというプロトコルが用いられている。本研究では、蒸気のチェックポイント技法をMobileIPに基づいて拡張し、リカバリ時のオーバヘッドを削減する方法も提案している。評価実験の結果、リカバリ時オーバヘッドを削減する方法も提案している。評価実験の結果、リカバリ時のネットワーク負荷を軽減することが明らかになった。