[发明专利]一种无冲突复制集合类型支持子集操作的方法

权利要求书

1.一种无冲突复制集合(CRSet)类型支持子集操作的方法，其特征在于：将求CRSet子集间的交集操作、求CRSet子集间的并集操作和求CRSet子集间的差集操作转化为向CRSet中add或者remove集合元素的操作，从而实现CRSet子集间操作和其他读写操作的并发无冲突复制，CRSet包括两种写操作函数，add(S，E)函数和rem(S，E)函数，分别表示向集合S中增加或者删除集合E中的元素。

2.如权利要求1所述的无冲突复制集合类型支持子集操作的方法，其特征在于：CRSet子集间的交操作方法函数为inter(destination，[key...])，其功能为求解集合[key...]的交集，并存储在destination集合中；其中destination集合为[key…]的某一个集合或副本节点中不存在的集合；CRSet支持子集间交操作方法将inter(destination，[key...])函数转换为一个add(S，E)函数或一个rem(S，E)函数；若destination集合为[key...]的某一个集合，则inter(destination，[key...])函数可以转换为一个rem(S，E)函数，其中，S＝destination，E＝destination/(∩key)；若destination集合为副本节点中不存在的集合，则inter(destination，[key...])函数可以转换为一个add(S，E)函数，其中，S＝destination，E＝∩key。

3.如权利要求1所述的无冲突复制集合类型支持子集操作的方法，其特征在于：CRSet子集间的并操作方法函数为union(destination，[key...])，其功能为求解多个集合[key...]并集，并存储在destination集合中；其中destination集合为[key...]的某一个集合或副本节点中不存在的集合；CRSet支持子集间并操作方法将union(destination，[key...])函数转换为一个add(S，E)函数，其中，S＝destination，若destination集合为[key...]的某一个集合，则E＝(U key)/destination；若destination集合为副本节点中不存在的集合，则E＝(U key)。

4.如权利要求1所述的无冲突复制集合类型支持子集操作的方法，其特征在于：CRSet子集间的差操作方法函数为diff(destination，key1，[key...])，其功能为求解集合key1和[key...]的差集，并存储在destination集合中，其中destination集合为[key...]的某一个集合或副本节点中不存在的集合；

CRSet支持子集间并操作方法将diff(destination，key1，[key...])函数转换为一个add(S，E)函数或一个rem(S，E)函数；若destination＝key1，则diff(destination，key1，[key...])函数可以转换为一个rem(S，E)函数，其中，S＝destination，E＝U key；若destination集合为副本节点中不存在的集合，则diff(destination，key1，[key...])函数可以转换为一个add(S，E)函数，其中，S＝destination，E＝key1/(U key)。

5.如权利要求1所述的无冲突复制集合类型支持子集操作的方法，其特征在于：用于CRSet数据结构中的OR-Set和PN-Set。