基于伪临界值的Cache一致性协议验证方法

摘要：

针对参数化Cache一致性协议状态空间爆炸问题,本文提出共享集合伪临界值(pseudo-cutoff)的概念,有效优化了参数化目录Cache协议状态空间,并提出了解决小概率的大共享度事件的方法。实验数据表明,基于伪临界值的协议模型优化方法,能够有效缩小参数化Cache协议的状态空间,加快验证速度,提高验证大规模Cache协议的能力.

关键词： 模型检验 Cache一致性协议 参数化验证 多处理器系统

作者: 屈婉霞 谭坚 郭阳 庞征斌 杨晓东

作者单位: 国防科学技术大学 计算机学院 湖南 长沙 410073

会议类型: 国内会议

会议名称: 全国第15届计算机辅助设计与图形学学术会议

会议地点: 大连

会议语种:中文

页码: 702-706

在线出版日期: 2008-07-22（万方平台首次上网日期，不代表论文的发表时间）