Institutional Repository
| fast verification of memory consistency for chip multi-processor | |
| Zheng Lv; Chen Hao; Chen Feng; Yi Lv | |
| 2011 | |
| Conference Name | 2011 7th International Conference on Computational Intelligence and Security, CIS 2011 |
| Source | Proceedings - 2011 7th International Conference on Computational Intelligence and Security, CIS 2011 |
| Pages | 1497-1502 |
| Conference Date | December 3, 2011 - December 4, 2011 |
| Conference Place | Sanya, Hainan, China |
| Indexed Type | EI |
| ISBN | 9780769545844 |
| Department | (1) School of Information Science and Technology Northwest University China; (2) Institute of Software Chinese Academy of Sciences China; (3) China Institute of Industrial Relations China; (4) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China |
| English Abstract | 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. |
| Keyword | Algorithms Artificial Intelligence Computational Complexity Program Processors Real Time Systems Software Testing |
| Sponsorship | Xidian University; HIC; Beijing Normal University; Guangdong University of Technology |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16296 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Zheng Lv,Chen Hao,Chen Feng,et al. fast verification of memory consistency for chip multi-processor[C],2011:1497-1502. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment