首页> 中文期刊> 《计算机科学与探索》 >一种基于广播的cache一致性协议的设计和验证

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机科学与探索》 |2008年第5期|545-552|共8页
作者
李俊; 袁爱东; 高剑刚;
展开▼
作者单位

江南计算技术研究所;

江苏无锡;

214083;

江南计算技术研究所;

江苏无锡;

214083;

江南计算技术研究所;

江苏无锡;

214083;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
cache一致性协议; 广播; NuSMV验证;

相似文献

中文文献
外文文献
专利

1. 一种带偏置的基于相关性分析的Cache一致性协议验证方法 [J] . 夏竟 ,徐炜遐 ,张俊 . 计算机工程与科学 . 2009,第0z1期
2. 一种Cache一致性协议验证中覆盖率驱动的随机验证方法 [J] . 李拓 ,王恩东 ,胡雷均 . 计算机应用与软件 . 2011,第011期
3. 一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现 [J] . 艾阳阳 ,罗莉 ,杨庆娜 . 计算机工程与科学 . 2017,第008期
4. 基于SystemC的Cache一致性协议描述与验证 [J] . 张娅 . 数字技术与应用 . 2013,第005期
5. 基于SystemC的Cache一致性协议描述与验证 [J] . 张娅 . 数字技术与应用 . 2013,第005期
6. 一种带偏置的基于相关性分析的Cache一致性协议验证方法 [C] . 夏竟 ,徐炜遐 ,张俊 . 2009年全国高性能计算学术年会 . 2009
7. 众核系统动态分区Cache一致性协议与分区内负载感知广播机制研究 [A] . 刘旭 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号