搜索到33篇“ 谓词执行“的相关文章
一种面向谓词执行高性能DSP的指令依赖关系分析方法
一种面向谓词执行高性能DSP的指令依赖关系分析方法,对于基本块内的某条指令,从指令I的前一条指令开始,逆序遍历基本块内的指令去尝试解除依赖分析需求,同时确认指令I与哪些指令有依赖关系;每遍历到一条指令X,进行如下处理:S...
胡勇华李阳余建勇唐镇石林陆浩松
一种面向谓词执行高性能DSP的指令依赖关系分析方法
一种面向谓词执行高性能DSP的指令依赖关系分析方法,对于基本块内的某条指令,从指令I的前一条指令开始,逆序遍历基本块内的指令去尝试解除依赖分析需求,同时确认指令I与哪些指令有依赖关系;每遍历到一条指令X,进行如下处理:S...
胡勇华李阳余建勇唐镇石林陆浩松
文献传递
面向谓词执行VLIW DSP的基本块调度优化研究
现代高性能数字信号处理器(Digital Signal Processor, DSP)许多都是超长指令字(Very Long Instruction Word, VLIW)体系结构,拥有丰富的指令执行单元和存储单元。程序...
李阳
关键词:指令调度控制流分析
BWDSP10x上地址和数据谓词执行的编译优化
2016年
传统的谓词优化技术是在冯·诺伊曼体系结构计算机上实施的,仅对数据流进行优化,并没有考虑哈佛体系结构下指令和数据分开的情况.BWDSP10x是指令和数据分开的哈佛体系结构,它支持超长指令字,不仅提供了对数据谓词执行的支持也提供了对地址谓词执行的支持.特此提出了一种在区域上对两种谓词模式优化支持的方法,在进行两种比较之前,通过判断比较操作的两个操作数类型来分别实施两种模式的谓词优化,使得对地址的比较不用传输到通用寄存器中.实验结果表明该优化方法能显著地节省CPU的时间和带宽,大大减少了分支指令,使程序性能提高了28.4%.
樊永朝郑启龙耿锐王向前王昊
一种基于谓词执行信息分析的自适应软件缺陷定位方法
一种基于谓词执行信息分析的自适应软件缺陷定位方法,它有七大步骤:(1)对含缺陷的程序插桩;(2)加载程序的测试用例,运行插有桩函数的程序;(3)分别收集程序运行成功时和运行失败时,桩函数的输出信息;(4)对每个谓词在所有...
郑征郝鹏李伟宫成蔡开元
文献传递
基于谓词执行信息分析的自适应缺陷定位算法被引量:7
2014年
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.
郝鹏郑征张震宇高乙超宫成薛云志
关键词:自适应软件测试
基于谓词执行序列的软件缺陷定位算法被引量:11
2013年
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.
李伟郑征郝鹏高乙超饶培峰宫成
关键词:谓词
分片式处理器上的谓词执行技术优化被引量:1
2012年
谓词执行能使分片式处理器充分利用众多的执行单元,开发指令级并行性.但因此形成的超块也使得分支误预测代价增大,所以提高分支预测器的性能至关重要.本文提出一种基于剖析信息决策的谓词执行技术,该技术利用剖析信息对谓词执行前后的执行周期进行估算,从而对分支的谓词执行进行决策.该技术使分支预测器的命中率提高了0.68%~3.50%,使系统性能提高了1.67%~8.33%.同时,利用select指令表示谓词化指令也消除了重命名阶段寄存器多定义问题.
邓春华安虹路璐王耀彬
关键词:谓词执行分支预测器
一种基于谓词执行信息分析的自适应软件缺陷定位方法
一种基于谓词执行信息分析的自适应软件缺陷定位方法,它有七大步骤:(1)对含缺陷的程序插桩;(2)加载程序的测试用例,运行插有桩函数的程序;(3)分别收集程序运行成功时和运行失败时,桩函数的输出信息;(4)对每个谓词在所有...
郑征郝鹏李伟宫成蔡开元
文献传递
一种基于谓词执行序列的软件动态缺陷定位方法
一种基于谓词执行序列的软件动态缺陷定位方法,包括五个步骤:(1)对含缺陷的程序插桩;(2)加载程序的测试用例,运行插有输出谓词执行序列桩函数的程序;(3)分别收集程序运行正确时,和运行错误时,桩函数的输出信息;(4)对收...
郑征李伟梁宇蔡开元
文献传递

相关作者

田祖伟
作品数:40被引量:78H指数:5
供职机构:湖南第一师范学院
研究主题:信息隐藏 人类视觉系统 混沌映射 PE文件 谓词执行
胡勇华
作品数:44被引量:6H指数:1
供职机构:湖南科技大学
研究主题:寄存器 寄存器分配 操作数 向量 指令调度
郝鹏
作品数:10被引量:16H指数:2
供职机构:北京航空航天大学
研究主题:谓词 测试用例 统计学 排序 谓词执行
宫成
作品数:5被引量:14H指数:2
供职机构:北京航空航天大学
研究主题:谓词 谓词执行 自适应 统计学 测试用例
沈立
作品数:99被引量:196H指数:8
供职机构:国防科学技术大学计算机学院
研究主题:体系结构 微处理器 动态二进制翻译 计算机体系结构 编译器