SFT:一个具有较短冻结时间的一致检查点算法

摘要

介绍了一个基于消息记录的一致检查点算法--SFT算法.SFT算法能够实现分布式系统的容错.该算法具有无多米诺效应、冻结时间短、开销小和重启动算法简单的优点.SFT的IPC机制基于PVM,能够保证消息的有序到达,并且其消息的发送和接收操作都是原子操作.另外,IPC机制中进程的id值编码与所在机器无关.这样一个进程即使从故障机器迁移到其它机器上运行仍可与其它进程继续通信.为提高检查点操作的并行性,SFT算法在进行检查点操作时不但避免使用全局同步操作,而且使用了主存算法.另外,SFT算法中的控制消息Munblock可以使一个进程在任何时刻都能尽快地响应检查点事件.SFT算法的冻结时间小于0.03s,而且其控制消息的数目仅为O(n).