备查点间隔对程序执行时间影响的分析

软件错误按其表现形式可分为柔性错误与固性错误两大类．本文根据以往软件测试的结果指出，对柔性错误的防范与容错应被视为软件容错的主要目标．文中简要介绍了对柔性错误具有良好容错效果的备查点与卷回机制，并在此基础上以一个顺序程序的容错模型来讨论备查点的设置间隔对容错程序执行时间的影响，然后通过对该模型的计算机模拟与理论分析得出几点具有实际意义的结论．本文工作可为备查点插入策略（程序员插入、编译器插入和硬件插入）的优化提供有力支持．

一种优化的分布式系统的失效恢复策略

本文对确定性进程组成的分布式系统的失效（包括处理机崩溃和进程出错）恢复策略做了深入的研究，独到地提出了应用数据流分析来静态地计算进程的最小备查点数据集的方法．从而允许每个备查点操作只需对那些充分必要的数据进行合法性检测与备份，这种方法使引入的备查点操作的附加时空消耗降到最低．本文还对因进程通信所产生的备查点间隔的依赖关系做了深入讨论，得出了进程错误的最大可能影响范围定理及出错后系统一致性状态的构造定理，从而可以把错误对整个系统的影响限制在一个可控的最小范围内，这不仅可减小因错误而造成的计算损失，而且将直接降低失效恢复过程中的通信开销．在理论分析之后，我们给出了相应的异步备查点与卷回算法，最后通过比较得出本文的算法在空间性能上优越于已发表的几个具有代表性的算法．本文提出的理论及其算法可以应用于以有限自动机为模型的分布式系统的容错设计方法中．