分布式原理之四：全局状态和快照记录算法

分布式计算系统包含了没有共同的内存的，通过消息传递通道彼此异步通信的，在空间上分隔的进程。

 

每一个分布式组件有它自己的本地状态，其表现为本地内存以及活动记录。通道的状态表现为通过通道发送和接收的消息。

 

分布式系统的全局状态是所有进程和通道的本地状态的集合。

 

记录分布式系统的全局状态是一个重要的范型，我们可以发现其在几种分布式系统设计中的应用，比如：

 

1）死锁检测

2）终止检测

3）错误恢复

 

快照算法：

 

1）FIFO通道

 

Chandy-Lamport 算法：

 

2）非FIFO通道