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

权利要求书

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。