分布式存储环境下CAx模型的一致性策略

摘要

现有分布式存储环境在维护主、副本的一致性时,无法避免冗余的副本建立或更新,在存储较大且无法对副本进行局部更新的CAx模型时,主、副节点之间的网络带宽浪费严霞,为解决该问题,提出了一种一致性策略.该策略能够跟踪主本的变化,当且仅当副本被访问且与主本不相同时,副本才会被更新.基于有限自动机和自动机乘积,给出了策略的形式化定义.通过分析状态图,确定策略是完备的和安伞的,并给出了策略的技术实现.最后,通过实例证明了该策略的有效性.