基于下行更新的语义缓存一致性维护机制论文.pdfVIP

第4l卷增刊 计算机研究与发展 v01．41，Suppl 2004年10月 Oct．2004 OFCOMPUTERRESEARCHANDDEVEI上)PM旺NT JOURNAL 基于下行更新的语义缓存一致性维护机制 章 陶1万海2郝小卫1李磊1 1(中山大学软件研究所广州510275) 2(中山大学信息科学与技术学院广州510275) (zhangraometeor@tcIlla．cona) 摘要一致性维护机制是语义缓存需要解决的一项关键技术，但现有的一致性维护机制存在一定的局限性．为了克服 这些缺陷，首先形式化地描述了语义缓存模型，通过对语义缓存中RS无关性的分析和证明，提出了基于下行更新的一 致性维护机制，并给出了维护数据一致和语义一致的算法．理论证明保证了该一致性维护机制的正确性和有效性．模拟 实验的性能比较也表明该一致性维护机制在加快维护速度和减少网络开销方面要明显优于复制控制法 关键词语义缓存；一致性维护；数据一致性；语义一致性 中图法分类号TP311．13 Cache OnDownwards MaintenanceMechanismofSemanticBased Consistency Updating I．ILeil ZHANGTa01，WANHal2，HAOXiao—Weil，and Yan一”2 1(SoftwareResearchInstituteofSun Unioersity，Guan镕-zJmu510275) Scienceand Yah—sen 510275) 2(InformationTechnologyCollege，SunUniversity，Guangzlwu havesome Abstract maintenanceisa insemantic methclcls Consistency keytechnology cache．Existing of is limitations．Toovereol-fletheselimitations，anu：xtelsemanticcache descrihed．By formaRy analyzing and the ofRSinsemanticcache，the maintenancemechanismbasedon provingindependence consistency downwardsis thedetail tomaintainthedata andsemantic updatingproposed，andalgorithm consistency is thecorrectnessand ofthismechanism．The consistencygiven．Formalprovingguarantees validity in simulation indicatethe ofthismechanismin the experiment accelerating performances superiority ma