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

Consistency strategy for distributed CAx model storage

作　　者：吴松[1] 肖田元[1] 范文慧[1] 孙宏波[1] 

机构地区：[1]清华大学自动化系国家CIMS工程技术研究中心,北京100084

出　　处：《计算机集成制造系统》2010年第4期731-737,共7页Computer Integrated Manufacturing Systems

基　　金：国家863计划资助项目(2006AA04Z160)~~

摘　　要：现有分布式存储环境在维护主、副本的一致性时,无法避免冗余的副本建立或更新,在存储较大且无法对副本进行局部更新的CAx模型时,主、副节点之间的网络带宽浪费严重,为解决该问题,提出了一种一致性策略。该策略能够跟踪主本的变化,当且仅当副本被访问且与主本不相同时,副本才会被更新。基于有限自动机和自动机乘积,给出了策略的形式化定义。通过分析状态图,确定策略是完备的和安全的,并给出了策略的技术实现。最后,通过实例证明了该策略的有效性。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 able to be accessed.Based on Finite State Machine（FSM）and product of FSMs,the formal definition of the strategy was put forward.Analysis of state diagram showed that the strategy was complete and secure.The technical implementation of the strategy was also discussed.Finally,the validity of proposed strategy was proved by applications.

关 键 词：CAx模型 分布式存储 存储系统 一致性策略 网络流量 

分 类 号：TP14[自动化与计算机技术—控制理论与控制工程] TH166[自动化与计算机技术—控制科学与工程]