一致性算法之四 时间戳和向量图

               

其实向量时钟和时间戳策略本质上是一样的。

时间戳策略

摘自《大数据挑战与NoSQL数据库技术》 2.4.3 时间戳策略

在关系数据库中有广泛的应用，该策略主要用于关系数据库日志系统中记录事务操作，以及数据恢复时的Undo/Redo等操作。在并行系统中，时间戳策略有更加广泛的应用。从较高的层次来说，时间戳策略可用于SNA架构或并行架构系统中的时间、数据的同步。

        在并行数据存储系统或并行数据库中，由于数据时分散存储在不同的节点上的，那么对于不同节点上的数据如何区分它们的版本信息将成为比较繁琐的事情，该问题将涉及到不同节点之间的同步问题。若使用时间戳策略将能够很好地缓解这一境况，例如，我们可以为每一份或一组数据附加一个时间戳标记。在进行数据版本比较或数据同步的时候只需要比较其时间戳就可以区分他们之间的版本。但是分布式系统中不同节点之间的物理时钟可能会有偏差，这样就可能导致交完更新的数据其时间戳却比较晚。因此我们设置一个全局时钟来进行时间同步。当一份数据更新之后，该数据所在节点向全局时钟请求一个时间戳。那么，此时新的问题将出现：1）该全局时钟同步开销过大，影响系统效率；2）该全局时钟出现宕机，整个系统将无法工作。因此，该系统时钟将成为系统效率和可用性的瓶颈。

        使用时间戳的策略将能够很好地解决这一问题。时间戳策略不依赖于任何单个的机器，也不依赖于物理是综合能够。该时间戳为逻辑上的时钟，并且通过时间戳版本的更新可以在系统中生成一个全局有序的逻辑关系。下面我们将简单介绍该策略的核心思想。

1  时间戳

        时间戳最早用于分布式系统中进程之间的控制，用于确定分布式系统中事件的先后关系，可用于协调分布式系统中的资源控制。

我们假设发送或接受消息是进程中的一个事件，下面我们来定义分布式系统事件集中的先后关系，用“→”符号来表示，例如：若事件a发生在事件b之间，那么有a→b。

该关系需要满足下列三个条件：

1) 如果事件a和事件b是同一个进程中的事件，并且a在b之前发生，那么有a→b；

2) 如果事件a是某消息发送方进程中的事件，事件b是该消息接收方进程中接收该消息的事件，那么有a→b；

3) 对于事件a、事件b和事件c,如果有a→b和b→c，那么a→c。

如果两个不同的事件a和事件b，既不能得出a→b也不能得出b→a，那么有事件a和事件b同时发生。

如图1所示，下面我们通过该图说明系统中可能存在的事件先后关系。

图1：分布式系统多进程通信

 

在图1中，纵向代表事件轴，虚线表示进程之间的消息通信。在该模型中，如果存在着一个从a到b的时间或消息的先后关系，那么有a→b。

例1：在同一进程P中，事件p₂发生在事件p₁之后，因此有p₁→p₂。

例2：对于事件q₁和时间p₃，由于存在从q₁到p₂的消息传递，因此有q₁→p₂，同时在同一进程P中，我们知道p₂→p₃，因此根据该模型，有q₁→p₃。

例3：对于事件p₃和事件q₃，在逻辑上，我们不能确定p₃是否在q₃之前发生（只能得出p₃在q₁之前发生），也不能确定q₃是否在p₃之前发生（只能得出）q