知识卡片
进程对靠检查点同步把容错从硬件下沉到进程级别
内容
除整机层面的双硬件冗余，Guardian还把容错做到进程级：每个关键进程以主备一对形式运行，主进程处理请求同时用checkpoint机制定期把必要状态同步给备份；主进程崩溃时备份从上一检查点接着执行而非从头重启。这把容错从硬件双份扩展成任何关键角色都配影子的细粒度模式，代价是程序员须自己判断何时同步哪些数据。
参考来源
- 位置：《架构之美》第8章《Guardian：一个容错操作系统环境》8.8.1节《回顾一下进程对》（源文件：程序之美系列套装（6册）团队之美、项目管理之美、架构之美、数据之美、测试之美、安全之美/_epub-src/OEBPS/Text/part0180.xhtml）
- 结论依据：原文明确"所有进程对都以一个主进程和一个备份进程的方式运行。主进程进行处理，同时备份进程处于'热备份'状态。主进程时常通过一个名为checkpointing的进程更新备份进程的内存映像。如果主进程出故障或主动放弃控制，备份进程会从最后的检查点开始继续"。
- 原始内容：所有进程对都以一个主进程和一个备份进程的方式运行。主进程进行处理，同时备份进程处于"热备份"状态。主进程时常通过一个名为checkpointing的进程更新备份进程的内存映像。