[发明专利]一种大规模协同环境下的因果并发检测方法

摘要

本发明属于协同实时组编辑技术领域，具体是一种大规模协同环境下的因果并发检测方法。包括：定义了一种属于协同实时组编辑技术领域的逻辑时间戳，称之为直接因果先序向量时间戳；提出了基于该时间戳解决实时组编辑活动中因果并发检测问题的方法。该方法包括如下三个步骤：判断一个远程操作是否因果就绪、找出与当前远程操作并发的所有历史操作、判断任意两个历史操作间的因果并发关系。本发明可供用户在任意规模的实时组编辑环境中使用，其执行性能与协同参与者的活跃程度，与协同环境的规模、协同参与者的总数无关，所以特别适合并发程度不高的大规模协同环境下的实时组编辑。

主权项

1.一种大规模协同环境下的因果并发检测方法，其特征在于具体步骤如下：1)判断一个远程操作是否因果就绪，其步骤为：对于站点S上一个尚未执行的远程操作Or，(1)找出所有它的直接因果依赖于的那些操作；(2)对于每一个这样的操作，判断是否已经在站点S上得到了执行，操作Or是因果就绪的，当且仅当对于DCV(Or)中的每一个分量(Si，Ni)都有SVs[Si]＞Ni，其中，i为协同站点编号；SVs站点S上的状态向量；2)找出与当前远程操作并发的所有历史操作，采用并发历史操作查找算法，找出与当前远程操作并发的所有历史操作，其步骤为：(1)该算法的输入为待同步的因果就绪的远程操作，输出为历史记录中与该操作并发的操作组成的集合；设candidates是一个操作集合，它初始包含DCH中的所有操作，从这些操作开始，以因果顺序相反的顺序检查历史操作缓存中的历史操作，这里，candidates为候选并发操作集；(2)对candidates中的每个操作OH，检查它是否直接因果先序于Or，如果OHOr，则检查OH是否是DCH中的元素，如果是，就将它从DCH中移除，同时根据DSC的定义调整DSC记录，将DSC[OH]的值增1；(3)如果则将OH加入同时调整数据结构，算法对每一个满足OxOH的操作Ox调整C^RSuccessor[Ox]:=C^RSuccessor[Ox]+1,]]>其间可以发现一些新的满足条件的历史操作Ot，对于一个历史操作O’，每发现一个直接因果依赖于操作O’且与操作Or并发的操作，就把加1，如果等于DSC[O’]，就把这些操作都被放入candidates；3)判断任意两个历史操作间的因果并发关系，(1)构造因果关系缓存过程：以一个操作O_R的历史并发操作集为输入，对它做压缩，删除冗余，并返回压缩后的版本算法中，函数SITE(O)的返回值是操作O的生成站点，函数GEN_SEQ(O)的返回值是操作O的生成序号；具体步骤如下：1)算法遍历史并发操作集中的每一个操作O_H；2)如果为空集，意味着操作O_H是中遍历到的第一个由站点SITE(O_H)生成的与操作O_R并发的操作，则用O_H的生成序号初始化3)如果不为空，则比较GEN_SEQ(O_H)与用MIN(GEN_SEQ(O_H)，更新(2)任意历史操作间因果关系判断方法的步骤为：①比较它们的执行序号；②假定本地站点上O_a在O_b之前被执行，于是只可能有O_a→O_b或O_a||O_b；如果O_b是本地操作，那么必然有O_a→O_b：③如果O_b是远程操作，则检查因果关系缓存，如果或CC^b[SITE(Oa)]>GEN_SEQ(Oa),]]>则说明O_a→O_b，不然，可以断定O_a||O_b；其中，相关定义如下：(1)直接因果先序关系()，给定两个任意的操作O_a和O_b，O_a直接因果先序于O_b，记为O_aO_b，当且仅当(1)O_a→O_b并且(2)不存在一个操作O_c，满足O_a→O_c且O_c→O_b；(2)直接因果先序向量时间戳，简称DCV，给定一个操作O，假设O₁，O₂，...，O_k是所有直接因果先序于O的操作，O₁是站点S₁上产生的第N₁个操作，O₂是站点S₂上产生的第N₂个操作，....，O_k是站点S_k上产生的第N_k个操作，定义操作O的直接因果先序向量时间戳为[(S₁，N₁)，(S₂，N₂)，...，(S_k，N_k)]，记为DCV(O)；(3)DCH为直接因果先序历史操作表；DSC为直接因果后继计数器，是一个二维映射表，它为每个历史操作O记录着HB中直接因果依赖于它的操作数目，记为DSC(O)：HB为历中操作表；是历史记录中所有有待同步的远程操作并发的操作组成的集合，初始置为空(NULL)，是一个以操作序列号为索引的索引表，对于每一个历史操作O，都初始为O。