Institutional Repository
| 模型检测MESIF Cache一致性协议 | |
| Alternative Title | model checking mesif cache coherence protocol |
| 吕正; 陈昊; 陈峰; 吕毅 | |
| 2010 | |
| Source | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| Volume | 46Issue:17Pages:66-68,152 |
| English Abstract | 在处理器从单核向多核演进的过程中,为了获得更好的性能和可扩展性,适用于多核处理器系统的Cache一致性协议变得越来越复杂。Cache一致性协议的验证一直是模型检测在工业界主要应用之一,被工业界和学术界关注。相对传统方法而言,微结构级的模型检测能够描述和验证更多的协议细节。利用NuSMV工具对Intel公司的MESIF Cache一致性协议进行模型检测在微结构层次上进行了建模,并对该协议进行模型检测,试验结果证明了此方法的有效性。 |
| Keyword | 模型检测 Cache一致性协议 形式验证model Checking Cache Coherence Pmtocol Fomal Verification |
| Department | 西北大学信息科学与技术学院;中国劳动关系学院;中国科学院软件研究所; |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10165 |
| Collection | 天基综合信息系统全国重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 模型检测MESIFCache一致性协议.（153KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment