检索结果-内蒙古大学图书馆

网络新媒体技术 2013年第1期2卷 29-37页

作者：陈明宇阮元黄永兵陈荔城崔泽汉陈明扬中国科学院计算技术研究所计算机体系结构国家重点实验室(筹) 北京100190 中国科学院研究生院北京100190

提出了一种基于异步的请求和应答消息的新型访存协议。相比于传统的同步总线式内存体系结构,可变粒度的访存提高了内存带宽的有效利用率,异步消息访问有利于内存容量的扩展。本文通过分析典型应用程序的访存行为评估了消息式内存可能带... 详细信息

提出了一种基于异步的请求和应答消息的新型访存协议。相比于传统的同步总线式内存体系结构,可变粒度的访存提高了内存带宽的有效利用率,异步消息访问有利于内存容量的扩展。本文通过分析典型应用程序的访存行为评估了消息式内存可能带来的性能提升,并探讨了实现消息式内存所面临的挑战。

关键词：消息式内存体系结构访存粒度

来源：评论

学校读者我要写书评

暂无评论

多核处理器片上网络的验证技术综述

多核处理器片上网络的验证技术综述

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：周君王天成李华伟李晓维中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

多核处理器的相对于复杂的单核处理器设计可以更有效地利用片上资源,有利于发掘应用中线程级并行性,已成为高性能微处理器的主流结构.多核处理器强大的整体计算能力的充分发挥需要依赖高效的通信架构提供合适的传输带宽和通信效率,片上... 详细信息

多核处理器的相对于复杂的单核处理器设计可以更有效地利用片上资源,有利于发掘应用中线程级并行性,已成为高性能微处理器的主流结构.多核处理器强大的整体计算能力的充分发挥需要依赖高效的通信架构提供合适的传输带宽和通信效率,片上网络的可升级性和可扩展性使之成为片上多核处理器内部通信的有效解决方案.然而,随着多核处理器设计复杂度不断上升,片上网络的验证需求和难度也不断提高.在片上网络的多向发展的背景下,针对学术界与工业界中多核处理器片上网络的相关验证方法展开调研、分析与探讨.

关键词：多核处理器片上网络验证技术系统设计

来源：评论

学校读者我要写书评

暂无评论

一种基于编码提高PCM使用寿命的方法

一种基于编码提高PCM使用寿命的方法

引用

第19届全国信息存储技术学术会议

作者：王亚楠陈荔城陈明宇中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

随着大数据时代的来临,大数据处理对内存容量的需求快速增长,而传统的DRAM内存容量增长速度无法满足现代计算机系统的需求,内存容量已经成为系统的瓶颈之一.PCM作为新型的内存材料,能够提供比DRAM更高的单位面积存储容量和更低的平均功... 详细信息

随着大数据时代的来临,大数据处理对内存容量的需求快速增长,而传统的DRAM内存容量增长速度无法满足现代计算机系统的需求,内存容量已经成为系统的瓶颈之一.PCM作为新型的内存材料,能够提供比DRAM更高的单位面积存储容量和更低的平均功耗,但是PCM也具有写寿命较短和写延迟较大的缺陷.本文提出了一种基于哈夫曼编码的内存数据存储技术，可有效降低PCM写操作更新位数，该技术可以用于PCM中改善PCM写次数有限的问题，提高PCM的使用寿命，降低PCM的写操作的功耗。实验结果表明，在面积开销约为1.5％的情况下，可减少平均50%的写操作更新位数，最高情况下可减少98%的写操作更新位数。

关键词：相变存储器使用寿命编码技术哈夫曼编码

来源：评论

学校读者我要写书评

暂无评论

基于路径约束求解的难达状态激励生成方法

基于路径约束求解的难达状态激励生成方法

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：周艳红王天成吕涛李华伟计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190 中国科学院大学北京100049 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190

半形式化验证方法结合了模拟方法和形式化方法的优点,避免了各自的缺点,是一种很有前景的验证方法.本文改进并实现了一种半形式化验证方法,目标是覆盖设计中的难达状态.首先,利用基于数据依赖图的抽象方法构建设计的抽象模型,在此模型... 详细信息

半形式化验证方法结合了模拟方法和形式化方法的优点,避免了各自的缺点,是一种很有前景的验证方法.本文改进并实现了一种半形式化验证方法,目标是覆盖设计中的难达状态.首先,利用基于数据依赖图的抽象方法构建设计的抽象模型,在此模型上运用形式化的前像计算获得抽象距离信息,用以指导模拟过程.其次,采用了基于路径约束求解的激励生成方法,这种方法混合了具体模拟和符号模拟技术,能够有效的产生输入向量,以一种较均衡的方式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,本文方法能够有效的验证设计中的难达状态.

关键词：集成电路半形式化验证路径约束求解激励生成

来源：评论

学校读者我要写书评

暂无评论

一种高效的多细胞分子动力学算法

引用

小型微型计算机系统 2013年第4期34卷 843-846页

作者：金明灿胡长军李建江李越韩载浩北京科技大学计算机与通信工程学院北京100083 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100083 平壤机械大学信息工程学院朝鲜平壤70050 朝鲜理科大学化学学院朝鲜平壤70050

多细胞分子动力学算法是分子动力学模拟中普遍使用的并行算法.因为利用不同作用路径的多细胞分子动力学算法的消息传递次数彼此不同,利用作用路径能够优化消息传递次数.优化消息传递次数是一种设计高效并行算法的方法.因此,本文研究十... 详细信息

多细胞分子动力学算法是分子动力学模拟中普遍使用的并行算法.因为利用不同作用路径的多细胞分子动力学算法的消息传递次数彼此不同,利用作用路径能够优化消息传递次数.优化消息传递次数是一种设计高效并行算法的方法.因此,本文研究十六个不同的作用路径,推导出十六个表示消息传递次数的数学模型,并在高性能通信和负载平衡方面决定十六个模型中最好的.实验结果表明模型的平均正确率是99.1391%,它的一个时间步骤的并行效率比HS算法平均提高了5.16%,处理器数的增加和截断半径的优化提高其并行效率.

关键词：并行计算多细胞分子动力学算法作用路径消息传递次数

来源：评论

学校读者我要写书评

暂无评论

一种面向内存的混合容错编码调节设计

一种面向内存的混合容错编码调节设计

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：李冰单书畅高翔胡瑜计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190 中国科学院大学北京100049 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190

数据中心服务器等计算平台中采用的大容量内存系统的故障发生率高.高强度的纠错编码虽然能够保证内存系统的可靠性,但是会带来较高的硬件和功耗开销.运行在数据中心服务器上的应用程序对可靠性的要求不同,混合容错编码能使内存系统在可... 详细信息

数据中心服务器等计算平台中采用的大容量内存系统的故障发生率高.高强度的纠错编码虽然能够保证内存系统的可靠性,但是会带来较高的硬件和功耗开销.运行在数据中心服务器上的应用程序对可靠性的要求不同,混合容错编码能使内存系统在可靠性与容错代价之间取得较好的权衡.因此,本文提出了一种支持混合容错编码调节的设计,将数据与容错信息分开存放,通过地址映射逻辑实现容错编码信息的存取.本文提出的设计不仅支持内存的混合容错编码的调节,而且可扩展到其他类型存储器中.实验结果表明,本容错编码调节设计简单,给系统带来的硬件,及功耗和性能的代价小.

关键词：内存系统容错设计混合容错编码可靠性分析

来源：评论

学校读者我要写书评

暂无评论

基于聚类抽样的访存特征分析方法

基于聚类抽样的访存特征分析方法

引用

2013全国高性能计算学术年会

作者：查中彬崔泽汉黄永兵陈荔城包云岗陈明宇中国科学院计算技术研究所计算机体系结构国家重点实验室北京市100190 中国科学院大学北京市100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京市100190

大数据时代的来临,使得内存系统越来越成为制约系统整体性能的瓶颈,如何利用访存序列分析程序的访存特征已经成为内存系统结果研究的热点.针对完整访存序列数据量过大的问题,需要一种快速准确的访存特征分析方法.本文提出一种基于聚类... 详细信息

大数据时代的来临,使得内存系统越来越成为制约系统整体性能的瓶颈,如何利用访存序列分析程序的访存特征已经成为内存系统结果研究的热点.针对完整访存序列数据量过大的问题,需要一种快速准确的访存特征分析方法.本文提出一种基于聚类抽样的访存特征分析方法EMAT(Exti-acting representativeMelnoryAccessTrace).在EMAT中,使用由体系结构相关性能指标构成的基本性能计数向量BPCV(BasicPerformance Count Vector)反映相应访存序列片段的访存行为,根据基本性能计数向量的聚类结果找出程序的访存特征.最后使用EMAT方法分析了SPEC CPU2006和PARSEC3.0(含splash2x)中标准测试程序的访存特征,实验结果显示EMAT方法可以快速有效的找出程序的访存特征.

关键词：内存系统访存特征分析方法聚类抽样

来源：评论

学校读者我要写书评

暂无评论

设计错误注入验证方法综述

设计错误注入验证方法综述

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：王健王天成李华伟李晓维中国科学院计算技术研究所计算机体系结构国家重点实验室北京100090 中国科学院大学北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100090

设计错误注入在数字集成电路验证中广泛应用,可用于评估验证质量和指导激励生成.首先介绍设计错误注入验证方法的基本原理,然后介绍设计错误注入验证领域的主要研究方向,以及这些研究工作针对设计错误注入验证方法的3个最基本问题:设计... 详细信息

设计错误注入在数字集成电路验证中广泛应用,可用于评估验证质量和指导激励生成.首先介绍设计错误注入验证方法的基本原理,然后介绍设计错误注入验证领域的主要研究方向,以及这些研究工作针对设计错误注入验证方法的3个最基本问题:设计错误模型选择、设计错误注入和针对设计错误的激励生成所提出的解决方法.

关键词：数字集成电路功能验证设计错误注入激励生成

来源：评论

学校读者我要写书评

暂无评论

Thread id Cache:一种多线程共享的低功耗高速缓存结构

Thread id Cache:一种多线程共享的低功耗高速缓存结构

引用

2013全国高性能计算学术年会

作者：范灵俊徐远超唐士斌郑亚松范东睿中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 首都师范大学信息工程学院北京100048

近年来,功耗是处理器设计领域的关键问题之一.本文提出了一种针对多线程共享缓存通过过滤不必要缓存路(Way)访问来降低CPU动态功耗的缓存结构,称为Thread id Cache.通过设置和预先访问Thread id过滤器来排除每次访问发生时不同线程对组... 详细信息

近年来,功耗是处理器设计领域的关键问题之一.本文提出了一种针对多线程共享缓存通过过滤不必要缓存路(Way)访问来降低CPU动态功耗的缓存结构,称为Thread id Cache.通过设置和预先访问Thread id过滤器来排除每次访问发生时不同线程对组相联缓存同一组(Set)中其它线程私有数据块的访问.在128KB 8路Thread id Cache上对传统并行程序和大数据处理并行程序进行的测试表明,对于不同应用、不同执行线程数,69.8％-87.5％的缓存路访问可以得到消除,相应地,由于访问操作产生的同等的动态功耗可以被有效降低.

关键词：处理器设计多线程共享缓存结构动态功耗访问操作

来源：评论

学校读者我要写书评

暂无评论

性能不对称多核处理器负载均衡调度研究

性能不对称多核处理器负载均衡调度研究

引用

2013全国高性能计算学术年会

作者：徐远超谭旭范灵俊张志敏首都师范大学信息工程学院北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

在同等面积条件下,性能不对称异构多核处理器比同构多核处理器能具有更好的性能功耗比,实现这一目标的前提是操作系统要能够进行合理的任务分配和负载均衡.针对已有负载均衡调度算法存在的不足,基于现有Linux调度框架提出了一种全面的... 详细信息

在同等面积条件下,性能不对称异构多核处理器比同构多核处理器能具有更好的性能功耗比,实现这一目标的前提是操作系统要能够进行合理的任务分配和负载均衡.针对已有负载均衡调度算法存在的不足,基于现有Linux调度框架提出了一种全面的异构感知负载均衡策略,保证了处理器核负载均衡优先原则,无需定义阈值区分程序类别.在DVFS异构多核环境下测试表明,本文算法要优于现有部分算法,既能做到负载均衡又能实现异构感知.

关键词：性能不对称异构多核处理器负载均衡调度算法优化设计性能测试

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：