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

• 作者: 李俊 袁爱东 高剑刚
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: cache一致性协议 广播 NuSMV验证
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 学术研究
• 页码范围: 545-552
• 页数: 8页
• 分类号: TP393
• 字数: 5245字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2008.05.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李俊		3	3	1.0	1.0
2	袁爱东		6	9	2.0	3.0
3	高剑刚		15	55	3.0	7.0