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

计算机学报 2010年第2期33卷 317-325页

作者：张攀勇孟丹霍志刚中国科学院计算技术研究所国家智能计算机研究开发中心北京100190 中国科学院计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049

随着高性能计算需求的日益增长,多核处理器在高性能计算中间得到了广泛的普及.为了保证高性能计算机系统的效率,需要保持计算和通信的平衡性,多核的广泛使用对通信系统的效率提出了更高的要求.集合通信作为通信系统中的重要组成部分,研... 详细信息

随着高性能计算需求的日益增长,多核处理器在高性能计算中间得到了广泛的普及.为了保证高性能计算机系统的效率,需要保持计算和通信的平衡性,多核的广泛使用对通信系统的效率提出了更高的要求.集合通信作为通信系统中的重要组成部分,研究多核环境下的高效集合通信具有十分重要的意义.文中首先研究了多核对集合通信性能的影响,并根据多核处理器共享Cache以及内存竞争的特点,提出了层次化算法、限制并发、NUMA感知的优化方法和Cache友好的优化算法,并分别在MPI_Barrier、MPI_Bcast和MPI_Alltoall中进行了验证.实验结果表明优化方法能够有效地利用多核结构特点,降低竞争带来的影响,提高了多核环境下集合通信的性能和可扩展性.

关键词：高性能计算多核机群集合通信优化 NUMA_MPI

来源：评论

学校读者我要写书评

暂无评论

动态更新参考切片的IP核测试数据压缩方法

引用

计算机辅助设计与图形学学报 2010年第11期22卷 2013-2020页

作者：刘军韩银和李晓维中国科学院计算机系统结构重点实验室中国科学院计算技术研究所北京100190 合肥工业大学计算机与信息学院合肥230009 中国科学院研究生院北京100049

为减少测试数据存储容量,提出一种动态更新参考切片的IP核测试数据压缩方法.使用3个扫描切片作为参考切片,若扫描切片与参考切片相容时,仅需2位或4位就可编码这个扫描切片,否则这个扫描切片将替换一个参考切片;当扫描切片与多个参考切... 详细信息

为减少测试数据存储容量,提出一种动态更新参考切片的IP核测试数据压缩方法.使用3个扫描切片作为参考切片,若扫描切片与参考切片相容时,仅需2位或4位就可编码这个扫描切片,否则这个扫描切片将替换一个参考切片;当扫描切片与多个参考切片相容时,提出了有选择的相容合并策略,以进一步提高压缩率.实验结果表明,与同类方法相比,文中方法具有更高的测试压缩率.

关键词：测试数据压缩扫描切片参考切片压缩率相容

来源：评论

学校读者我要写书评

暂无评论

二进制翻译中解析多目标分支语句的图匹配方法

引用

计算机研究与发展 2008年第10期45卷 1789-1798页

作者：陈龙武成岗谢海斌崔慧敏张兆庆中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

二进制翻译技术现已成为实现软件移植的重要手段．在二进制翻译系统中，如何有效地挖掘程序的代码并对其进行高效翻译是影响系统性能的关键，而二进制代码中间接跳转语句的存在，使得静态时难以得到它的跳转目标，影响了代码的发掘率和... 详细信息

二进制翻译技术现已成为实现软件移植的重要手段．在二进制翻译系统中，如何有效地挖掘程序的代码并对其进行高效翻译是影响系统性能的关键，而二进制代码中间接跳转语句的存在，使得静态时难以得到它的跳转目标，影响了代码的发掘率和最终的翻译效果．在通常的应用程序中，间接跳转指令经常用来实现多目标分支语义，分支目标存放在跳转表中．提出了一种解析多目标分支语句及其跳转表的方法，能够挖掘出间接跳转的目标，进而对其进行有效翻译并提高二进制翻译系统的性能．该方法提出使用语义图来对预期语义进行刻画和表达．语义图能够对考察的指令序列进行语义提取，识别出与预期语义相匹配的指令流，还可以应对编译器在不同优化选项下生成的指令，并能有效滤除不相关指令带来的干扰．实验结果表明，对于SPEC CINT2000中的部分测试用例，代码翻译的覆盖率可以提高9．85％～22．13％，相应带来的性能提升可达到8．30％～17．71％，而使用的算法时间复杂度仅为O（1）．

