中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Computer Science (provided by Thomson Reuters)
Title:
MOTEC:一个存储一致性模型验证工具
Alternative Title: motec:a validation tool for memory consistency model
Author: 吕正 ; 陈昊 ; 陈峰 ; 吕毅
Keyword: multicore processor ; memory consistency model ; formal verification ; dynamic validation ; memory system ; validation tool
Source: 计算机工程
Issued Date: 2012
Volume: 38, Issue:11, Pages:242-246
Indexed Type: cnki,cscd,wanfang
Department: 西北大学信息科学与技术学院;中国科学院软件研究所;中国劳动关系学院;
Abstract: 由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。
English 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.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/14700
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
MOTEC一个存储一致性模型验证工具.pdf(400KB)----限制开放 联系获取全文

Recommended Citation:
吕正,陈昊,陈峰,等. MOTEC:一个存储一致性模型验证工具[J]. 计算机工程,2012-01-01,38(11):242-246.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[吕正]'s Articles
[陈昊]'s Articles
[陈峰]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[吕正]‘s Articles
[陈昊]‘s Articles
[陈峰]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace