导读:本文包含了谓词执行论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:谓词,指令,体系结构,数据流,统计学,软件,处理器。
谓词执行论文文献综述
郝鹏,郑征,张震宇,高乙超,宫成[1]（2014）在《基于谓词执行信息分析的自适应缺陷定位算法》一文中研究指出查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.(本文来源于《计算机学报》期刊2014年03期）
李伟,郑征,郝鹏,高乙超,饶培峰[2]（2013）在《基于谓词执行序列的软件缺陷定位算法》一文中研究指出谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.(本文来源于《计算机学报》期刊2013年12期）
邓春华,安虹,路璐,王耀彬[3]（2012）在《分片式处理器上的谓词执行技术优化》一文中研究指出谓词执行能使分片式处理器充分利用众多的执行单元,开发指令级并行性.但因此形成的超块也使得分支误预测代价增大,所以提高分支预测器的性能至关重要.本文提出一种基于剖析信息决策的谓词执行技术,该技术利用剖析信息对谓词执行前后的执行周期进行估算,从而对分支的谓词执行进行决策.该技术使分支预测器的命中率提高了0.68%～3.50%,使系统性能提高了1.67%～8.33%.同时,利用select指令表示谓词化指令也消除了重命名阶段寄存器多定义问题.(本文来源于《小型微型计算机系统》期刊2012年02期）
邓春华[4]（2011）在《分片式处理器上谓词执行技术的实现与优化》一文中研究指出随着计算机体系结构和工艺的发展,计算机性能提升的方式由提高主频变为增加处理器核数。处理器资源匮乏的问题得以缓解,随之而来的问题是如何在功耗允许的情况下合理使用这些资源来获得最大性能。分片式处理器体系结构将计算资源和存储资源均匀分布在整个芯片上,解决了现代处理器设计中面临的存储墙、资源利用率、线延迟和可扩展性等问题,成为微处理器体系结构发展的一种趋势。本文为分片式处理器TPA-PI实现了编译器后端的谓词执行技术,并对其执行过程进行优化。主要研究工作和成果包括:(1)研究了基于LLVM编译框架的后端实现技术,实现了适合TPA-PI处理器的谓词执行技术。该技术对程序的控制流图进行遍历,寻找谓词执行的候选块,再根据图中节点的依赖关系对候选块进行谓词化操作。(2)研究了超块构造中基本块选择的过程,分析了选择过程中程序各因素对其的影响,利用剖析信息对基本块的选取过程进行动态决策。(3)研究了影响超块分裂的各种因素,为超块分裂技术提供了启发式选择算法。通过衡量超块分裂的执行开销和分裂后的超块质量,为超块分裂节点的选取提供评判标准,以改进超块的执行效率,提高处理器的整体执行性能。初步实验表明,本文设计的谓词执行技术能够有效地消除分支指令,合并程序中的指令块。而对谓词执行技术进行的改进使测试程序的分支命中率提高了0.68%～3%,程序的整体性能提高了1.67%～8.39%。本文的研究工作为分片式处理器TPA-PI实现了谓词执行技术,为编译器后端的整体设计打下了基础。同时本文提出的优化技术也为在编译系统中提高处理器的指令级并行性提供了参考。(本文来源于《中国科学技术大学》期刊2011-05-01）
王莉,安虹,王耀彬,任永青,从明[5]（2010）在《谓词执行技术在类数据流体系结构中的实现和优化》一文中研究指出谓词执行技术是克服程序中控制依赖的重要软件技术.利用类数据流体系结构的特点,设计了一种在类数据流体系结构中低开销、高效率地实现谓词执行技术的方法:仅占用指令编码中的1-bit;谓词的值通过片上网络在指令间直接传递,无需谓词寄存器.这种实现方法的主要开销是由类数据流指令集引入的软件输出树,本文进一步提出一种基于边剖析技术的优化方法.实验表明,这种优化能减少17.3%的软件输出树开销,同时将程序性能提高了15.5%.(本文来源于《小型微型计算机系统》期刊2010年12期）
王凤芹,胡定磊,刘春林[6]（2006）在《一种基于谓词执行优化技术的寄存器分配算法》一文中研究指出对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉图的新算法;最后将算法在学院研制的YHFT-DSP/700芯片的编译器上实现,实验结果表明,减少了所需寄存器数目,缩短了代码执行时间,获得了较好的性能提高·(本文来源于《计算机研究与发展》期刊2006年08期）
王凤芹[7]（2005）在《基于谓词执行的编译优化技术的研究与实现》一文中研究指出不断挖掘指令级并行性(ILP)是提高处理器性能的关键，而分支跳转指令造成的控制相关，严重限制了ILP的开发。针对此问题，超长指令字体系结构的高性能数字信号处理器(DSP)提供了对条件执行指令的支持。为使此指令的优势得以充分发挥，本文深入研究了谓词执行编译优化技术，主要取得了以下研究成果： 1．设计并实现了支持谓词执行的编译框架。该框架基于hyperblock区域结构，解决了全谓词转换带来的资源缺乏问题，很好地对DSP条件执行指令提供了支持，为指令调度和优化模块开发ILP提供了更大的自由空间。 2．给出了谓词相关的分析与优化。对代码实施谓词转换后，为了更好地进行代码优化、指令调度和寄存器分配，文中首先介绍了John W．Sias等人提出的基于二进制决策图的谓词分析系统(PAS)和基于谓词流图的数据流分析方法；然后，提出了结合芯片自身体系结构特点的谓词优化过程。该过程简化了程序的控制逻辑，减少了对谓词寄存器的使用，提高了编译性能。 3．提出了适于谓词执行的寄存器分配算法。为了缓解谓词执行带来的寄存器分配压力，在PAS基础上，对传统寄存器分配算法中建立干涉图一步进行改进，提出了一种新的建立精化干涉图的算法。该算法对带谓词的代码较合理地分配了寄存器，减少了寄存器溢出情况，从而缩短了代码的执行时间。 实验结果表明，本文设计实现的基于渭词执行的编译优化技术，充分发挥了DSP条件执行指令的优势，提高了指令并行度，缩短了代码执行时间，获得了较好的性能提高。(本文来源于《国防科学技术大学》期刊2005-11-01）
田祖伟[8]（2005）在《IA-64谓词执行研究》一文中研究指出IA-64是一种显式并行指令计算体系结构,支持全谓词执行,为发掘更多的指令级并行提供了新的途径和机会。谓词执行的目的是改变程序中固有的控制流程,将控制依赖转变为数据依赖,使指令级并行性识别从一个基本块扩大为一个Hyperblock,有效地增加基本块的大小,扩大指令调度的范围,从而增加基本块中的指令级并行性。(本文来源于《湘潭师范学院学报(自然科学版)》期刊2005年03期）
田祖伟,赵克佳,汪小飞[9]（2005）在《GCC基于IA-64谓词执行的IF转换技术研究》一文中研究指出编译器在提高程序运行速度和发挥处理器性能方面起着非常关键的作用,尤其在IA-64体系结构中,其性能的发挥在很大程序上依赖于相应的编译器。IF转换利用IA-64对谓词执行的支持,删除程序中的某些控制流,将控制依赖转换为数据依赖,以便于优化。文章介绍了IA-64体系结构,并详细分析了GCC中基于IA-64谓词执行的IF转换算法。(本文来源于《微电子学与计算机》期刊2005年06期）
田祖伟[10]（2005）在《基于IA-64谓词执行的IF转换技术研究》一文中研究指出分支指令带来了控制依赖,是有效发掘指令级并行性的一大障碍。为获得高度的并行性,必须克服分支指令带来的限制。谓词执行可以有效地删除指令流中的分支指令,从而有助于开发更多的ILP。 IA-64是一种显式并行指令计算体系结构,支持全谓词执行,为发掘更多的指令级并行提供了新的途径和机会,但有效地使用硬件对谓词执行的支持需要有先进的编译器的支持。IF转换是一种能够充分利用现代微处理器提供的谓词执行功能来提高程序性能的编译手段。IF转换有许多优点,首先,它能够将程序中条件分支代码转换为谓词执行的顺序代码,这样控制依赖被转换为数据依赖,多条路径上的指令在IF转换后,可以合并到一个基本块中,有效地增加基本块的大小,扩大指令调度的范围,从而增加基本块中的指令级并行性。另一方面,由于减少了分支指令的数目,简化了硬件设计,也减少了分支预测失败时的性能损失。 本文首先阐述了谓词执行和IF转换的有关理论,分析了IA-64体系结构支持谓词执行的相关特性,指出了IF转换的作用及IF转换对程序性能的影响,进而讨论了IF转换需解决的两个关键问题:选择什么样的指令进行IF转换和IF转换应在编译的什么阶段进行。 结合前面的理论研究,本文重点剖析了GCC编译器在IA-64平台IF转换的具体实现,并给出了GCC的IF转换的框架。最后,分析了GCC现有IF转换算法的优缺点,提出了一个基于关键路径的长度、资源的高度、误预测率、误预测的代价及指令条数等因素,有选择性地执行IF转换的改进方案。实验数据表明改进的算法能够改善IF转换的有效性,对程序性能有一定的提升。(本文来源于《国防科学技术大学》期刊2005-04-01）
谓词执行论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
谓词执行论文参考文献
[1].郝鹏,郑征,张震宇,高乙超,宫成.基于谓词执行信息分析的自适应缺陷定位算法[J].计算机学报.2014
[2].李伟,郑征,郝鹏,高乙超,饶培峰.基于谓词执行序列的软件缺陷定位算法[J].计算机学报.2013
[3].邓春华,安虹,路璐,王耀彬.分片式处理器上的谓词执行技术优化[J].小型微型计算机系统.2012
[4].邓春华.分片式处理器上谓词执行技术的实现与优化[D].中国科学技术大学.2011
[5].王莉,安虹,王耀彬,任永青,从明.谓词执行技术在类数据流体系结构中的实现和优化[J].小型微型计算机系统.2010
[6].王凤芹,胡定磊,刘春林.一种基于谓词执行优化技术的寄存器分配算法[J].计算机研究与发展.2006
[7].王凤芹.基于谓词执行的编译优化技术的研究与实现[D].国防科学技术大学.2005
[8].田祖伟.IA-64谓词执行研究[J].湘潭师范学院学报(自然科学版).2005
[9].田祖伟,赵克佳,汪小飞.GCC基于IA-64谓词执行的IF转换技术研究[J].微电子学与计算机.2005
[10].田祖伟.基于IA-64谓词执行的IF转换技术研究[D].国防科学技术大学.2005
论文知识图
