具有检查点的恢复技术