会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Building approximate data dependences with a moving window
    • 使用移动窗口构建近似数据依赖关系
    • US08667260B2
    • 2014-03-04
    • US12717985
    • 2010-03-05
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienKai-Ting A. WangXiaotong Zhuang
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienKai-Ting A. WangXiaotong Zhuang
    • G06F9/44
    • G06F9/32
    • Mechanisms for building approximate data dependences using a moving look-back window are provided. The mechanisms track dependence information for memory accesses over iterations of execution of a portion of code. The mechanisms receive a memory access of an iteration of the portion of code, the memory access having an address for access the memory and an access type indicating at least one of a read or a write access type. An entry in a moving look-back window data structure is generated corresponding to a memory location accessed by the memory access. The entry comprises at least an identification of the address, the access type, and an iteration number corresponding to the iteration of the memory access. The moving look-back window data structure is utilized to determine dependence information for memory accesses over a plurality of iterations of the portion of code.
    • 提供了使用移动后视窗构建近似数据依赖关系的机制。 机制跟踪代码的一部分执行迭代的存储器访问的依赖信息。 机构接收代码部分的迭代的存储器访问,存储器访问具有用于访问存储器的地址和指示读取或写入访问类型中的至少一个的访问类型。 对应于由存储器访问访问的存储器位置产生移动后视窗数据结构中的条目。 该条目至少包括对应于存储器访问的迭代的地址的标识,访问类型和迭代号。 移动后视窗数据结构用于确定代码部分的多个迭代中的存储器访问的依赖信息。
    • 3. 发明授权
    • Domain stretching for an advanced dual-representation polyhedral loop transformation framework
    • 领域拉伸为先进的双重表示多面体环转换框架
    • US08087011B2
    • 2011-12-27
    • US11861503
    • 2007-09-26
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • G06F9/45G06F9/44
    • G06F8/452
    • Mechanisms for domain stretching for an advanced dual-representation polyhedral loop transformation framework are provided. The mechanisms of the illustrative embodiments address the weaknesses of the known polyhedral loop transformation based approaches by providing mechanisms for performing code generation transformations on individual statement instances in an intermediate representation generated by the polyhedral loop transformation optimization of the source code. These code generation transformations have the important property that they do not change program order of the statements in the intermediate representation. This property allows the result of the code generation transformations to be provided back to the polyhedral loop transformation mechanisms in a program statement view, via a new re-entrance path of the illustrative embodiments, for additional optimization. In addition, mechanisms are provided for stretching the domains of statements in a program loop view of the source code to thereby normalize the domains.
    • 提供了用于高级双重表示多面体环转换框架的域拉伸的机制。 说明性实施例的机制通过提供用于在通过源代码的多面体环转换优化生成的中间表示中对各个语句实例执行代码生成变换的机制来解决已知的基于多面体循环变换的方法的弱点。 这些代码生成转换具有重要的属性,它们不改变中间表示中的语句的程序顺序。 该属性允许通过示例性实施例的新的重新导入路径将代码生成转换的结果提供给程序语句视图中的多面体循环变换机制,用于附加优化。 另外,提供了用于在源代码的程序循环视图中拉伸语句的域的机制,从而使域标准化。
    • 4. 发明授权
    • Stable transitions in the presence of conditionals for an advanced dual-representation polyhedral loop transformation framework
    • 在存在高级双重表示多面体循环转换框架的条件下的稳定转换
    • US08056065B2
    • 2011-11-08
    • US11861512
    • 2007-09-26
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • G06F9/45
    • G06F8/447
    • Mechanisms for stable transitions in the presence of conditionals for an advanced dual-representation polyhedral loop transformation framework are provided. The mechanisms of the illustrative embodiments address the weaknesses of the known polyhedral loop transformation based approaches by providing mechanisms for performing code generation transformations on individual statement instances in an intermediate representation generated by the polyhedral loop transformation optimization of the source code. These code generation transformations have the important property that they do not change program order of the statements in the intermediate representation. This property allows the result of the code generation transformations to be provided back to the polyhedral loop transformation mechanisms in a program statement view, via a new re-entrance path of the illustrative embodiments, for additional optimization. In addition, mechanisms are provided for ensuring code stabilization in the presence of conditions such that code bloat is not encountered during re-entrance.
    • 提供了在高级双重表示多面体环转换框架的条件下存在稳定转换的机制。 说明性实施例的机制通过提供用于在通过源代码的多面体环转换优化生成的中间表示中对各个语句实例执行代码生成变换的机制来解决已知的基于多面体循环变换的方法的弱点。 这些代码生成转换具有重要的属性,它们不改变中间表示中的语句的程序顺序。 该属性允许通过示例性实施例的新的重新导入路径将代码生成转换的结果提供给程序语句视图中的多面体循环变换机制,用于附加优化。 此外,还提供了在存在条件的情况下确保代码稳定的机制,使得在重入期间不会遇到代码膨胀。
    • 7. 发明申请
    • System and Method for Domain Stretching for an Advanced Dual-Representation Polyhedral Loop Transformation Framework
    • 用于高级双表示多面体环转换框架的域拉伸的系统和方法
    • US20090307673A1
    • 2009-12-10
    • US11861503
    • 2007-09-26
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • G06F9/45
    • G06F8/452
    • A system and method for domain stretching for an advanced dual-representation polyhedral loop transformation framework are provided. The mechanisms of the illustrative embodiments address the weaknesses of the known polyhedral loop transformation based approaches by providing mechanisms for performing code generation transformations on individual statement instances in an intermediate representation generated by the polyhedral loop transformation optimization of the source code. These code generation transformations have the important property that they do not change program order of the statements in the intermediate representation. This property allows the result of the code generation transformations to be provided back to the polyhedral loop transformation mechanisms in a program statement view, via a new re-entrance path of the illustrative embodiments, for additional optimization. In addition, mechanisms are provided for stretching the domains of statements in a program loop view of the source code to thereby normalize the domains.
    • 提供了一种用于高级双重表示多面体环转换框架的域拉伸的系统和方法。 说明性实施例的机制通过提供用于在通过源代码的多面体环转换优化生成的中间表示中对各个语句实例执行代码生成变换的机制来解决已知的基于多面体循环变换的方法的弱点。 这些代码生成转换具有重要的属性,它们不改变中间表示中的语句的程序顺序。 该属性允许通过示例性实施例的新的重新导入路径将代码生成转换的结果提供给程序语句视图中的多面体循环变换机制,用于附加优化。 另外,提供了用于在源代码的程序循环视图中拉伸语句的域的机制,从而使域标准化。
    • 9. 发明申请
    • System and Method for Stable Transitions in the Presence of Conditionals for an Advanced Dual-Representation Polyhedral Loop Transformation Framework
    • 用于高级双重表示多面体环转换框架条件存在的稳定过渡的系统和方法
    • US20090083722A1
    • 2009-03-26
    • US11861512
    • 2007-09-26
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • Alexandre E. EichenbergerJohn K. P. O'BrienKathryn M. O'BrienNicolas T. Vasilache
    • G06F9/45
    • G06F8/447
    • A system and method for stable transitions in the presence of conditionals for an advanced dual-representation polyhedral loop transformation framework are provided. The mechanisms of the illustrative embodiments address the weaknesses of the known polyhedral loop transformation based approaches by providing mechanisms for performing code generation transformations on individual statement instances in an intermediate representation generated by the polyhedral loop transformation optimization of the source code. These code generation transformations have the important property that they do not change program order of the statements in the intermediate representation. This property allows the result of the code generation transformations to be provided back to the polyhedral loop transformation mechanisms in a program statement view, via a new re-entrance path of the illustrative embodiments, for additional optimization. In addition, mechanisms are provided for ensuring code stabilization in the presence of conditions such that code bloat is not encountered during re-entrance.
    • 提供了一种用于高级双重表示多面体环转换框架的条件存在的稳定转换的系统和方法。 说明性实施例的机制通过提供用于在通过源代码的多面体环转换优化生成的中间表示中对各个语句实例执行代码生成变换的机制来解决已知的基于多面体循环变换的方法的弱点。 这些代码生成转换具有重要的属性,它们不改变中间表示中的语句的程序顺序。 该属性允许通过示例性实施例的新的重新导入路径将代码生成转换的结果提供给程序语句视图中的多面体循环变换机制,用于附加优化。 此外,还提供了在存在条件的情况下确保代码稳定的机制,使得在重入期间不会遇到代码膨胀。