PARTIAL VECTORIZATION COMPILATION SYSTEM
    1.
    发明申请
    PARTIAL VECTORIZATION COMPILATION SYSTEM 有权
    部分矢量编译系统

    公开(公告)号:US20140122832A1

    公开(公告)日:2014-05-01

    申请号:US13995721

    申请日:2012-10-25

    CPC classification number: G06F9/30036 G06F8/433 G06F8/4441 G06F8/452

    Abstract: Generally, this disclosure provides technologies for generating and executing partially vectorized code that may include backward dependencies within a loop body of the code to be vectorized. The method may include identifying backward dependencies within a loop body of the code; selecting one or more ranges of iterations within the loop body, wherein the selected ranges exclude the identified backward dependencies; and vectorizing the selected ranges. The system may include a vector processor configured to provide predicated vector instruction execution, loop iteration range enabling, and dynamic loop dependence checking.

    Abstract translation: 通常,本公开提供了用于生成和执行部分向量化代码的技术,其可以包括要被矢量化的代码的循环体内的后向依赖性。 该方法可以包括识别代码的循环体内的后向依赖性; 在所述循环体内选择一个或多个迭代范围,其中所选择的范围排除所识别的后向依赖性; 并对所选范围进行向量化。 该系统可以包括被配置为提供预测向量指令执行,循环迭代范围使能和动态循环依赖性检查的向量处理器。

    Mechanism to optimize speculative parallel threading
    2.
    发明授权
    Mechanism to optimize speculative parallel threading 失效
    优化投机平行线程的机制

    公开(公告)号:US07627864B2

    公开(公告)日:2009-12-01

    申请号:US11167409

    申请日:2005-06-27

    CPC classification number: G06F9/3851 G06F9/3009 G06F9/3842

    Abstract: A method to optimize speculative parallel thread execution comprises selecting a plurality of partition candidate pairs for speculative parallel thread execution, transforming each partition candidate pair of the plurality of partition candidate pairs to improve the expected performance gain of each pair, and selecting a set of one or more transformed partition candidate pairs that do not interfere with each other and produce a maximum expected performance gain.

    Abstract translation: 优化推测性并行线程执行的方法包括选择多个用于推测性并行线程执行的分区候选对,变换多个分区候选对中的每个分区候选对以提高每对的预期性能增益,并且选择一组 或更多变换的分区候选对,其不会彼此干扰并产生最大预期性能增益。

    Statement shifting to increase parallelism of loops
    3.
    发明申请
    Statement shifting to increase parallelism of loops 有权
    语句转移以增加循环的并行性

    公开(公告)号:US20070157184A1

    公开(公告)日:2007-07-05

    申请号:US11321816

    申请日:2005-12-29

    CPC classification number: G06F8/452

    Abstract: A method for statement shifting to increase the parallelism of loops includes constructing a data dependence graph (DDG) to represent dependences between statements in a loop, constructing a basic equations group from the DDG, constructing a dependence equations group derived in part from the basic equations group, and determining a shifting vector for the loop from the dependence equations group, wherein the shifting vector to represent an offset to apply to each statement in the loop for statement shifting. Other embodiments are also disclosed.

    Abstract translation: 用于语句移位以增加循环并行性的方法包括构建数据依赖图(DDG)以表示循环中的语句之间的依赖关系,从DDG构建基本方程组,构建部分基本方程式导出的依赖方程组 并且从所述依赖方程组确定所述循环的移动向量,其中所述移位向量表示要应用于所述循环中用于语句移位的每个语句的偏移量。 还公开了其他实施例。

    Method and system for intermediate representation of source code
    5.
    发明授权
    Method and system for intermediate representation of source code 有权
    源代码的中间表示方法和系统

    公开(公告)号:US08296748B2

    公开(公告)日:2012-10-23

    申请号:US12178842

    申请日:2008-07-24

    CPC classification number: G06F8/433

    Abstract: A method to provide effective control and data flow information in an Intermediate Representation (IR) form. A Path Sensitive single Assignment (PSA) IR form with effective and explicit control and data path information supports control flow sensitive optimizations such as path sensitive symbolic substitution, array privatization and speculative multi threading. In the definition of PSA form, besides defining new versioned variables, the gamma functions keep control path information. The gamma function in PSA form keeps the basic attribute of SSA IR form and only one definition exists for each use. Therefore, all existing Single Static Assignment (SSA) IR form based analysis can be applied in PSA form. The gamma function in PSA form keeps all essential control flow information and eliminates unnecessary predicates at the same time.

    Abstract translation: 一种以中间表示(IR)形式提供有效控制和数据流信息的方法。 路径敏感单分配(PSA)具有有效和显式控制和数据路径信息的IR形式支持控制流敏感优化,如路径敏感符号替换,数组私有化和投机多线程。 在PSA形式的定义中,除了定义新的版本变量之外,伽马函数还保留了控制路径信息。 PSA形式的伽玛函数保持SSA IR形式的基本属性,并且每次使用只存在一个定义。 因此,所有现有的单静态分配(SSA)IR形式分析可以以PSA形式应用。 PSA形式的伽玛功能保留所有必要的控制流信息,同时消除不必要的谓词。

    Mechanism to optimize speculative parallel threading
    6.
    发明申请
    Mechanism to optimize speculative parallel threading 失效
    优化投机平行线程的机制

    公开(公告)号:US20070011684A1

    公开(公告)日:2007-01-11

    申请号:US11167409

    申请日:2005-06-27

    CPC classification number: G06F9/3851 G06F9/3009 G06F9/3842

    Abstract: A method to optimize speculative parallel thread execution comprises selecting a plurality of partition candidate pairs for speculative parallel thread execution, transforming each partition candidate pair of the plurality of partition candidate pairs to improve the expected performance gain of each pair, and selecting a set of one or more transformed partition candidate pairs that do not interfere with each other and produce a maximum expected performance gain.

    Abstract translation: 优化推测性并行线程执行的方法包括选择多个用于推测性并行线程执行的分区候选对,变换多个分区候选对中的每个分区候选对以提高每对的预期性能增益,并且选择一组 或更多变换的分区候选对,其不会彼此干扰并产生最大预期性能增益。

    Methods and apparatus for software value prediction
    8.
    发明申请
    Methods and apparatus for software value prediction 审中-公开
    软件价值预测的方法和装置

    公开(公告)号:US20050144604A1

    公开(公告)日:2005-06-30

    申请号:US10817098

    申请日:2004-04-02

    CPC classification number: G06F11/3612

    Abstract: Methods and apparatus to predict software values are disclosed. In one example, a method identifies a variable associated with one or more machine readable instructions, determines a predicted value of the variable based on a pattern, generates a value prediction instruction to predict a run-time value using the predicted value of the variable based on the pattern, and combines the value prediction instruction with the one or more machine readable instructions.

    Abstract translation: 公开了预测软件价值的方法和装置。 在一个示例中,方法识别与一个或多个机器可读指令相关联的变量,基于模式确定变量的预测值,生成值预测指令,以使用基于变量的预测值来预测运行时间值 并且将所述值预测指令与所述一个或多个机器可读指令组合。

    Methods and apparatus to compile programs to use speculative parallel threads
    9.
    发明申请
    Methods and apparatus to compile programs to use speculative parallel threads 审中-公开
    编译程序的方法和设备使用推测的并行线程

    公开(公告)号:US20050144602A1

    公开(公告)日:2005-06-30

    申请号:US10734959

    申请日:2003-12-12

    CPC classification number: G06F8/41

    Abstract: Methods and apparatus are disclosed to compile programs to use speculative parallel threads. An example method disclosed herein identifies a set of speculative parallel thread candidates; determines misspeculation cost values for at least some of the speculative parallel thread candidates; selects a set of speculative parallel threads from the set of speculative parallel thread candidates based on the cost values; and generates program code based on the set of speculative parallel threads.

    Abstract translation: 披露方法和装置来编译程序以使用推测性的并行线程。 这里公开的示例性方法标识一组推测性并行线程候选; 确定至少一些投机并行线程候选者的错误成本值; 基于成本值从投机并行线程候选组中选择一组投机并行线程; 并基于一组推测性并行线程生成程序代码。

    Method and apparatus for prediction for fork and join instructions in speculative execution
    10.
    发明申请
    Method and apparatus for prediction for fork and join instructions in speculative execution 有权
    用于在推测执行中预测叉和连接指令的方法和装置

    公开(公告)号:US20050125645A1

    公开(公告)日:2005-06-09

    申请号:US10731567

    申请日:2003-12-08

    Abstract: A method and apparatus for enabling the speculative forking of a speculative thread is disclosed. In one embodiment, a speculative fork instruction is conditioned by the results of a fork predictor. The fork predictor may issue predictions as to whether or not a speculative thread would execute desirably. The fork predictor may be implemented as a modified branch predictor circuit, and may have execution history updates entered by a determination of whether or not the execution of a speculative thread was or would have been desirable.

    Abstract translation: 公开了一种用于使投机螺纹的推测性分叉的方法和装置。 在一个实施例中,推测叉指令由叉预测器的结果来调节。 叉预测器可以发出关于推测线程是否期望执行的预测。 叉预测器可以被实现为修改的分支预测器电路,并且可以具有通过确定推测线程的执行是否是期望的输入而输入的执行历史更新。

Patent Agency Ranking