一种基于移动计算环境的因果日志卷回恢复算法

摘要：

由于移动节点的不可靠和无线网络连接的脆弱性,研究移动计算系统容错机制具有重要意义.对可以跨区移动、随时可以与网络断开的自治性很强的移动节点来说,异步的卷回恢复是一种重要的容错手段.现有的移动计算环境下的卷回恢复算法都无法完全实现一致的异步卷回恢复.基于因果消息日志,提出一种新的移动计算环境的卷回恢复算法:通过先行图来记录节点间的消息依赖关系,将异步检查点、基于发送方的暂存消息日志和先行图全部在移动支持站上存储和处理,为移动节点提供一种透明的容错服务,完全消除依赖关系在移动节点之间造成的影响.用形式化的方法证明了系统的一致性.仿真结果表明,在卷回开销达到最低的同时,也显著降低了无错运行时的通信和存储开销.

关键词：因果日志、先行图、非协同检查点、移动节点、移动支持站

所属期刊栏目：45

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家八六三高技术研究发展计划重大专项基金2006AA01A103;国家自然科学基金60503015

在线出版日期：2008-05-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：348-357