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

计算机辅助设计与图形学学报 2008年第5期20卷 605-611,617页

作者：雷韶华韩银和李晓维中国科学院计算机系统结构重点实验室北京100080 中国科学院计算技术研究所北京100080 中国科学院研究生院北京100049

提出一种新颖的频率分析方法来计算瞬时错误在组合逻辑电路中的传播.通过对输入信号进行傅里叶变换,分析组合逻辑电路的频率特性,并通过频域计算方法得到组合逻辑电路的输出.为了解决组合逻辑电路有时会工作在信号非线性区的问题,提出... 详细信息

提出一种新颖的频率分析方法来计算瞬时错误在组合逻辑电路中的传播.通过对输入信号进行傅里叶变换,分析组合逻辑电路的频率特性,并通过频域计算方法得到组合逻辑电路的输出.为了解决组合逻辑电路有时会工作在信号非线性区的问题,提出一种数学模型来精确描述瞬时错误在组合逻辑电路中传播过程.实验结果表明,该方法能保证在93%的平均精确度(和HSPICE相比)前提下,大幅提高评估速度.

关键词：傅里叶变换 HSPICE 线性系统非线性系统

来源：评论

学校读者我要写书评

暂无评论

一种基于SAT的运算电路查错方法

引用

计算机学报 2007年第12期30卷 2082-2089页

作者：陈云霁张健沈海华胡伟武中国科学院计算技术研究所计算机系统结构重点实验室北京100080 中国科学院软件研究所计算机科学国家重点实验室北京100080

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF,通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高,能处理大规模的运算电路,有较强的查找错误能力.

关键词：形式验证模型检验 SAT E—CNF 标志子句

来源：评论

学校读者我要写书评

暂无评论

基于MIPS架构的异构内存虚拟化方法研究

引用

高技术通讯 2013年第9期23卷 908-913页

作者：蔡万伟台运方刘奇张晓辉张戈中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049 龙芯中科技术有限公司北京100190 中国科学院重庆绿色智能技术研究院重庆401122

针对传统的同构内存虚拟化方法缺乏平台扩展性，在非X86处理器平台上性能较差的问题，研究了影响虚拟机内存性能的几个因素，并基于MIPS架构处理器提出了异构内存虚拟化方法，在不增加软件复杂度的前提下，提高了内存虚拟化性能。该方... 详细信息

针对传统的同构内存虚拟化方法缺乏平台扩展性，在非X86处理器平台上性能较差的问题，研究了影响虚拟机内存性能的几个因素，并基于MIPS架构处理器提出了异构内存虚拟化方法，在不增加软件复杂度的前提下，提高了内存虚拟化性能。该方法基于对同构内存虚拟化的性能瓶颈的分析，通过修改虚拟机内存管理单元（MMU）降低软件维护开销；采用宿主机与客户机共享页表的方法提升访存的异常处理速度。该方法在龙芯3号处理器的系统虚拟机KVM-LOONGSON上得到实现。测试结果表明，该方法可以显著提升各类应用程序的性能，相比同构内存虚拟化方法，性能可以提升50％到700％，达到本地执行性能的71％～97％。

关键词：系统虚拟化内存虚拟化 KVM MIPS 龙芯3号处理器

来源：评论

学校读者我要写书评

暂无评论

一种基于RAM的降低异构多核切换开销的方法

引用

计算机研究与发展 2011年第S1期48卷 266-272页

作者：刘奇郝守青沈海华章隆兵中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049 北京龙芯中科技术服务中心有限公司北京100190

同一程序的不同执行阶段或者不同程序运行时行为特征不同.异构多核处理器包含多种类型处理器核,可以根据程序运行时的行为特征切换到性能、功耗合适的核.异构多核相对于同构多核处理器能够更好地满足性能和功耗要求,但是不同核间切换时... 详细信息

同一程序的不同执行阶段或者不同程序运行时行为特征不同.异构多核处理器包含多种类型处理器核,可以根据程序运行时的行为特征切换到性能、功耗合适的核.异构多核相对于同构多核处理器能够更好地满足性能和功耗要求,但是不同核间切换时保存、恢复程序现场开销严重影响了异构多核处理器的性能.增加少量片上随机存储单元(RAM),并适当优化处理器核硬件结构是有效降低核间切换开销的方法.上述方法使得核间切换时不需要执行切换程序,通过发送RAM读写请求实现了程序现场的保存和恢复.基于龙芯异构多核处理器平台评估了软、硬件实现核间切换开销.实验结果表明上述硬件方法将核间切换开销下降到软件开销的11%,且仅带来了2.49%的面积增加和1.8%的功耗增加.

关键词：龙芯异构多核核间切换开销寄存器重命名存储单元

来源：评论

学校读者我要写书评

暂无评论

基于VPM和随机激励的处理器核仿真建模

引用

计算机工程 2010年第20期36卷 19-21,24页

作者：许彤张仕健吕涛中国科学院计算技术研究所微处理器中心北京100190 中国科学院研究生院北京100049 中国科学院计算技术研究所计算机系统结构重点实验室北京100190

为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动... 详细信息

为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动生成方案和片上互连验证功能。实验结果证明,该方法对处理器IP仿真建模具有普适意义,能够被无缝融入SoC流程中。

关键词： IP仿真模型 SimpleScalar模拟器可控随机事件总线功能模型龙芯1号处理器

来源：评论

学校读者我要写书评

暂无评论

一种快速的滑动标记缩并垃圾收集算法

引用

电子学报 2008年第10期36卷 1955-1960页

作者：邹琼章隆兵中国科学技术大学计算机科学与技术系安徽合肥230027 中国科学院计算技术研究所计算机系统结构重点实验室北京100190

Java语言完全面向对象,因此对象局部性是衡量Java虚拟机性能的重要指标.在Java虚拟机中,由垃圾收集算法负责检测并且回收不再使用的对象,它直接影响着Java程序的性能.保持对象分配序能够提供最佳的局部性.滑动标记缩并算法正是基于这一... 详细信息

Java语言完全面向对象,因此对象局部性是衡量Java虚拟机性能的重要指标.在Java虚拟机中,由垃圾收集算法负责检测并且回收不再使用的对象,它直接影响着Java程序的性能.保持对象分配序能够提供最佳的局部性.滑动标记缩并算法正是基于这一原则,但是传统上的设计使得算法的效率很低.本文提出一种快速的滑动标记缩并算法,它通过位图、活块池和块内偏移表来简化算法,大大的降低了开销.实验结果表明,快速的滑动标记缩并算法使得标准工业测试程序SPECJVM98的性能在Pentium4上有不同程度的提高,最高达到8.9%;同时程序的局部性也优于线性标记缩并算法,与深度遍历序相比,DTLB(Data Translation Lookaside Buffer)与2级Cache失效率改善最多分别为11%和13.6%.

关键词：垃圾收集标记缩并位图活块池块内偏移表

来源：评论

学校读者我要写书评

暂无评论

龙芯1号IP验证方法

引用

计算机工程 2008年第5期34卷 31-32,35页

作者：冯子军肖俊华胡伟武中国科学院研究生院北京100039 中国科学院计算技术研究所计算机系统结构重点实验室北京100080

SoC设计中大量使用IP,其验证充分与否决定了设计的成败,其中处理器IP的验证十分复杂耗时。该文介绍龙芯1号IP的验证流程,阐述龙芯1号IP的基本结构及功耗低、配置丰富等特点。建立龙芯1号IP的仿真环境平台,提出平台的改进思路,其验证流... 详细信息

SoC设计中大量使用IP,其验证充分与否决定了设计的成败,其中处理器IP的验证十分复杂耗时。该文介绍龙芯1号IP的验证流程,阐述龙芯1号IP的基本结构及功耗低、配置丰富等特点。建立龙芯1号IP的仿真环境平台,提出平台的改进思路,其验证流程比传统验证流程更具多样性和完备性。

关键词：龙芯1号 IP核 AMBA协议验证微处理器

来源：评论

学校读者我要写书评

暂无评论

曙光5000A高效能计算节点的设计与实现

引用

计算机工程 2009年第6期35卷 17-19,22页

