分布式计算系统包含了没有共同的内存的，通过消息传递通道彼此异步通信的，在空间上分隔的进程。
每一个分布式组件有它自己的本地状态，其表现为本地内存以及活动记录。通道的状态表现为通过通道发送和接收的消息。
分布式系统的全局状态是所有进程和通道的本地状态的集合。
记录分布式系统的全局状态是一个重要的范型，我们可以发现其在几种分布式系统设计中的应用，比如：
1）死锁检测
2）终止检测
3）错误恢复
快照算法：
1）FIFO通道
Chandy-Lamport 算法：
2）非FIFO通道
