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

计算机研究与发展 2013年第5期50卷 1100-1109页

作者：陈荔城崔泽汉包云岗陈明宇沈林峰梁祺中国科学院计算技术研究所计算机体系结构国家重点实验室(筹) 北京100190 中国科学院大学北京100049 IBM中国系统与科技开发中心北京100193

准确地获取应用程序在真实系统上运行的访存地址序列(traces)是进行内存系统调度及结构优化的基础.HMTT是自主研发的软硬件结合的内存监测分析系统,能够实时获取完整的全系统访存traces.但是得到的traces与应用程序上层事件之间存在语... 详细信息

准确地获取应用程序在真实系统上运行的访存地址序列(traces)是进行内存系统调度及结构优化的基础.HMTT是自主研发的软硬件结合的内存监测分析系统,能够实时获取完整的全系统访存traces.但是得到的traces与应用程序上层事件之间存在语义鸿沟问题,比如上层函数执行流与访存traces的同步问题.针对该问题提出了一种软硬件结合获取包含函数级别语义信息访存traces的方法,软件方面通过二进制插桩的方式,直接修改内存中的进程映像,在目标函数的入口及出口各插入标记tag访存指令,进而能够被HMTT卡监测并识别.采用二进制插桩不需要程序的源代码,不需要对程序重新编译链接,而且引入的运行开销很小.实验表明采用软硬件结合的方式能够有效地获取包含函数级别语义信息的访存traces,对于SPECCPU2006中的访存密集型程序引入的性能开销只是原程序的62%,而使用Pin工具的纯软件方式获取访存traces将导致至少10.4倍的性能开销.

关键词： HMTT 访存traces 函数级别语义鸿沟二进制插桩 ELF tag访存

来源：评论

学校读者我要写书评

暂无评论

基于传播引擎的指针引用错误检测

引用

计算机学报 2013年第2期36卷 432-444页

作者：衷璐洁霍玮李丰陈聪明冯晓兵张兆庆中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 首都师范大学信息工程学院北京100048 中国科学院研究生院北京100049

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传... 详细信息

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.

关键词：空指针引用错误属性格上下文敏感静态检测传播引擎

来源：评论

学校读者我要写书评

暂无评论

面向三维多核SoC的热感知硅后能耗优化方法

面向三维多核SoC的热感知硅后能耗优化方法

引用

第八届全国测试学术会议

作者：靳松韩银和王瑜华北电力大学电气与电子工程学院电子与通信工程系河北保定071001 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

三维多核SoC能够为构建高能效系统提供一种有力的解决方案.近年来,多核设计广泛采用电压/频率岛优化系统能耗.然而,不断增加的工艺偏差导致电压/频率岛的性能参数偏离其额定值.在较大偏差的影响下,可能无法满足任务的截止时间约束.另外... 详细信息

三维多核SoC能够为构建高能效系统提供一种有力的解决方案.近年来,多核设计广泛采用电压/频率岛优化系统能耗.然而,不断增加的工艺偏差导致电压/频率岛的性能参数偏离其额定值.在较大偏差的影响下,可能无法满足任务的截止时间约束.另外,已有的研究工作大多针对二维平台,无法很好地解决因三维集成而不断恶化的发热问题.面向采用电压/频率岛设计的三维多核SoC,本文提出一个硅后优化框架,最小化系统能耗的同时,满足任务截止时间和系统热约束.除了能效感知的任务调度和电压/频率分派,提出的优化框架还采用任务迁移平衡核栈的功耗以实现热优化.实验结果表明,与已有的热平衡方法比较,本文提出的方法能减少平均18.6％的能耗.同时,与经典的能耗优化方法比较,本文提出的方法能降低平均5.6℃的峰值温度.

关键词：片上系统多核结构设计理念热感知能耗优化

来源：评论

学校读者我要写书评

暂无评论

结合循环平稳特征和自适应双门限检测的频谱感知算法

引用

计算机辅助设计与图形学学报 2013年第4期25卷 573-577页

作者：袁海英胡瑜北京工业大学电子信息与控制工程学院北京100124 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

针对单门限能量检测算法存在虚警率高、循环平稳特征检测算法计算复杂等问题,为了降低无线信道平均捕获时间和信号检测算法复杂度,提出一种联合循环平稳特征的自适应双门限能量检测算法.该算法根据无线信道占用状态自适应调整双门限值... 详细信息

针对单门限能量检测算法存在虚警率高、循环平稳特征检测算法计算复杂等问题,为了降低无线信道平均捕获时间和信号检测算法复杂度,提出一种联合循环平稳特征的自适应双门限能量检测算法.该算法根据无线信道占用状态自适应调整双门限值搜索频谱信息,将无线麦克风信号接收后直接送入第1个积分电路,在双门限区域之外采用无线信号能量检测;当第1个比较器中能量累积输出低于检测下门限时,表明未检测到无线信号;当积分电路输出超过检测下门限时则启动第2个积分电路,当第2个比较器中能量累积超过检测上门限时启动第3个比较器,超过同步门限判断虚警状态;在双门限区域之间采用循环平稳特征检测快速、准确地捕获无线麦克风信号,并合理设置保护频带,让非授权用户充分利用保护频带之外的频谱资源.仿真结果表明,文中算法有效地提高了无线认知网络的无线信号检测概率和频谱感知精度.

关键词：频谱感知无线麦克风信号双门限能量检测循环平稳特征虚警率

来源：评论

学校读者我要写书评

