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