fast verification of memory consistency for chip multi-processor
文献类型：会议论文
| 作者 | Zheng Lv ; Chen Hao ; Chen Feng ; Yi Lv |
| 出版日期 | 2011 |
| 会议名称 | 2011 7th International Conference on Computational Intelligence and Security, CIS 2011 |
| 会议日期 | December 3, 2011 - December 4, 2011 |
| 会议地点 | Sanya, Hainan, China |
| 关键词 | Algorithms Artificial intelligence Computational complexity Program processors Real time systems Software testing |
| 页码 | 1497-1502 |
| 中文摘要 | Verifying the execution of a test program against the memory consistency model is known to be NP-hard. Because of lacking extra observability, verifying the memory consistency model in post-silicon stage is even harder than in pre-silicon stage. In this paper, by identifying the pending windows of microprocessor and introducing the resultant time order restrictions, we propose a low time complexity algorithm for checking end-to-end correctness on real systems. Our MOTEC tool, which implements the above algorithm, has been successfully detected several injected bugs in a CMP emulation environment. It is also worth noting that MOTEC is general enough to support many CMP systems with trivial modifications. © 2011 IEEE. |
| 英文摘要 | Verifying the execution of a test program against the memory consistency model is known to be NP-hard. Because of lacking extra observability, verifying the memory consistency model in post-silicon stage is even harder than in pre-silicon stage. In this paper, by identifying the pending windows of microprocessor and introducing the resultant time order restrictions, we propose a low time complexity algorithm for checking end-to-end correctness on real systems. Our MOTEC tool, which implements the above algorithm, has been successfully detected several injected bugs in a CMP emulation environment. It is also worth noting that MOTEC is general enough to support many CMP systems with trivial modifications. © 2011 IEEE. |
| 收录类别 | EI |
| 会议主办者 | Xidian University; HIC; Beijing Normal University; Guangdong University of Technology |
| 会议录 | Proceedings - 2011 7th International Conference on Computational Intelligence and Security, CIS 2011
 |
| 语种 | 英语 |
| ISBN号 | 9780769545844 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16296]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Zheng Lv,Chen Hao,Chen Feng,et al. fast verification of memory consistency for chip multi-processor[C]. 见:2011 7th International Conference on Computational Intelligence and Security, CIS 2011. Sanya, Hainan, China. December 3, 2011 - December 4, 2011. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。