分布式快照：Chandy-Lamport 协议 (blog.fponzi.me)

本文回顾了Chandy-Lamport分布式快照协议，该协议用于记录分布式系统中程序的全局状态。文章解释了在缺乏全局时钟的情况下获取一致性快照的挑战，并详细介绍了该协议的工作原理，包括标记消息的使用和快照收集过程。此外，文章还列举了实际系统中使用该协议的例子，例如Hazelcast Jet和Apache Flink，并提供了一个使用TLA+规范语言编写的协议规范。