专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06834383B2 Method for binary-level branch reversal on computer architectures supporting predicated execution 失效
标题翻译：支持预处理执行的计算机体系结构的二进制级分支反转方法
公开(公告)号：US06834383B2
公开(公告)日：2004-12-21
申请号：US09994258
申请日：2001-11-26
申请人： David Mitford Gillies , Ronnie Ira Chaiken
发明人： David Mitford Gillies , Ronnie Ira Chaiken
IPC分类号： G06F944
CPC分类号： G06F9/30058 , G06F8/44 , G06F9/30072 , G06F9/3842
摘要： Described is a method that identifies a predicate expression representing conditions in predicated assembly language instructions that determine a direction of a conditional branch instruction. The predicate expression is employed to enable a transformation to be made that causes the conditional branch instruction to trigger, or execute, when an opposite condition is true. A method is directed to producing a binary-level conditional branch reversal within a binary program on a computer architecture that supports a predicated execution. The method includes obtaining a predicate expression representing a condition that influences a direction of program flow of the binary-level conditional branch to be reversed, determining a binary-level transformation that causes the binary-level conditional branch to be triggered when an opposite condition is true, and modifying the binary-level conditional branch with the determined binary-level transformation, wherein the binary-level conditional branch is reversed.
摘要翻译：描述了一种识别表示条件分支指令的方向的预测汇编语言指令中的条件的谓词表达式的方法。使用谓词表达式以使得能够进行转换，导致条件分支指令在相反条件为真时触发或执行。一种方法涉及在支持预定执行的计算机体系结构上的二进制程序中产生二进制级条件分支反转。该方法包括：获得表示影响要反转的二进制级条件分支的节目流的方向的条件的谓词表达式，确定当相反的条件是相反的条件时，引起二进制级条件分支被触发的二进制级变换真的，并用确定的二进制级变换修改二进制级条件分支，其中二进制级条件分支被反转。

2. 发明授权

US07350061B2 Assigning free register to unmaterialized predicate in inverse predicate expression obtained for branch reversal in predicated execution system 失效
标题翻译：在预测执行系统中为分支反转获得的反谓词表达式中将无效寄存器分配给非物质谓词
公开(公告)号：US07350061B2
公开(公告)日：2008-03-25
申请号：US10973326
申请日：2004-10-25
申请人： David Mitford Gillies , Ronnie Ira Chaiken
发明人： David Mitford Gillies , Ronnie Ira Chaiken
IPC分类号： G06F9/44
CPC分类号： G06F9/30058 , G06F8/44 , G06F9/30072 , G06F9/3842
摘要： Described is a method that identifies a predicate expression representing conditions in predicated assembly language instructions that determine a direction of a conditional branch instruction. The predicate expression is employed to enable a transformation to be made that causes the conditional branch instruction to trigger, or execute, when an opposite condition is true. A method is directed to producing a binary-level conditional branch reversal within a binary program on a computer architecture that supports a predicated execution. The method includes obtaining a predicate expression representing a condition that influences a direction of program flow of the binary-level conditional branch to be reversed, determining a binary-level transformation that causes the binary-level conditional branch to be triggered when an opposite condition is true, and modifying the binary-level conditional branch with the determined binary-level transformation, wherein the binary-level conditional branch is reversed.
摘要翻译：描述了一种识别表示条件分支指令的方向的预测汇编语言指令中的条件的谓词表达式的方法。使用谓词表达式以使得能够进行转换，导致条件分支指令在相反条件为真时触发或执行。一种方法涉及在支持预定执行的计算机体系结构上的二进制程序中产生二进制级条件分支反转。该方法包括：获得表示影响要反转的二进制级条件分支的节目流的方向的条件的谓词表达式，确定当相反的条件是相反的条件时引起二进制级条件分支被触发的二进制级变换真的，并用确定的二进制级变换修改二进制级条件分支，其中二进制级条件分支被反转。

3. 发明授权

US07426719B2 Method and system for rewriting unwind data in the presence of exceptions 有权
标题翻译：在存在异常的情况下重写展开数据的方法和系统
公开(公告)号：US07426719B2
公开(公告)日：2008-09-16
申请号：US09997056
申请日：2001-11-29
申请人： Ronnie Ira Chaiken , David Mitford Gillies
发明人： Ronnie Ira Chaiken , David Mitford Gillies
IPC分类号： G06F9/44
CPC分类号： G06F9/4484
摘要： Described is a system and method of regenerating stack unwind data in the presence of exceptions. The system is directed to generating metadata for use during stack unwinding. The system includes procedures, a first plurality of metadata, and an unwind rewriter. Each metadata is associated with a corresponding procedure in the procedures. The unwind rewriter generates new metadata from the first plurality of metadata in response to a modification of the sequence of binary instructions within a procedure, such that the new metadata accurately represents the modified sequence of binary instructions. The method regenerates metadata in response to a binary modification to a procedure by receiving a first group of metadata associated with the unmodified procedure, parsing the first group of metadata, and generating a second group of metadata that accurately represents the binary modification to the procedure.
摘要翻译：描述了在存在异常的情况下重新生成堆叠展开数据的系统和方法。该系统旨在生成用于堆栈展开期间使用的元数据。该系统包括程序，第一多个元数据和退绕重写器。每个元数据与过程中的相应过程相关联。回卷重写器响应于过程中的二进制指令序列的修改而从第一多个元数据生成新的元数据，使得新的元数据准确地表示二进制指令的修改的序列。所述方法通过接收与所述未修改过程相关联的第一组元数据，解析所述第一组元数据以及生成准确地表示所述过程的二进制修改的第二组元数据来响应于过程的二进制修改而重新生成元数据。

4. 发明授权

US07203936B2 Determining guarding predicate from partition graph based deduction to generate inverse predicate expression for branch reversal 失效
标题翻译：从基于分区图的推导确定保护谓词以生成分支反转的反谓词表达式
公开(公告)号：US07203936B2
公开(公告)日：2007-04-10
申请号：US10934018
申请日：2004-09-02
申请人： David Mitford Gillies , Ronnie Ira Chaiken
发明人： David Mitford Gillies , Ronnie Ira Chaiken
IPC分类号： G06F9/44
CPC分类号： G06F9/30058 , G06F8/44 , G06F9/30072 , G06F9/3842
摘要： Described is a method that identifies a predicate expression representing conditions in predicated assembly language instructions that determine a direction of a conditional branch instruction. The predicate expression is employed to enable a transformation to be made that causes the conditional branch instruction to trigger, or execute, when an opposite condition is true. A method is directed to producing a binary-level conditional branch reversal within a binary program on a computer architecture that supports a predicated execution. The method includes obtaining a predicate expression representing a condition that influences a direction of program flow of the binary-level conditional branch to be reversed, determining a binary-level transformation that causes the binary-level conditional branch to be triggered when an opposite condition is true, and modifying the binary-level conditional branch with the determined binary-level transformation, wherein the binary-level conditional branch is reversed.
摘要翻译：描述了一种识别表示条件分支指令的方向的预测汇编语言指令中的条件的谓词表达式的方法。使用谓词表达式以使得能够进行转换，导致条件分支指令在相反条件为真时触发或执行。一种方法涉及在支持预定执行的计算机体系结构上的二进制程序中产生二进制级条件分支反转。该方法包括：获得表示影响要反转的二进制级条件分支的节目流的方向的条件的谓词表达式，确定当相反的条件是相反的条件时，引起二进制级条件分支被触发的二进制级变换真的，并用确定的二进制级变换修改二进制级条件分支，其中二进制级条件分支被反转。

5. 发明授权

US06249910B1 Apparatus and method for incrementally update static single assignment form for cloned variable name definitions 失效
标题翻译：用于逐步更新克隆变量名称定义的静态单一分配表单的设备和方法
公开(公告)号：US06249910B1
公开(公告)日：2001-06-19
申请号：US09072282
申请日：1998-05-04
申请人： Dz-ching Ju , David Mitford Gillies , A. V. S. Sastry
发明人： Dz-ching Ju , David Mitford Gillies , A. V. S. Sastry
IPC分类号： G06F945
CPC分类号： G06F8/433 , G06F8/443
摘要： An improved technique for incrementally updating a source code representation having cloned variable name definitions to static single assignment (SSA) form is described. The technique receives an intermediate representation of a source program in non-SSA form having one or more cloned variable name definitions that correspond to an original variable name. All the original variable names and their corresponding cloned variable names are collected. An iterative dominance frontier set for those nodes containing a cloned variable name definition or an original variable name definition is formed. This iterative dominance frontier set is then used to determine the nodes in which a single phi-function is inserted for each original variable name. Each use of an original variable name is changed to the cloned variable name that reaches the use. The arguments of the inserted phi-functions are then updated with the cloned variable names that reach the inserted phi-functions. Finally, all dead instructions including the original variable definitions, redundant cloned variable definitions, and redundant inserted phi-functions are eliminated.
摘要翻译：描述了一种用于将具有克隆的变量名定义的源代码表示递增地更新为静态单赋值（SSA）形式的改进技术。该技术以非SSA形式接收源程序的中间表示，其具有对应于原始变量名称的一个或多个克隆变量名称定义。收集所有原始变量名称及其相应的克隆变量名称。形成了包含克隆变量名定义或原始变量名定义的节点的迭代优势前沿。然后使用该迭代优势前沿集来确定为每个原始变量名称插入单个phi函数的节点。每个使用原始变量名称都将更改为达到使用的克隆变量名称。然后使用到达插入的phi函数的克隆变量名称更新插入的phi函数的参数。最后，消除了所有死亡指令，包括原始变量定义，冗余克隆变量定义和冗余插入的phi函数。

6. 发明授权

US07707566B2 Software development infrastructure 失效
标题翻译：软件开发基础设施
公开(公告)号：US07707566B2
公开(公告)日：2010-04-27
申请号：US10628054
申请日：2003-07-25
申请人： Vinod K. Grover , Charles L. Mitchell , David Mitford Gillies , Mark Leslie Roberts , Mark Ronald Plesko , David Read Tarditi, Jr. , Andrew James Edwards , Julian Burger , Andrew Edward Ayers , Akella V. S. Sastry
发明人： Vinod K. Grover , Charles L. Mitchell , David Mitford Gillies , Mark Leslie Roberts , Mark Ronald Plesko , David Read Tarditi, Jr. , Andrew James Edwards , Julian Burger , Andrew Edward Ayers , Akella V. S. Sastry
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/20 , G06F8/30 , G06F8/437
摘要： A software development architecture is provided for constructing a wide range of software development tools. A software development tool can be created by integrating a specification specifying functionality specific to a set of software development scenarios into a software development scenario-independent framework. The integrated specification can then be compiled to create the software development tool. Alternatively, integration can be achieved at runtime without access to source code. The architecture can use any combination of the following: a software scenario independent intermediate representation format, one or more exception handling models capable of supporting a plurality of programming language specific exception handling models, a type system capable of representing the type representations of a plurality of source languages, and a code generator capable of generating code targeted for a plurality of execution architectures.
摘要翻译：提供了一个软件开发架构，用于构建广泛的软件开发工具。可以通过将指定一组软件开发场景的功能的规范集成到与软件开发场景无关的框架中来创建软件开发工具。然后可以编译集成规范来创建软件开发工具。或者，可以在运行时实现集成，而无需访问源代码。该架构可以使用以下的任何组合：独立于软件场景的中间表示格式，能够支持多种编程语言特定的异常处理模型的一个或多个异常处理模型，能够表示多个源语言和能够生成针对多个执行架构的代码的代码生成器。

7. 发明授权

US06182284B2 Method and system for eliminating phi instruction resource interferences and redundant copy instructions from static-single-assignment-form computer code 有权
标题翻译：用于从静态单指派形式的计算机代码中消除phi指令资源干扰和冗余复制指令的方法和系统
公开(公告)号：US06182284B2
公开(公告)日：2001-01-30
申请号：US09163677
申请日：1998-09-30
申请人： Vugranam C. Sreedhar , Dz-ching Ju , David Mitford Gillies , Vatsa Santhanam
发明人： Vugranam C. Sreedhar , Dz-ching Ju , David Mitford Gillies , Vatsa Santhanam
IPC分类号： G06F945
CPC分类号： G06F8/433 , G06F8/443
摘要： A method and system for detecting and eliminating interferences between resources in SSA-form &phgr;-instructions so that an optimizing compiler can translate optimized SSA-form code back to non-SSA-form code. The method traverses the control flow graph associated with an SSA-form program or routine in order to analyze each &phgr;-instruction within the SSA-form program or routine. All possible pairs of resources associated with each &phgr;-instruction are analyzed for interference. Once all interferences have been detected, the method inserts copy instructions into the SSA-form intermediate-level code program or routine in order to eliminate the interferences.
摘要翻译：一种用于检测和消除SSA形式phi指令中的资源之间的干扰的方法和系统，使得优化编译器可以将优化的SSA形式代码转换回非SSA形式代码。该方法遍历与SSA形式程序或程序相关联的控制流程图，以便分析SSA形式程序或程序中的每个phi指令。分析与每个phi指令相关联的所有可能的资源对以进行干扰。一旦检测到所有干扰，该方法将复制指令插入到SSA形式的中间级代码程序或例程中，以消除干扰。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式