[发明专利]容错移动计算环境中的检查点迁移方法

权利要求书

1.一种容错移动计算环境中的检查点迁移方法，其特征是：通过手动划分或自适应划分的方式，将移动主机的恢复信息分成两部分，即高优先级恢复信息与低优先级恢复信息部分；高优先级恢复信息由移动主机整个检查点的一部分组成，即0＝＜高优先级恢复信息＜＝整个检查点大小；低优先级恢复信息部分由移动主机的恢复信息除去高优先级恢复信息后剩余部分的恢复信息，即移动主机剩余的部分检查点和消息日志组成；

当移动主机在不同组间移动时，移动主机的高优先级恢复信息部分从旧的移动支持站转移到新的移动支持站上；移动主机的低优先级恢复信息部分不从旧的移动支持站转移到新的移动支持站上，仍存储在原来的移动支持站上；

与之对应的卷回恢复方法是：一旦移动主机出错要卷回恢复时，其本地移动支持站立即开始将其高优先级恢复信息通过无线网络向出错移动主机转发，与此同时其本地移动支持站利用其多任务处理能力，依据移动主机恢复信息的定位信息通过高速有线网络开始收集分散在其它移动支持站上的对应的低优先级恢复信息部分；本地移动支持站将移动主机的高优先级恢复信息转发完毕后，继续向出错移动主机转发收集到的低优先级恢复信息部分；直到将所有出错移动主机需要的恢复信息传输完毕；然后出错移动主机进行检查点卷回恢复，重放消息日志，最后达到出错前的一个正确运行状态。

2.根据权利要求1所述的容错移动计算环境中的检查点迁移方法，其特征是：定位信息CK_info_i的数据结构定义为：

CK_info_i包含6个变量CK_sn，CK_loc，CK_low，Logm_seq，Send_max及Log_queue，用来描述该移动主机的当前检查点及相关恢复信息；CK_sn记录该移动主机的当前检查点序号，CK_loc记录存储该移动主机高优先级恢复信息的移动支持站的标识，CK_low记录存储该移动主机低优先级部分检查点的移动支持站标识，Logm_seq记录该移动主机采取当前检查点后收到的第一个消息的序号，Send_max记录自从采取当前检查点后该移动主机成功地发送消息的最大序号，Log_queue是一队列用来记录有该移动主机消息日志的移动支持站的标识；移动主机在成功采取新的检查点、不同组间迁移、成功接收到消息及发送消息时，更新其应的CK_info_i。