16、基于组的时间戳方案

基于组的时间戳方案

1. 基于代表的时间戳方案

与个体操作不同，团队操作无需多播到远程站点，因为除了新的时间戳外，所有信息在这些站点都已存在，只需将决策结果消息发送到这些站点即可。不过，应用于所选版本的团队操作在不同站点可能以不同顺序记录（对于并发操作），因此需要对其进行全序排序，以确保代表将其应用到主文档时能保证全局一致性。

当代表通过选择一个版本做出最终决策后，决策消息会被打上时间戳并多播到所有参与站点。在执行任何远程操作之前，代表站点的本地应用会根据定义 3 中的方案对团队操作重新打时间戳，就好像这些操作是由本地用户新生成的一样。同样，当远程站点收到并执行决策消息时，团队操作会在那里重新打时间戳并依次执行。它们的时间戳基于决策消息的时间戳，与接收站点的状态向量无关。

定义 6 ：团队操作的基于代表的时间戳方案：假设代表站点的标识符为 k，决策消息的时间戳为 SV0。全序排列的团队操作列表 [OT1, …, OTt, …, OTn] 的状态向量规定如下：
- 对于 t = 1, …, n；i = 1, …, N，且 i ≠ k（其中 N 是站点数量），有 SVt[k] := SV0[k] + t，SVt[i] := SV0[i]。

相应地，每个站点维护的虚拟时钟（状态向量）在执行团队操作时需要更新。需要注意的是，决策消息和团队操作的时间戳必须在代表站点原子性地执行，否则会出现全局不一致的时间戳结果，导致执行效果不一致。同样，决策消息和团队操作必须在每个站点原子性地执行。显然，通过上述方案，一个组意图在应用到主文档后会变成代表的个体意图。

下面是该过程的 mermaid 流程图：