著者

桧垣 博章 新地 公二郎 滝沢 誠

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告マルチメディア通信と分散処理(DPS) (ISSN:09196072)

巻号頁・発行日

vol.1998, no.55, pp.25-30, 1998-06-03

参考文献数

22

被引用文献数

3

---

移動端末と固定端末がネットワークによって相互接続されて構成される移動体システム環境が一般的になりつつあり、このような環境でアプリケーションが高信頼に実行される要求が高まっている。これまで、固定端末のみからなるネットワーク環境を対象に、チェックポイント・リスタートによってこれを実現する手法が提案されてきた。ところが、チェックポイントデータを格納するための安定記憶を十分に持つことができない、通信チャネルが切断されることがある、といった移動端末の特性のために、これらの手法を適用することは困難であった。我々はこれまでに、固定端末は同期式チェックポイントプロトコル、移動端末は非同期式チェックポイントプロトコルをそれぞれ用いる複合チェックポイントプロトコルを提案している。本論文では、この複合チェックポイントプロトコルにおいて、それぞれの移動端末が、固定端末が設定したチェックポイントと一貫性のある状態を獲得するために、1)必要なメッセージを通信ログに記録する方法、2)リカバリが要求されたときに、複数の固定端末に分散記録されたメッセージを集約する方法、3)記録されたメッセージを正しい順番に再実行する方法、を提案する。Information systems consist of multiple mobile stations and fixed stations communicating with each other. Mission critical applications are required to be executed fault-tolerantly in these systems. However, mobile stations support neither enough volume of storage and processing power nor enough capacity of battery to do reliable communication for a long period. Moreover, wireless communication channels are less reliable. Hence, the communication channels with the mobile stations are often disconnected. Therefore, it is difficult for multiple mobile stations to take checkpoints synchronously since the communication channels with the mobile stations may be disconnected even during taking the checkpoints. We have proposed hybrid checkpointing where checkpoints are taken asynchronously by the mobile stations and synchronously by the fixed stations. In addition, the mobile stations record messages for getting local states consistent with the checkpoints taken by the fixed stations. In this paper, we popose the method how the mobile stations record the messages, gather the messages stored in the stable storages distributed in multiple mobile stations, and recompute the messages in the consistent order.