随着无线网络与可移动设备的发展,移动计算正逐步成为分布式计算的主流,移动计算使得人们在保持网络连接的同时能够自由移动,这促进了许多新的分布式应用的出现。但是移动计算的特征也造成其缺乏可靠性,因此提供移动环境下的容错方法对移动计算的发展起着重要的作用。检查点技术是适合移动计算环境的一种重要容错手段。本文讨论了移动计算环境下检查点设置技术的分类,比较了各类检查点技术的优缺点。在分析了移动计算环境对检查点设置的影响后,根据分段确定性假设是否成立设计了两个检查点协议:HMB协议与MNLC协议。HMB是一种基于日志的容错协议。不同于已有的采用固定时间间隔而设置检查点的算法,HMB算法的检查点间隔完全由移动主机握手率与消息到达率决定。HMB算法使得系统在无错执行时的开销与及时恢复间取得更好的平衡。MNLC是一种基于协同检查点的容错协议,MNLC的特点在于区分出真正的检查点依赖进程。通过记录通信向量与消息发送感染向量,MNLC协议实现最少数量进程参与检查点设置及卷回恢复,同时由于MNLC协议的许多操作都是在移动支持站上进行的,因此MNLC具有较小的开销。为了对所设计的协议进行综合的性能评价,本文利用广义随机Petri网和有色Petri网分别为HMB协议和MNLC协议进行了建模,得出了各自的性能指标。