计算机科学与探索 ›› 2008, Vol. 2 ›› Issue (5): 545-552.DOI: 10.3778/j.issn.1673-9418.2008.05.010

• 学术研究 • 上一篇    下一篇

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

李 俊+,袁爱东,高剑刚   

  1. 江南计算技术研究所,江苏 无锡 214083
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-10-06 发布日期:2008-10-06
  • 通讯作者: 李 俊

The design and verification of a broadcast-based cache coherence protocol

LI Jun+, YUAN Aidong, GAO Jiangang   

  1. Jiangnan Institute of Computing Technology, Wuxi, Jiangsu 214083, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-10-06 Published:2008-10-06
  • Contact: LI Jun

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

关键词: cache一致性协议, 广播, NuSMV验证

Abstract: The detailed design of a broadcast-based cache coherence protocol in full mesh network structure is introduced. The requests are directly sent to all nodes rather than to the third part first in directory-based protocol. The node that latest gets the valid copy will answer the request. Analysis and verification is given, and also the model of the protocol. The correctness of the protocol is proved by the model checking tool NuSMV.

Key words: cache coherence protocol, broadcast, NuSMV verification