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

高技术通讯 2018年第7期28卷 575-582页

作者：周卿李炼冯晓兵中国科学院计算技术研究所计算机系统结构国家重点实验室北京100190 中国科学院大学北京100190

静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下... 详细信息

静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下也能较准确地获得多线程的行为特征。实验表明,该分析方法可以有效地提高多线程程序中同步关系的识别和匹配精度,为分析和检测多线程性能瓶颈以及程序错误等信息奠定了基础。

关键词：静态多线程程序分析多线程控制流图调度同步关系可能并行分析

来源：评论

学校读者我要写书评

暂无评论

计算机体系结构模拟器技术和发展

引用

系统仿真学报 2009年第20期21卷 6325-6331页

作者：许建卫陈明宇杨伟潘晓雷郑规赵健博孙凝晖中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所国家智能计算机研究开发中心北京100190 中国科学院研究生院北京100049

对计算机体系结构模拟器的技术和发展历程进行评述,从速度、精度和灵活性三个方面对领域需求和相关技术做了分类总结,分析了上述三个方面的难点并从模拟器实现和使用两个层面介绍了现有的解决方案;给出了模拟器目前面临的困境及下一步... 详细信息

对计算机体系结构模拟器的技术和发展历程进行评述,从速度、精度和灵活性三个方面对领域需求和相关技术做了分类总结,分析了上述三个方面的难点并从模拟器实现和使用两个层面介绍了现有的解决方案;给出了模拟器目前面临的困境及下一步发展趋势;对体系结构模拟器的开发和使用给出几点建议。

关键词：体系结构模拟器加速技术大规模模拟

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于超步执行的并行模拟平台研究与实现

引用

系统仿真学报 2009年第15期21卷 4647-4653,4660页

作者：许建卫陈明宇刘涛杨伟郑规孙凝晖中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所国家智能计算机研究开发中心北京100190 中国科学院研究生院北京100190

计算机系统的并行化趋势使得传统的串行模拟器正面临严峻的挑战,一方面由于执行速度和内存的限制无法模拟目标大规模并行系统;另一方面,无法充分利用已有并行系统的资源。因此,串行模拟器已经成为宿主机和目标系统之间的瓶颈。Hypersim... 详细信息

计算机系统的并行化趋势使得传统的串行模拟器正面临严峻的挑战,一方面由于执行速度和内存的限制无法模拟目标大规模并行系统;另一方面,无法充分利用已有并行系统的资源。因此,串行模拟器已经成为宿主机和目标系统之间的瓶颈。Hypersim是基于SMP集群平台的新型并行模拟器,运行于其上的主从式操作系统原型hyperOS为应用程序提供了运行环境,实验表明,该模拟平台可以正确地模拟一种新型的HPP高性能计算机体系结构。为了高效并行,hypersim中采用细粒度负载分配及高效的同步和通信机制,提出并采用超步执行技术来加速模拟器执行,结果显示hypersim在多进程情况下有一定的加速,在单进程多线程情况下有较好的加速比。

关键词：并行模拟超步执行锁避免通信 HPP体系结构

来源：评论

学校读者我要写书评

暂无评论

一种基于反馈信息的地址寄存器提升方法

引用

计算机研究与发展 2009年第4期46卷 698-704页

作者：张超吕方王蕾冯晓兵中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049

在MIPS,ALPHA,SPARC和PowerPC等体系结构中,对全局变量和静态变量的访问一般采用间接寻址的方式.由于变量地址和变量值不在同一数据段,使得数据访问的局部性不好.这样,每次访问变量地址会导致大量冗余的数据cache不命中访存操作.此外,... 详细信息

在MIPS,ALPHA,SPARC和PowerPC等体系结构中,对全局变量和静态变量的访问一般采用间接寻址的方式.由于变量地址和变量值不在同一数据段,使得数据访问的局部性不好.这样,每次访问变量地址会导致大量冗余的数据cache不命中访存操作.此外,这种寻址方式会产生两条连续的有数据依赖的操作,降低了程序的指令级并行性.提出了基于反馈信息的地址寄存器提升算法(address register promotion based on feedbacks,ARPF).该算法减少了对全局变量地址和静态变量地址的冗余访问,提高了程序的ILP(instruction level parallelism),同时避免了由于寄存器压力增加导致性能下降.在龙芯编译器①上实现了该算法.实验表明ARPF对SPEC CPU2000INT所有测试用例有1%～6%的性能提升.

关键词：反馈地址寄存器提升寄存器压力指令级并行寄存器变量识别

来源：评论

学校读者我要写书评

暂无评论

基于Bayes推断的基因芯片探针特异性估计模型

引用

计算机工程与应用 2007年第24期43卷 100-103页

作者：彭柳冯圣中中国科学院计算技术研究所国家智能计算机研究开发中心中国科学院计算机系统结构重点实验室

