谓词执行

作品数：13被引量：12H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：田祖伟胡勇华宫成郝鹏郑征更多>>
相关机构：国防科学技术大学湖南科技大学湖南省第一师范学校北京航空航天大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《湘潭师范学院学报（自然科学版）》《微电子学与计算机》更多>>
相关基金：国家高技术研究发展计划国家科技重大专项国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
BWDSP10x上地址和数据谓词执行的编译优化
《计算机系统应用》2016年第12期92-99,共8页樊永朝 郑启龙 耿锐 王向前 王昊 
"核高基"重大专项(2012ZX01034-00-001)
传统的谓词优化技术是在冯·诺伊曼体系结构计算机上实施的,仅对数据流进行优化,并没有考虑哈佛体系结构下指令和数据分开的情况.BWDSP10x是指令和数据分开的哈佛体系结构,它支持超长指令字,不仅提供了对数据谓词执行的支持也提供了对...
关键词：地址谓词执行 数据谓词执行 区域 编译优化 
基于谓词执行信息分析的自适应缺陷定位算法被引量：7
《计算机学报》2014年第3期500-511,共12页郝鹏 郑征 张震宇 高乙超 宫成 薛云志 
国家自然科学基金(60904066;61003027);国家科技重大专项经费(2012ZX01039-004)资助~~
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通...
关键词：统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法 
Matrix编译器If转换算法的实现
《计算机科学》2013年第4期55-58,77,共5页刘飞 陈跃跃 孙海燕 阳柳 
指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对mat...
关键词：谓词执行 if转换 条件执行 指令级并行 MATRIX VLIW 
分片式处理器上的谓词执行技术优化被引量：1
《小型微型计算机系统》2012年第2期399-403,共5页邓春华 安虹 路璐 王耀彬 
国家自然科学基金重点项目(60633040)资助;国家自然科学基金项目(60970023)资助;国家"九七三"重点基础研究发展计划项目(2005CB321601)资助;国家"八六三"计划重大项目(2006AA01A102)资助;国家"八六三"高技术研究发展计划项目(2009AA01Z106)资助;国家科技重大专项项目(2009ZX01036-001-002)资助;教育部-英特尔信息技术专项科研基金项目(MOE-INTEL-08-07)资助
谓词执行能使分片式处理器充分利用众多的执行单元,开发指令级并行性.但因此形成的超块也使得分支误预测代价增大,所以提高分支预测器的性能至关重要.本文提出一种基于剖析信息决策的谓词执行技术,该技术利用剖析信息对谓词执行前后的...
关键词：谓词执行 分片式处理器 分支预测器 剖析信息 
软件流水中隐式控制流恢复技术
《计算机科学》2008年第10期272-274,共3页汪淼 赵荣彩 蔡国明 丁志芳 
国防重点科研项目资助
具有条件分支的循环通过IF转换将显式的控制流转换为隐式的控制流,从而为指令调度提供进一步的机会。但它往往将程序的代码进行深度重构,增加了程序的理解和代码重建工作的复杂性。提出了一种软件流水循环中的隐式控制流恢复技术,用于...
关键词：软件流水 IF转换 谓词执行 寄存器旋转 
一种IA-64下的反软件流水算法
《计算机工程与应用》2007年第23期58-60,63,共4页汪淼 赵荣彩 蔡国明 
河南省杰出人才创新基金(No.0521000200)
软件流水是一种循环程序的优化技术,它可以有效地提高指令级并行性。由于处理机的实现方法各不相同,在一种处理机上经过软件流水优化后的循环代码很难在其它处理机中移植和使用。反软件流水是软件流水的逆向操作,它可以消除循环代码中...
关键词：软件流水 反软件流水 谓词执行 旋转寄存器 
一种基于谓词执行优化技术的寄存器分配算法被引量：1
《计算机研究与发展》2006年第8期1471-1476,共6页王凤芹 胡定磊 刘春林 
国家"八六三"高技术研究发展计划重点基金项目(2004AA1Z1040)~~
对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉图的新算法;最后将算法在...
关键词：寄存器分配 谓词执行 谓词分析 二进制决策图 
IA-64谓词执行研究
《湘潭师范学院学报（自然科学版）》2005年第3期25-28,32,共5页田祖伟 
国家"863"计划软件重大专项"高性能微处理器优化编译器"(2002AAIZ2105)
IA-64是一种显式并行指令计算体系结构,支持全谓词执行,为发掘更多的指令级并行提供了新的途径和机会。谓词执行的目的是改变程序中固有的控制流程,将控制依赖转变为数据依赖,使指令级并行性识别从一个基本块扩大为一个Hyperblock,有效...
关键词：IA-64体系结构 指令级并行 谓词执行 IF转换 
基于GCC的IF转换算法的分析与改进被引量：1
《计算机科学》2005年第7期242-244,共3页田祖伟 赵克佳 
国家"863"计划软件重大专项"高性能微处理器优化编译器"(2002AAIZ2105)
分支指令是发掘指令级并行(ILP)的一个主要障碍。IF转换能够有效地删除指令流中的分支,通过删除程序中的某些分支,将控制依赖转换为数据依赖,能够获得更好的调度效果。本文详细分析了GCC中基于IA-64谓词执行的IF转换算法,并改进了其算法...
关键词：转换算法 GCC 指令级并行 IA-64 删除程序 数据依赖 控制依赖 谓词执行 指令流 数据表 
GCC基于IA-64谓词执行的IF转换技术研究被引量：1
《微电子学与计算机》2005年第6期188-192,196,共6页田祖伟 赵克佳 汪小飞 
国家"863"计划软件重大专项"高性能微处理器优化编译器"(2002AAIZ2105)
编译器在提高程序运行速度和发挥处理器性能方面起着非常关键的作用,尤其在IA-64体系结构中,其性能的发挥在很大程序上依赖于相应的编译器。IF转换利用IA-64对谓词执行的支持,删除程序中的某些控制流,将控制依赖转换为数据依赖,以便于...
关键词：IA-64体系结构 指令级并行 GCC 谓词执行 IF转换 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部