检查点是分布式系统与容错计算中的经典概念，指在程序执行特定时刻将内存中的关键状态序列化写入可靠存储，形成可回溯快照，崩溃后可从最近有效检查点恢复。