| 模型检测MESIF Cache一致性协议 |
| 其他题名 | model checking mesif cache coherence protocol
|
| 吕正; 陈昊; 陈峰; 吕毅
|
| 2010
|
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331
|
| 卷号 | 46期号:17页码:66-68,152 |
| 摘要 | 在处理器从单核向多核演进的过程中,为了获得更好的性能和可扩展性,适用于多核处理器系统的Cache一致性协议变得越来越复杂。Cache一致性协议的验证一直是模型检测在工业界主要应用之一,被工业界和学术界关注。相对传统方法而言,微结构级的模型检测能够描述和验证更多的协议细节。利用NuSMV工具对Intel公司的MESIF Cache一致性协议进行模型检测在微结构层次上进行了建模,并对该协议进行模型检测,试验结果证明了此方法的有效性。 |
| 关键词 | 模型检测
Cache一致性协议
形式验证model Checking
Cache Coherence Pmtocol
Fomal Verification
|
| 部门归属 | 西北大学信息科学与技术学院;中国劳动关系学院;中国科学院软件研究所;
|
| 学科领域 | Computer Science
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/10165
|
| 专题 | 天基综合信息系统全国重点实验室
|
推荐引用方式
GB/T 7714 |
吕正,陈昊,陈峰,等. 模型检测MESIF Cache一致性协议[J]. 计算机工程与应用,2010,46(17):66-68,152.
|
| APA |
吕正,陈昊,陈峰,&吕毅.(2010).模型检测MESIF Cache一致性协议.计算机工程与应用,46(17),66-68,152.
|
| MLA |
吕正,et al."模型检测MESIF Cache一致性协议".计算机工程与应用 46.17(2010):66-68,152.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论