model checking data consistency for cache coherence protocols | |
Pan Hong ; Lin Huimin ; Lv Yi | |
刊名 | Springer New York LLC |
2006 | |
卷号 | 21期号:5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC页码:765-775 |
关键词 | concurrent systems cache coherence protocols value-passing symbolic transition graphs model checking VERIFICATION |
通讯作者 | Pan, H (通讯作者), Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China |
收录类别 | EI,SCI |
WOS记录号 | WOS:000240962200014 |
公开日期 | 2010-08-11 |
附注 | A method for automatic verification of cache coherence protocols is presented, in which cache coherence protocols are modeled as concurrent value-passing processes, and control and data consistency requirement are described as formulas in first-order p-calculus. A model checker is employed to check if the protocol under investigation satisfies the required properties. Using this method a data consistency error has been revealed in a well-known cache coherence protocol. The error has been corrected, and the revised protocol has been shown free from data consistency error for any data domain size, by appealing to data independence technique. |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/3202] |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | Pan Hong,Lin Huimin,Lv Yi. model checking data consistency for cache coherence protocols[J]. Springer New York LLC,2006,21(5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC):765-775. |
APA | Pan Hong,Lin Huimin,&Lv Yi.(2006).model checking data consistency for cache coherence protocols.Springer New York LLC,21(5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC),765-775. |
MLA | Pan Hong,et al."model checking data consistency for cache coherence protocols".Springer New York LLC 21.5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC(2006):765-775. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论