作者：曾宇王洁孙凝晖中国科学院计算技术研究所计算机系统结构重点实验室北京100080 中国科学院研究生院北京100039

由于求解问题和系统规模的不断扩大,基于cluster架构的高性能计算机面临扩展性、可靠性、功耗、占地面积、均衡性等诸多挑战。该文针对计算模块、交换管理模块、自适应功率管理、专用FPGA硬件加速部件、高速PCI-E全交换扩展等方面,设计... 详细信息

由于求解问题和系统规模的不断扩大,基于cluster架构的高性能计算机面临扩展性、可靠性、功耗、占地面积、均衡性等诸多挑战。该文针对计算模块、交换管理模块、自适应功率管理、专用FPGA硬件加速部件、高速PCI-E全交换扩展等方面,设计并实现高效能计算节点。基于该节点构建的曙光5000A百万亿次计算机能有效解决计算密度、I/O扩展及带宽瓶颈和能耗等方面的瓶颈。

关键词：高效能节能硬件加速

来源：评论

学校读者我要写书评

暂无评论

片上多核处理器的结构级功耗建模与优化技术研究

引用

自然科学进展 2009年第12期19卷 1398-1409页

作者：张戈胡伟武黄琨曾洪博王君中国科学院计算技术研究所微处理器中心中国科学院计算机系统结构重点实验室北京100190

功耗是导致片上多核处理器出现故障的重要诱因,也是片上多核处理器设计的重要制约因素。如何降低多核处理器的功耗并提高处理器能量效率,具有很大的研究意义与探索空间。文中主要从体系结构设计者的角度,并结合电路实现,研究并总结纳米... 详细信息

功耗是导致片上多核处理器出现故障的重要诱因,也是片上多核处理器设计的重要制约因素。如何降低多核处理器的功耗并提高处理器能量效率,具有很大的研究意义与探索空间。文中主要从体系结构设计者的角度,并结合电路实现,研究并总结纳米级工艺下片上多核处理器的功耗建模与评估方法,及其不同构件的低功耗优化技术。通过提出创新高效的多核处理器结构级功耗评估方法及其模拟平台,提高多核结构功耗模拟的准确性与灵活性,并以此为依托,开展处理器核、片上网络、片上存储及其一致性协议的各方面优化,寻求提高多核处理器功耗有效性的微体系结构,为国产多核处理器的低功耗设计提供一定借鉴与参考。

关键词：片上多核处理器功耗建模功耗评估低功耗结构

来源：评论

学校读者我要写书评

暂无评论

基于NUMA架构的解释器访存优化设计与实现

引用

高技术通讯 2015年第7期25卷 661-668页

作者：任彤傅杰靳国杰中国科学院大学北京100049 中国科学院计算技术研究所北京100190 中国电子设备系统工程公司研究所北京100141 计算机系统结构国家重点实验室北京100190 龙芯中科技术有限公司北京100190

为了提高非一致内存访问(NUMA)架构虚拟机解释器的访存性能,研究了解释器在NUMA架构下的访存优化技术,提出了一种NUMA架构下的解释器访存优化方案,而且设计并实现了解释器的静态指令分派优化方法和动态指令分派优化方法。根据这一方案... 详细信息

为了提高非一致内存访问(NUMA)架构虚拟机解释器的访存性能,研究了解释器在NUMA架构下的访存优化技术,提出了一种NUMA架构下的解释器访存优化方案,而且设计并实现了解释器的静态指令分派优化方法和动态指令分派优化方法。根据这一方案虚拟机启动时首先获取NUMA节点信息,并在每个NUMA节点中自动生成解释器所需的全部数据结构;解释器在运行时,通过静态或动态的指令分派技术来实现其执行线程在NUMA节点上访存的局部化。试验结果表明,上述方法能够显著提升解释器在NUMA系统中的性能。在DaCapo测试集上的总体性能提升了8%,最高性能提升幅度高达23%,而且算法实现代价低,适用于绝大多数的NUMA服务器系统。

关键词：非一致内存访问(NUMA) 虚拟机解释器响应速度启动性能访存优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：