分布式计算——笔记（二）

分布式系统的时间

• 每台主机都有自己的时钟，根据自己的时钟打时间戳，与完美时钟都存在漂移。可以采用内部同步或者外部调整。
• 同步系统：已知时钟漂移率范围、消息传输延迟和进程每一步的执行时间。内部同步方法：将时间设为t+(max+min)/2。外部同步方法：Cristian方法：将时间设置为t+Tround/2，假设最小传输时间为min，则精度范围【±Tround/2-min】。Berkeley算法：选举产生一台master主机，周期性轮询并调整主机时间，同步精确度取决于主-从之间最大往返时间。
• 异步系统：与同步系统相反
• Leslie Lamport
  各种时钟？？？

分布式系统的状态

全局状态由局部状态集和消息通道状态集构成。局部状态是进程中全部变量的集合，消息通道状态是消息传输中的消息序列。
割集：一致的割集指的是对于它包含的某个事件，它也包含了这个事件前的所有事件。

• Chandy-Lamport快照算法
  记录一致的全局状态