一种基于广播的cache一致性协议的设计和验证

摘要：

在全互联的网络结构下,提出了一种基于广播的cache一致性协议的详细设计,使请求传输不再像目录协议中的那样,经过第三方中转,而是直接发给所有节点,由最新拥有副本者给出响应.对协议进行了分析证明,并建立了模型,通过模型检测工具NuSMV验证了协议的正确性.

关键词：cache一致性协议、广播、NuSMV验证

所属期刊栏目：2

分类号：TP393(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2007AA012103

在线出版日期：2008-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：545-552