复制冲突文档的生成原理

复制冲突文档的生成原理

前些天在讨论 Domino 环境中各种 ID 时，提到了一些关于如何处理复制冲突的内容，由于其原理比较复杂，当时就没有展开讨论。今天有读者询问其中的细节，所以在这篇文章中我们就仔细研究一下这个话题。

上一次说到在复制过程中如果发现两个副本关系的文档其 OID 不同，那么说明这两个文档处于不同步的状态。首先分析两个文档的 $Revisions 域（此域记录了文档历次修改的时间），判断是否存在冲突：

• 如果两个域值除了某一个文档多出来一些值以外，其余部分完全相同，如：
  

  A：时间1，时间2，时间3
  B：时间1，时间2，时间3，时间4，时间5

  则表示 B 文档在 A 文档的基础上额外多修改了两次，不存在冲突

• 如果两个域值最初相同，然后各自出现了不同的部分，如：
  

  A：时间1，时间2，时间3，时间4
  B：时间1，时间2，时间3，时间5

  则表示两个文档在不同的时间分别修改过，存在冲突

如果存在冲突，下一步检查目标文档（就是这次复制过程中会被修改的那个）的 $ConflictAction 域，如果其值为“1”表示允许合并复制冲突，开始分析两个文档各个域值，以判断能否进行合并：

• 首先通过 $Revisions 域和 Sequence Number 找出两个文档最后一致的版本，以下面数据为例：
  

  A $Revisions：时间1，时间2，时间3，时间4
  A SN：5
  B $Revisions：时间1，时间2，时间3，时间5
  B SN：5

  两个文档在时间3这一版本是一致的，从 SN = 5 往回反推可以得到一致版本为 4

• 每个文档域也有一个 SN 属性，它记录了此域最后一次修改时文档的 SN。用文档域的 SN 与之前得到的一致版本号 4 进行比对，就可以得到在一致版本之后修改的域。
• 如果两个文档修改过的域有重合的部分，说明在不同的副本中对相同的域同时做了修改，无法合并冲突；反之则可以合并

如果 $ConflictAction 域值不是“1”或者属于上一段所述无法合并冲突的情况，则必须创建冲突文档。下一步就是通过 Sequence Number 和 Sequence Datetime 来分析哪个文档作为主文档（winner），哪个文档作为冲突文档（loser）：

• SN 比较大的（在一致版本之后编辑次数较多的）文档是 winner
• 如果 SN 相同，SD 比较大的（最后编辑的）文档是 winner

至此，一个崭新的复制冲突文档诞生了。