一种无文件恢复的检查点算法

摘要

在容错计算中,检查点技术的使用可以使进程在失效后恢复到一个最近状态,从而有效控制计算损失.考虑进程在计算过程中可能对一些外部资源进行操作, 如对文件进行更新,进程恢复时若不进行外部资源恢复,那么进程所见的外部资源状态可能与实际不一致.若允许外部资源恢复将会带来可观的已获取信息丢失,同样是不希望的.为此我们提出了一个扩展的AFS文件语义,在该语义下检查点设置依赖于文件状态,但在进程恢复过程中无需进行文件卷回.这一方面减少了存储信息的丢失,另一方面可提供快速的恢复.