fast verification of memory consistency for chip multi-processor

ISCAS OpenIR

	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
会议录名称	Proceedings - 2011 7th International Conference on Computational Intelligence and Security, CIS 2011
页码	1497-1502
会议日期	December 3, 2011 - December 4, 2011
会议地点	Sanya, Hainan, China
收录类别	EI
ISBN	9780769545844
部门归属	(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
摘要	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.
关键词	Algorithms Artificial Intelligence Computational Complexity Program Processors Real Time Systems Software Testing
主办者	Xidian University; HIC; Beijing Normal University; Guangdong University of Technology
语种	英语
内容类型	会议论文
URI标识	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:1497-1502.