关键词：二进制翻译挖掘代码间接跳转语义图图匹配

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络时间同步协议的改进策略

引用

计算机学报 2007年第4期30卷 514-523页

作者：徐朝农赵磊徐勇军李晓维中国科学院计算技术研究所计算机系统结构重点实验室

鉴于NTP和无线传感器网络时间同步协议的相似性，提出把NTP中的时间过滤、时间选择和时间组合算法简化后应用于无线传感器网络时间同步协议中以提高同步精度的策略．作为例证，将时间组合算法简化后引入BTS协议中．模拟的结果表明：在... 详细信息

鉴于NTP和无线传感器网络时间同步协议的相似性，提出把NTP中的时间过滤、时间选择和时间组合算法简化后应用于无线传感器网络时间同步协议中以提高同步精度的策略．作为例证，将时间组合算法简化后引入BTS协议中．模拟的结果表明：在由81个Mica 2节点组成的8跳网络内，除抗拒节点的同步误差保持不变外，其余节点的同步误差减小至改进前的67．70％～91．58％；具有相同跳距的节点的平均同步误差随跳距的增加率由19．8减小至15．5μs／跳；同时没有额外的报文开销．理论分析表明：同步精度的提高得益于应用时间组合算法所导致的节点时间偏移量均方差的减小．

关键词：无线传感器网络时间同步网络时间协议同步性低功耗

来源：评论

学校读者我要写书评

暂无评论

高性能处理器的差错校正技术

引用

计算机研究与发展 2008年第2期45卷 358-366页

作者：王真江建慧员春欣同济大学嵌入式系统与服务计算教育部重点实验室上海201804 同济大学计算机科学与技术系上海201804 中国科学院计算技术研究所计算机系统结构重点实验室北京100080

随着芯片密度的不断增加和对可靠性要求的不断提高,高性能处理器的容错设计越来越受到关注.对近年来高性能处理器的差错校正技术进行了分析和比较,它们被分为时钟级差错恢复、指令级差错恢复、线程级差错恢复以及重构等4类,研究对象包... 详细信息

随着芯片密度的不断增加和对可靠性要求的不断提高,高性能处理器的容错设计越来越受到关注.对近年来高性能处理器的差错校正技术进行了分析和比较,它们被分为时钟级差错恢复、指令级差错恢复、线程级差错恢复以及重构等4类,研究对象包括研究方案、原型和产品.研究结果表明,以片上多处理器和/或同时多线程为特征的高性能处理器除了沿用传统的容错技术之外,多以固有的、旨在为改善性能而重复设置的硬件资源为基础来设计容错机制和调度方案.

关键词：高性能处理器差错校正差错控制码冗余重构

来源：评论

学校读者我要写书评

暂无评论

片上多核处理器存储一致性验证

引用

软件学报 2010年第4期21卷 863-874页

作者：王朋宇陈云霁沈海华陈天石张珩中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049 中国科学技术大学计算机科学技术系安徽合肥230027

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执... 详细信息

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执行时间不重叠的操作之间存在确定的时间序.通过引入时间序的概念,设计并实现了一种线性时间复杂度的存储一致性验证工具***利用时间序将验证局部化,使得在表示程序执行结果的有向图中,序关系边的推导和正确性检测都被限定在有限范围内.与现有其他方法相比,LCHECK时间复杂度低,对程序长度和访存地址数没有限制,因此验证效率更高.作为国产片上多核处理器龙芯3号的重要验证工具,LCHECK发现了一些存储系统的设计错误.

关键词：存储一致性模型验证时间序片上多核处理器缓存一致性

来源：评论

学校读者我要写书评

暂无评论

Cache自适应写分配策略

引用

