分布式系统在互联网高速发展的今天,已经被广泛应用于客户—服务器系统、事务处理、万维网以及科学计算等多个领域。由于分布式程序的广泛应用,分布式系统的容错问题就变得越来越重要,许多技术被用来提高系统的稳定性和可靠性,其中包括回卷恢复技术。 回卷恢复技术的容错是通过在无错执行期间周期性地保存进程的状态来实现的。一旦发生错误,出错的进程就从保存的状态处重新开始执行,从而减少出错带来的计算上的损失。每一个这种保存的状态称为一个检查点。在分布式系统中设置检查点时,除了要考虑在单进程应用程序中所存在的减少检查点开销,优化检查点时间间隔等问题外,还要考虑分布式系统中由于进程之间相互发送消息而导致的进程状态间的相互依赖关系。这是分布式系统中的检查点技术主要复杂的地方。怎样保证形成全局一致性检查点,避免多米诺效应,同时尽量减少由于引入检查点而带来的额外开销,是分布式系统中的检查点设置技术所要考虑的主要问题。 分布式检查点技术目前主要分为三种类型,即异步检查点方式,同步检查点方式以及准同步检查点方式。本文着重介绍了对基于索引的准同步检查点协议的研究。本文首先介绍了分布式检查点协议中的一些重要的定义和定理以及当前国内外一些主要的基于索引的准同步检查点协议,然后在这些协议的基础上提出两种自己的改进方案,从而提出一种新的改进的协议,称之为IBQSC协议。通过模拟实验证明,IBQSC协议在性能上的确能够取得明显的提高。之后,将介绍目前国际上针对基于索引的准同步检查点协议的性能比较的研究,介绍一些重要的结论,并对这些结论中的问题提出自己的见解。