10.1.3 检查点算法