fast verification of memory consistency for chip multi-processor

CORC > 软件研究所 > 软件所图书馆 > 会议论文

	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.