| 一种基于广播的cache一致性协议的设计和验证 |
| |
| 引用本文： | 李俊,袁爱东,高剑刚.一种基于广播的cache一致性协议的设计和验证[J].计算机科学与探索,2008,2(5):545-552. |
| |
| 作者姓名： | 李俊 袁爱东 高剑刚 |
| |
| 作者单位： | 江南计算技术研究所,江苏无锡,214083 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 在全互联的网络结构下,提出了一种基于广播的cache一致性协议的详细设计,使请求传输不再像目录协议中的那样,经过第三方中转,而是直接发给所有节点,由最新拥有副本者给出响应。对协议进行了分析证明,并建立了模型,通过模型检测工具NuSMV验证了协议的正确性。
|
| 关 键 词： | cache一致性协议 广播 NuSMV验证 |
| 修稿时间： | |
The design and verification of a broadcast-based cache coherence protocol |
| |
| LI Jun,YUAN Aidong,GAO Jiangang.The design and verification of a broadcast-based cache coherence protocol[J].Journal of Frontier of Computer Science and Technology,2008,2(5):545-552. |
| |
| Authors: | LI Jun YUAN Aidong GAO Jiangang |
| |
| Affiliation: | Jiangnan Institute of Computing Technology， Wuxi， Jiangsu 214083， China |
| |
| 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. |
| |
| Keywords: | cache coherence protocol broadcast NuSMV verification |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
