【作者】 章陶； 万海； 郝小卫； 李磊；

【Author】 ZHANG Tao~1,WAN Hai~2,HAO Xiao-Wei~1,and LI Lei~1 1(Software Research Institute of Sun Yan-sen University,Guangzhou 510275) 2(Information Science and Technology College,Sun Yan-sen University,Guangzhou 510275)

【机构】 中山大学软件研究所； 中山大学信息科学与技术学院；

【摘要】 一致性维护机制是语义缓存需要解决的一项关键技术,但现有的一致性维护机制存在一定的局限性.为了克服这些缺陷,首先形式化地描述了语义缓存模型,通过对语义缓存中RS无关性的分析和证明,提出了基于下行更新的一致性维护机制,并给出了维护数据一致和语义一致的算法.理论证明保证了该一致性维护机制的正确性和有效性.模拟实验的性能比较也表明该一致性维护机制在加快维护速度和减少网络开销方面要明显优于复制控制法.更多还原

【Abstract】 Consistency maintenance is a key technology in semantic cache.Existing methods have some limitations.To overcome these limitations,a model of semantic cache is formally described.By analyzing and proving the independence of RS in semantic cache,the consistency maintenance mechanism based on downwards updating is proposed,and the detail algorithm to maintain the data consistency and semantic consistency is given.Formal proving guarantees the correctness and validity of this mechanism.The performances in the simulation experiment indicate the superiority of this mechanism in accelerating maintenance and reducing network consumption over the replicating control mechanism.更多还原