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

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