分布式系统时钟

Question

我读到了以下关于矢量时钟的内容：http://book.mixu.net/distsys/time.html

我一定漏掉了什么。由于网络延迟，是否总是存在"ack/nack"？如果节点B正在更新节点C，并且正在更新节点B的节点C消息正在传输中，则还必须进行确认。

Answer 1

不，ack/nack来自与矢量时钟不同的层。您可以使用ack/nack确认包已通过传输层(例如TCP)正确传输/接收。

向量时钟位于应用层。它们确保您可以通过happened before逻辑对消息进行排序。例如，这与存储和复制/同步数据时的不同场景相关。

通常，在分布式算法中，您可以异步发送(因此也会接收)消息，以划分工作或更新结果，而不需要任何直接答复。这种异步通信降低了网络开销，提高了吞吐量以及节点可以通信的速度。

假设两个流程(人员)在同一数据集(文档)上工作，并相互更新。进程A和B都从0开始，A的向量时钟是( 0，0)，B的向量时钟也是(0,0) -每个条目都是(A，B)

1. A进行更改并将更新发送到B
   • A：(1，0)；B：(0，

​

1. B进行更改并将更新发送到A
   • A：(1，0)；B：(0，

​

1. A做了另一个更改，并将更新发送到B
   • A：(2，0)；B：(0，

​

1. A接收B的更新并在矢量时钟(0，1)上看到。
   • A现在知道B尚未将A的任何更新应用于文档，并且知道哪些数据需要合并
   • A：(2，1)；B：(0，yet

​

合并消息B依次接收A的两条消息，需要执行类似的

1. A：(2，1)；B：(2，

​

现在，如果A需要等待更改，直到B发送确认，然后再发送另一条消息，这将浪费大量时间。最后，无论如何都会有冲突，因为它们同时发送更新，并且需要合并它们，或者至少有一个进程需要撤销它的更改。