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

摘要

本文首先形式化地描述了语义缓存模型,通过对语义缓存中RS无关性的分析和证明,提出了基于下行更新的一致性维护机制,并给出了维护数据一致和语义一致的算法，理论证明，保证了该一致性维护机制的正确性和有效性，模拟实验的性能比较也表明该一致性维护机制在加快维护速度和减少网络开销方面要明显优于复制控制法。