论文部分内容阅读
在全互联的网络结构下，提出了一种基于广播的cache一致性协议的详细设计，使请求传输不再像目录协议中的那样，经过第三方中转，而是直接发给所有节点，由最新拥有副本者给出响应。对协议进行了分析证明，并建立了模型，通过模型检测工具NuSMV验证了协议的正确性。
一种基于广播的cache一致性协议的设计和验证
【摘 要】
：
在全互联的网络结构下，提出了一种基于广播的cache一致性协议的详细设计，使请求传输不再像目录协议中的那样，经过第三方中转，而是直接发给所有节点，由最新拥有副本者给出响应。对
【机 构】
：
江南计算技术研究所
【出 处】
：
计算机科学与探索
【发表日期】
：
2008年5期
【基金项目】
：
the National High-Teeh Research and Development Plan of China under Grant No.2007AA01Z103 （国家高技术研究发展计划（863））.
其他文献
信息时代的到来,使信息技术与人们日常生活的联系更为紧密。因此,越来越多的人开始关注信息技术的学习。高中信息技术课作为必修课,有助于学生掌握基本的信息处理技术。但在
我校实行自主合作教学模式,追求高效课堂,形式上已经准备就绪了,但是随之暴露了很多问题,学生面对面坐在一起,很新奇,也很兴奋,自然就会出现爱说小话,课堂纪律下降,追其根源
课堂教学要实现其目标性,就要有效设计过程,使过程能有效达到预期目标。过程完整有两种情况,其一是表象的完整性,再者就是过程的科学完整性。完整课堂具有商榷性。普遍的完整
＂焊工工艺与技能训练＂课程作为一门对学生实际技能培养要求比较高的学科,模块化学习能够满足该课程的需求。通过模块化学习,学生在学习该课程的过程中,在培养其动手能力和解决