计算机研究与发展 2007年第2期44卷 348-354页

作者：郇丹丹李祖松胡伟武刘志勇中国科学院计算技术研究所计算机系统结构重点实验室

处理器所能提供的有效带宽是目前制约处理器性能提高的关键因素.通过对Cache写失效行为的分析,提出了一种新的提高处理器带宽利用率的Cache写失效处理策略——Cache自适应写分配策略.该策略在访存失效队列中收集全修改Cache块,对全修改C... 详细信息

处理器所能提供的有效带宽是目前制约处理器性能提高的关键因素.通过对Cache写失效行为的分析,提出了一种新的提高处理器带宽利用率的Cache写失效处理策略——Cache自适应写分配策略.该策略在访存失效队列中收集全修改Cache块,对全修改Cache块采用非写分配策略,并能够自适应地切换为写分配策略.与传统的Cache写失效处理策略相比,Cache自适应写分配策略硬件代价小,避免了不必要的数据传输,降低Cache污染,减少存储管理队列阻塞的频率.结果表明,采用Cache自适应写分配策略,STREAM基准测试程序带宽平均提高62.6%,SPECCPU2000程序的IPC值平均提高5.9%.

关键词： Cache 写失效写分配带宽龙芯2号

来源：评论

学校读者我要写书评

暂无评论

一个基于微处理器功能模型的可靠度评估系统

引用

计算机学报 2008年第3期31卷 391-399页

作者：张仕健许彤章隆兵胡伟武中国科学院计算技术研究所计算机系统结构重点实验室

随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用,如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能进行评估,周期长、成本高,因此... 详细信息

随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用,如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能进行评估,周期长、成本高,因此文中提出了一个基于微处理器功能模型的可靠度评估技术,构建了一个纯软件的可靠度评估系统.和已有的系统相比,该系统评估周期短、控制方便、成本低廉.使用该系统评估软件实现的指令冗余技术、软件实现的断言技术和硬件实现的重复取指执行技术的实验结果表明,该系统的评估是合理的.

关键词：故障注入可靠度评估容错技术微处理器瞬态故障

来源：评论

学校读者我要写书评

暂无评论

结合ATPG和SAT的无界模型检验前像计算方法

引用

计算机辅助设计与图形学学报 2007年第3期19卷 376-380页

作者：刘领一赵阳吕涛李华伟李晓维中国科学院计算机系统结构重点实验室中国科学院计算技术研究所计算机先进测试技术实验室北京100080中国科学院研究生院北京100049 中国科学院计算技术研究所计算机先进测试技术实验室北京100080

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 详细信息

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.

关键词：形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题

来源：评论

学校读者我要写书评

暂无评论

一种面向高性能计算机的超节点控制器的研究

引用

计算机研究与发展 2011年第1期48卷 1-8页

作者：王凯陈飞李强李晓民安学军孙凝晖中国科学院计算技术研究所北京100190 中国科学院计算机系统结构重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院研究生院北京100049

传统高性能计算机的节点由一个处理单元和一个节点控制器组成.为了有效地维护高速缓存一致性,处理单元中的处理器个数会非常有限.因此一台具有千万亿次处理能力的高性能计算机将会有上万个节点,这对互连网络的延迟和带宽都提出了非常高... 详细信息

传统高性能计算机的节点由一个处理单元和一个节点控制器组成.为了有效地维护高速缓存一致性,处理单元中的处理器个数会非常有限.因此一台具有千万亿次处理能力的高性能计算机将会有上万个节点,这对互连网络的延迟和带宽都提出了非常高的要求.超节点控制器能够同时连接多个处理单元构成一个超节点,这能够减小互连网络的规模,从而降低互连网络的设计难度,并保证互连网络的性能.用FPGA实现了超节点控制器的原型系统的测试结果表明,采用超节点设计的高性能计算机拥有非常低的通信延迟,同时其通信带宽也有非常好的扩展性.

关键词：高性能计算机超节点控制器全局地址空间直接内存访问远程读写

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：