序列相似性计算是生物信息处理中的基本问题。针对基因芯片设计中的特异性评价问题,基于Bayes推断,建立了DNA序列快速估计算法,该算法不需要序列联配(alignment-free),性能好于广泛应用的相似性计算工具,可以大幅提高基因芯片设计性能。

关键词：探针设计序列相似性估计贝叶斯推断特异性

来源：评论

学校读者我要写书评

暂无评论

多微通道内存系统设计方法

引用

高技术通讯 2013年第7期23卷 685-693页

作者：张广飞王焕东陈新科黄帅陈李维中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

通过建立内存系统排队模型,分析了影响内存系统性能的原因——内存控制器的内存命令处理速度受访存请求页命中率、Bank级并行度和读写命令切换率的影响,进而提出了一种多微通道内存系统设计方法。用此方法多微通道内存控制器通过对内存... 详细信息

通过建立内存系统排队模型,分析了影响内存系统性能的原因——内存控制器的内存命令处理速度受访存请求页命中率、Bank级并行度和读写命令切换率的影响,进而提出了一种多微通道内存系统设计方法。用此方法多微通道内存控制器通过对内存颗粒进行细粒度控制,可以提高访存请求页命中率和Bank级并行度,隐藏数据总线读写切换延迟。该结构在提高内存系统带宽利用率的同时,缩短访存请求延迟,并提高内存功耗有效性。将多微通道内存控制器设计应用于多核处理器平台,充分分析各种宽度访存通道对应用程序性能的影响。实验结果表明,相比传统内存控制器设计方法,多微通道内存控制器将内存系统带宽提高了21.8%,访存延迟和功耗分别降低14.4%和26.2%。

关键词： DRAM系统内存控制器片上多核多通道访存特性

来源：评论

学校读者我要写书评

暂无评论

系统虚拟化中指令去特权化的软硬件协同设计

引用

高技术通讯 2012年第11期22卷 1149-1154页

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

提出了一种软硬件协同设计的去特权化方式，用来减少系统虚拟机中特权指令和敏感指令产生的额外开销。其主要思想是使用修改操作系统源代码的软件去特权化方式减少敏感指令的额外开销，使用修改硬件方式减少非敏感指令的特权指令的额外... 详细信息

提出了一种软硬件协同设计的去特权化方式，用来减少系统虚拟机中特权指令和敏感指令产生的额外开销。其主要思想是使用修改操作系统源代码的软件去特权化方式减少敏感指令的额外开销，使用修改硬件方式减少非敏感指令的特权指令的额外开销。两者配合使用可最大限度减少虚拟机中这两类指令的额外开销，从而能提高系统虚拟机性能。在MIPS架构CPU的测试板上的实验显示，使用这种方法之后虚拟机的特权指令和敏感指令造成的异常数减少了近97％，同时SPECCINT2000测试集中大部分程序性能提升100％以上。

关键词：虚拟化去特权化软硬件协同设计特权指令敏感指令

来源：评论

学校读者我要写书评

暂无评论

低熵云计算系统

引用

中国科学：信息科学 2017年第9期47卷 1149-1163页

作者：徐志伟李春典中国科学院计算技术研究所计算机系统结构国家重点实验室北京100190 中国科学院大学北京100049

当前的云计算系统,不论是虚拟化云还是分区云,难以同时满足用户体验和系统效率需求,产业界和学术界都开始研究下一代云计算系统以应对这个难题.本文指出,这个难题的一个重要原因是计算系统熵(无序、干扰和不确定性)居高不下,并归纳了云... 详细信息

当前的云计算系统,不论是虚拟化云还是分区云,难以同时满足用户体验和系统效率需求,产业界和学术界都开始研究下一代云计算系统以应对这个难题.本文指出,这个难题的一个重要原因是计算系统熵(无序、干扰和不确定性)居高不下,并归纳了云计算系统中存在的4类无序现象.本文提出了低熵云计算系统的学术概念,刻画了其主要特点,比较了低熵云计算系统与虚拟化云和分区云在用户体验、开发效率、运行效率、资源适配方面的区别,并讨论了低熵云的新概念和新技术:(1)不同于图灵可计算性和算法可计算性的实用可计算性概念,形式化地刻画了云计算行业的"用户体验差的功能是不存在的功能"的实践经验;(2)刻画云计算系统能够实现实用可计算性的充分必要条件,即DIP猜想;(3)支持DIP猜想,即能够区分、隔离、优先化计算任务相空间,从而降低干扰,有潜力同时满足用户体验和系统效率需求的标签化von Neumann体系结构;(4)适配深度学习负载与神经网络处理器的云计算协同设计技术.

关键词：云计算用户体验系统效率计算系统熵分布式系统计算机体系结构

来源：评论

学校读者我要写书评

暂无评论

基于切片技术的并行化研究

引用

计算机科学 2011年第7期38卷 108-112页

作者：桑春雷张兆庆中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100039

程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提... 详细信息

程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性。另外,开发了一个基于切片的并行化分析系统,用来辅助程序员发掘程序中的切片并行性。

关键词：切片并行化 OpenMP 分析工具

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：