移动计算系统的移动性、灵活性、自治性等特点使其具有了更加广阔的应用前景,但是由于移动设备的不可靠性和无线链路连接的脆弱性,降低了移动计算系统的可靠性。检查点卷回恢复技术是在传统分布式系统中使用的一种低开销的软件容错技术。由于移动计算系统中出现的许多新问题使传统检查点算法不能直接应用到移动计算系统中来,因此针对移动计算环境的特点,设计相应的检查点算法是一项很有意义的工作,对移动计算系统在高性能计算和其它领域的推广及应用也具有重要的理论与实践意义。协同检查点算法在分布式系统中有许多优点,但其同步开销较大,不适合移动计算环境。因此为了减少算法的协同开销,节省无线网络负载,设计了基于移动计算环境的非阻塞协同检查点算法。算法中检查点的发起和协同在移动支持站上完成,移动支持站之间采取基于时间的同步。算法在不阻塞计算进程基本执行的情况下,避免了孤儿消息的产生,通过保存中途消息,可使卷回恢复达到一致可恢复状态,并且对移动主机是透明的、低费用的。为进一步提高检查点算法的执行效率,改进了移动计算环境下检查点的存储策略。针对移动主机不同类型的故障,将检查点分别存储在移动主机的本地磁盘和移动支持站上的可靠存储器中。通过用低代价检查点容忍高频故障,用高费用检查点容忍很少发生的故障,减少了无故障执行和故障恢复时的无线网络负载及存取检查点时延,从而降低了能耗,并且根据实际环境动态配置算法,可得到最小算法平均开销。论文对提出的算法进行了性能评估,首先证明了非阻塞协同检查点算法的正确性、透明性和低费用;然后利用离散马尔可夫链建立了故障和性能评估模型;最后通过仿真实验从数值的角度验证了算法的优越性。