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

doi:10.3778/j.issn.1673-9418.2008.05.010

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

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

李俊+,袁爱东,高剑刚

江南计算技术研究所，江苏无锡 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

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

摘要/Abstract

摘要： 在全互联的网络结构下，提出了一种基于广播的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

李俊+,袁爱东,高剑刚. 一种基于广播的cache一致性协议的设计和验证[J]. 计算机科学与探索, 2008, 2(5): 545-552.

LI Jun+, YUAN Aidong, GAO Jiangang. The design and verification of a broadcast-based cache coherence protocol[J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(5): 545-552.

[1]	庞滨，张茹，李茹. V-NDN中PBDA攻击的检测与缓解方法的研究[J]. 计算机科学与探索, 2019, 13(3): 429-436.
[2]	杨亚龙，嵩天，朱洪辰. 高效命名数据网卫星视频直播方法[J]. 计算机科学与探索, 2018, 12(1): 17-28.
[3]	赵鑫+,王晓东,周兴铭. 无线传感器网络中的广播认证协议[J]. 计算机科学与探索, 2008, 2(2): 113-122.

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

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

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics