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

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

Consistency strategy for distributed CAx model storage

In maintaining the consistency between original data and their copies,existing distributed storage systems could not avoid redundant creation and update of copies.If the storage object was large size CAx model,network bandwidth was seriously wasted because it was often difficult to update locals of copies.To solve the problem,a kind of consistency strategy was presented.The changes of original data could be traced,and the copies different from the original data were updated if and only if when they were abl...