分布式计算系统包含了没有共同的内存的，通过消息传递通道彼此异步通信的，在空间上分隔的进程。
每一个分布式组件有它自己的本地状态，其表现为本地内存以及活动记录。通道的状态表现为通过通道发送和接收的消息。
分布式系统的全局状态是所有进程和通道的本地状态的集合。
记录分布式系统的全局状态是一个重要的范型，我们可以发现其在几种分布式系统设计中的应用，比如：
1）死锁检测
2）终止检测
3）错误恢复
快照算法：
1）FIFO通道
Chandy-Lamport 算法：
2）非FIFO通道
本文介绍了分布式计算系统的基本概念，包括其组成结构及全局状态的定义，并探讨了快照算法在死锁检测、终止检测及错误恢复等方面的应用。文中详细解释了Chandy-Lamport算法在FIFO通道中的运用。
扫一扫
1481
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
