%0 Journal Article %T 分布式存储环境下CAx模型的一致性策略 %A 吴松 %A 肖田元 %A 范文慧 %A 孙宏波 %J 计算机集成制造系统 %P 0-0 %D 2010 %X 现有分布式存储环境在维护主、副本的一致性时,无法避免冗余的副本建立或更新,在存储较大且无法对副本进行局部更新的CAx模型时,主、副节点之间的网络带宽浪费严重,为解决该问题,提出了一种一致性策略。该策略能够跟踪主本的变化,当且仅当副本被访问且与主本不相同时,副本才会被更新。基于有限自动机和自动机乘积,给出了策略的形式化定义。通过分析状态图,确定策略是完备的和安全的,并给出了策略的技术实现。最后,通过实例证明了该策略的有效性。 %K CAx模型 %K 分布式存储 %K 存储系统 %K 一致性策略 %U http://www.cims-journal.cn/CN/abstract/abstract2613.shtml