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

计算机研究与发展 2010年第4期47卷 679-686页

作者：孙相征张云泉王宣强王磊中国科学院软件研究所并行计算实验室北京100190 中国科学院计算机科学国家重点实验室北京100190 中国科学院研究生院北京100190

随着计算机硬件的快速变化,如何充分利用计算机资源,使软件性能尽可能逼近处理器峰值是人们关心的问题.针对特定硬件平台手工优化程序,或者依赖编译器优化技术,存在人工介入,难与硬件更新同步等问题.而采用自适应性能优化技术实现的高... 详细信息

随着计算机硬件的快速变化,如何充分利用计算机资源,使软件性能尽可能逼近处理器峰值是人们关心的问题.针对特定硬件平台手工优化程序,或者依赖编译器优化技术,存在人工介入,难与硬件更新同步等问题.而采用自适应性能优化技术实现的高性能数学软件包(SANS)如FFTW,ATLAS,PHiPAC,OSKI等,可有效解决前两种方法存在的问题,降低开发成本,提高软件可移植性.针对自适应性能优化技术中,优化参数搜索过程十分耗时的问题,提出对优化搜索过程的评价指标Pt,并给出用此指标控制优化搜索过程的方法.实验表明运用该指标可以在较短的时间内得到一个合理的性能值.

关键词：自适应优化过程评价指标优化参数性能跟踪 ATLAS GEMM

来源：评论

学校读者我要写书评

暂无评论

一种改进的OpenMP指导调度策略研究

引用

计算机研究与发展 2010年第4期47卷 687-694页

作者：刘胜飞张云泉孙相征中国科学院软件研究所并行计算实验室北京100190 中国科学院研究生院北京100190 中国科学院计算机科学国家重点实验室北京100190

在科学计算中,循环结构是最重要的并行对象之一.考虑到负载平衡、调度开销等多方面因素,OpenMP标准提供静态调度、动态调度、指导调度和运行时调度等不同策略.针对指导调度策略不适合递减型循环结构的问题,提出一种改进的new_guided指... 详细信息

在科学计算中,循环结构是最重要的并行对象之一.考虑到负载平衡、调度开销等多方面因素,OpenMP标准提供静态调度、动态调度、指导调度和运行时调度等不同策略.针对指导调度策略不适合递减型循环结构的问题,提出一种改进的new_guided指导调度策略,并在OMPi编译器上加以实现.New_guided调度策略的主要思想是对前半部分的循环采用静态调度,后半部分的循环采用指导调度.针对不同循环结构,在多核处理器上对不同调度策略进行评测.结果表明,在一般情况下,OpenMP默认的静态策略的调度性能最差;对于规则的循环结构和递增的循环结构,动态调度、指导调度和new_guided策略的性能差别不大;对于递减型的循环结构,动态调度和new_guided策略的性能相当,要优于指导调度策略;对于某些极不规则的随机循环结构,动态调度明显优于其他策略,new_guided策略的性能介于动态调度和指导调度之间.

关键词： OpenMP 负载平衡静态调度动态调度指导调度 OMPi

来源：评论

学校读者我要写书评

暂无评论

SpMV的自动性能优化实现技术及其应用研究

引用

计算机研究与发展 2009年第7期46卷 1117-1126页

作者：袁娥张云泉刘芳芳孙相征中国科学院软件研究所并行计算实验室北京100190 中国科学院研究生院北京100049 中国科学院计算机科学国家重点实验室北京100190

在科学计算中,稀疏矩阵向量乘(SpMV)是一个十分重要且经常被大量调用的计算内核.由于SpMV一般实现算法的浮点计算和存储访问次数比率非常低,且其存储访问模式极为不规则,其实际运行性能往往很低.通过采用寄存器分块算法和启发式分块大... 详细信息

在科学计算中,稀疏矩阵向量乘(SpMV)是一个十分重要且经常被大量调用的计算内核.由于SpMV一般实现算法的浮点计算和存储访问次数比率非常低,且其存储访问模式极为不规则,其实际运行性能往往很低.通过采用寄存器分块算法和启发式分块大小选择算法,将稀疏矩阵分成小的稠密分块,重用保存在寄存器中向量x元素,可以提高该计算内核的性能.剖析和总结了OSKI软件包所采用的若干关键优化技术,并进行了实际应用性能测试.测试表明,在实际应用这些优化技术的过程中,应用程序对SpMV的调用次数要达到上百次的量级,才能抵消由于应用这些性能优化技术所带来的额外时间开销,取得性能加速效果.在Pentium4和AMD Athlon平台上,测试了10个矩阵,其平均加速比分别达到了1.69和1.48.

关键词：稀疏矩阵向量乘启发式算法自适应性能优化存储访问模式寄存器分块

来源：评论

学校读者我要写书评

暂无评论

一种基于过程图模型的编译优化测试程序自动生成方法

引用

计算机研究与发展 2009年第9期46卷 1567-1577页

作者：陶秋铭赵琛王永吉中国科学院软件研究所北京100190 中国科学院研究生院北京100049 中国科学院计算机科学国家重点实验室北京100190

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种... 详细信息

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.

关键词：测试自动化编译器测试测试用例生成高级编译优化数据依赖过程图

来源：评论

