MOTEC:一个存储一致性模型验证工具

ISCAS OpenIR

	MOTEC:一个存储一致性模型验证工具
Alternative Title	motec:a validation tool for memory consistency model
	吕正; 陈昊; 陈峰; 吕毅
	2012
Source	计算机工程
ISSN	1000-3428
Volume	38 Issue:11 Pages:242-246
English Abstract	由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。
Indexed Type	cnki,cscd,wanfang
Abstract	For the purpose of verification of the memory consistency model after tapeout stage,this paper proposes a low time complexity algorithm by exploring the key time order information which is implicitly derived based on the values of performance counters being scanned periodically.The MOTEC tool which implements this algorithm is general enough to support many multicore processor systems with trivial modifications.The complexity analysis shows that the time complexity of MOTEC is only,thus MOTEC can verify the multicore program of millions of lines.
Keyword	Multicore Processor Memory Consistency Model Formal Verification Dynamic Validation Memory System Validation Tool
Department	西北大学信息科学与技术学院;中国科学院软件研究所;中国劳动关系学院;
Subject	Computer Science (Provided By Thomson Reuters)
Language	中文
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/14700
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	吕正,陈昊,陈峰,等. MOTEC:一个存储一致性模型验证工具[J]. 计算机工程,2012,38(11):242-246.
APA	吕正,陈昊,陈峰,&吕毅.(2012).MOTEC:一个存储一致性模型验证工具.计算机工程,38(11),242-246.
MLA	吕正,et al."MOTEC:一个存储一致性模型验证工具".计算机工程 38.11(2012):242-246.

Files in This Item:
File Name/Size	DocType	Version	Access	License
MOTEC一个存储一致性模型验证工具.p（400KB）			开放获取	License	Application Full Text

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库