暂无评论

基于区间必然集的测试用例生成方法

引用

计算机辅助设计与图形学学报 2013年第4期25卷 550-556,563页

作者：王雅文宫云战肖庆北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 装甲兵工程学院信息工程系北京100072

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然... 详细信息

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.

关键词：测试用例面向路径符号执行上下文环境区间必然集

来源：评论

学校读者我要写书评

暂无评论

面向GPU的循环合并

引用

高技术通讯 2013年第3期23卷 257-262页

作者：杨扬崔慧敏冯晓兵中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院研究生院北京100039

针对现有的将C或Fortran程序映射到通用图形处理单元(GPU)的自动转换工具主要关注将单个循环生成一个独立的GPU内核,从而阻碍了对循环间数据重用的利用的问题,提出一种新的面向GPU的循环合并的代码变换方法,该方法通过循环分块(strip mi... 详细信息

针对现有的将C或Fortran程序映射到通用图形处理单元(GPU)的自动转换工具主要关注将单个循环生成一个独立的GPU内核,从而阻碍了对循环间数据重用的利用的问题,提出一种新的面向GPU的循环合并的代码变换方法,该方法通过循环分块(strip mining)和冗余计算等手段达到消除迭代间数据依赖的目的,并可充分利用GPU片上的共享内存进行线程间数据交换,从而将此类程序高效地映射到GPU上。通过典型程序在GPU上的实验表明,该新方法由于能够减少对全局内存的访问,带来了最多高达1.96倍的加速比。

关键词：通用图形处理单元(GPU) 循环合并并行 CUDA 循环间数据重用

来源：评论

学校读者我要写书评

暂无评论

面向业务特征的自适应虚拟机迁移带宽分配算法

引用

计算机学报 2013年第9期36卷 1816-1825页

作者：刘诗海孙宇清刘古月山东大学计算机科学与技术学院中国人民解放军68067部队中国科学院计算技术研究所计算机体系结构国家重点实验室北京邮电大学国际学院

虚拟机动态迁移是支持绿色云计算环境的重要技术,迭代时间和宕机时间是迁移性能的衡量指标,而虚拟机迁移时使用的网络带宽和业务运行产生的内存脏页是影响迁移性能的重要因素,因此合理分配迁移带宽和减少脏页率能够有效缩短迭代时间和... 详细信息

虚拟机动态迁移是支持绿色云计算环境的重要技术,迭代时间和宕机时间是迁移性能的衡量指标,而虚拟机迁移时使用的网络带宽和业务运行产生的内存脏页是影响迁移性能的重要因素,因此合理分配迁移带宽和减少脏页率能够有效缩短迭代时间和宕机时间.该文提出了一种面向业务特征的自适应虚拟机迁移带宽分配算法,通过对迁移过程中脏页率的分析,预测运行业务的网络带宽使用量,自适应分配虚拟机迁移带宽;引入带宽调整系数,有效处理迁移过程中的业务数据抖动现象,从而确保预测的合理性.这一算法能够在保证迁移性能和系统可靠性的同时,减少迭代时间和宕机时间.实验表明在带宽资源有限的前提下,该方法能够合理利用空闲带宽资源,提高迁移性能,确保业务服务质量.

关键词：虚拟机动态迁移带宽分配脏页率绿色计算云计算

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与科学 2013年第11期35卷 80-86页

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

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

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

关键词：调度异构多核处理器负载均衡程序行为分析硬件性能计数器

来源：评论

学校读者我要写书评

暂无评论

基于分支限界搜索框架的测试用例自动生成

基于分支限界搜索框架的测试用例自动生成

引用

第八届全国测试学术会议

作者：邢颖宫云战王雅文张旭舟北京邮电大学网络与交换技术国家重点实验室北京100876 辽宁工程技术大学电子与信息工程学院葫芦岛125105 北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山... 详细信息

本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山法.变量的初始值依据启发式规则进行选取,并从这个初始值开始通过目标函数的计算来完成爬山过程.文中方法充分发挥了分支限界和爬山法的优势,实验验证该方法对于较复杂的被测程序可以很好地生成测试用例,在覆盖率上优于一些动、静态测试用例生成方法,可应用于实际工程的测试.

关键词：软件工程测试用例自动生成分支限界爬山法约束求解

来源：评论

学校读者我要写书评

暂无评论

两级同步:面向众核处理器的并行仿真机制

引用

系统仿真学报 2013年第12期25卷 2806-2813页

作者：朱小东吴俊敏唐轶轩陈国良隋秀峰中国科学技术大学计算机科学与技术学院合肥232027 中国科学技术大学苏州研究院苏州215123 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

针对并行仿真众核处理器计算机过程中同步对仿真器性能、精度的制约问题,提出一种两级同步机制,第一级同步作用于众核处理器片上所有节点间,维持逻辑时间的全局一致性;第二级同步作用于每颗节点内的一级或二级高速缓存与片上网络路由器... 详细信息

针对并行仿真众核处理器计算机过程中同步对仿真器性能、精度的制约问题,提出一种两级同步机制,第一级同步作用于众核处理器片上所有节点间,维持逻辑时间的全局一致性;第二级同步作用于每颗节点内的一级或二级高速缓存与片上网络路由器间,在提升并行性的同时保证处理器内各组件的高精度建模。理论分析给出了两级同步性能的上下界。实验结果表明两级同步具有较好的加速比及合理的可扩展性。

关键词：并行仿真众核处理器同步机制前瞻量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：