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

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

作　　者：李俊[1] 袁爱东[1] 高剑刚[1] 

机构地区：[1]江南计算技术研究所,江苏无锡214083

出　　处：《计算机科学与探索》2008年第5期545-552,共8页Journal of Frontiers of Computer Science and Technology

基　　金：the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z103~~

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

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]