学校读者我要写书评

暂无评论

基于路径分析的死循环检测

引用

计算机学报 2009年第9期32卷 1750-1758页

作者：阮辉严俊张健中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100190

提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是... 详细信息

提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高.

关键词：死循环循环展开路径可行性测试数据

来源：评论

学校读者我要写书评

暂无评论

基于组件模型分析的组件容器产品线体系结构

引用

软件学报 2010年第1期21卷 68-83页

作者：刘国梁魏峻冯玉琳中国科学院软件研究所软件工程技术中心北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

组件容器为组件提供部署和运行环境,是基于组件分布式应用开发的核心.近年来分布式组件的多样化和快速演化对组件容器的开发方法提出了挑战.产品线工程是基于公共的核心资产开发特定领域内软件产品系列的软件工程方法,产品线体系结构是... 详细信息

组件容器为组件提供部署和运行环境,是基于组件分布式应用开发的核心.近年来分布式组件的多样化和快速演化对组件容器的开发方法提出了挑战.产品线工程是基于公共的核心资产开发特定领域内软件产品系列的软件工程方法,产品线体系结构是其中最重要的部分.进行组件容器产品线体系结构的研究能够提高组件容器的结构复用性,获得更高的生产效率和质量.由于组件模型是组件容器设计的基础,在领域分析阶段引入组件模型分析,提出了组件模型分析框架,通过组件模型元素到领域需求元素的映射,建立组件容器领域模型.提出了组件容器设计的基本原则,并根据变化性封装原则,提出了组件容器产品线体系结构PLACE,通过引入可选属性、模块层次结构和决策模型,实现组件容器的领域需求.PLACE产品线体系结构已在网驰平台的多个组件容器设计中得到应用.

关键词：组件模型组件容器产品线体系结构产品线工程

来源：评论

学校读者我要写书评

暂无评论

一种用于软件过程建模的适应性Agent协商

引用

软件学报 2009年第3期20卷 557-566页

作者：黎巎李明树王青赵琛杜栓柱中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、... 详细信息

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、适应地建立针对给定软件项目的软件过程模型.AMNM-PA基于非静态有限阶段Markov决策过程,采用模型无关的Q学习算法选取协商策略,因此能够支持动态、非预知环境下的适应性协商,从而满足软件过程建模对环境的适应性需求.AMNM-PA已经实施于软件过程管理系统——SoftPM.

关键词：协商模型适应性 Q学习软件过程建模 Agent

来源：评论

学校读者我要写书评

暂无评论

软件过程建模方法研究

引用

软件学报 2009年第3期20卷 524-545页

作者：李明树杨秋松翟健中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指... 详细信息

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20个会议和7种期刊的72篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3个问题,以便从总体上概括和把握该领域的研究:1)软件过程建模方法主要基于什么范式;2)软件过程建模方法研究的主要目的集中在哪些方面;3)软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.

关键词：软件过程建模分析系统评价

来源：评论

学校读者我要写书评

暂无评论

参数化系统安全性的启发式符号验证

引用

软件学报 2009年第6期20卷 1444-1456页

作者：杨秋松李明树中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upwa... 详细信息

参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upward-closed)集合表示的安全性(safety property).与有限状态系统验证相类似,参数化系统的验证同样也面临着状态爆炸(state explosion)问题,并且模型检测算法的有效性依赖于如何采用有效的数据结构表示状态集合.针对表示无穷状态的向上封闭集合,研究人员提出了多种基于约束(constraint-based)的符号表示方法.但这些方法依然面临着符号状态爆炸(symbolic state explosion)问题或者其包含判定问题,即判断一个约束条件集合符号化表示的实际状态集合是否为另一约束条件集合所对应的状态集合的子集,是Co-NP完全问题.因此,虽然有限状态验证技术能够验证一些具有一定规模的问题,但现有针对参数化系统的验证方法所能解决的问题的规模较为有限,需要近一步提高模型检测算法的效率.针对参数化系统提出了加快反向可达性分析的多个启发式规则,实验结果表明,这些启发式规则可以使算法的效率提高几个数量级,从而有助于解决现有参数化系统验证方法所存在的问题.

关键词：参数化系统安全性向上封闭集合启发式搜索符号验证

来源：评论

学校读者我要写书评

暂无评论

动态需求跟踪方法及跟踪精度问题研究

引用

软件学报 2009年第2期20卷 177-192页

作者：李引李娟李明树中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

在对动态需求跟踪现有研究综述的基础上,详细分析了动态需求跟踪面临的精度问题,并提出了解决方案——动态需求跟踪框架.该框架以自动化的需求跟踪为核心,组合了变更请求、影响分析、变更控制等活动,利用工作产品的特点和迭代过程中累... 详细信息

在对动态需求跟踪现有研究综述的基础上,详细分析了动态需求跟踪面临的精度问题,并提出了解决方案——动态需求跟踪框架.该框架以自动化的需求跟踪为核心,组合了变更请求、影响分析、变更控制等活动,利用工作产品的特点和迭代过程中累积的变更信息来辅助建立需求跟踪关系,提高了需求跟踪关系的精度.

关键词：动态需求跟踪需求跟踪信息检索跟踪规则启发自然语言处理动态需求跟踪框架

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：