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

1. 发明申请

US20120117549A1 Method and Data Processing System for Partial Inlining with Software Based Restart 失效
标题翻译：基于软件重新启动的部分内联方法和数据处理系统
公开(公告)号：US20120117549A1
公开(公告)日：2012-05-10
申请号：US13022914
申请日：2011-02-08
申请人： Patrick R. Doyle , James I.A. Gartley , Derek B. Inglis , Vijay Sundaresan
发明人： Patrick R. Doyle , James I.A. Gartley , Derek B. Inglis , Vijay Sundaresan
IPC分类号： G06F9/45
CPC分类号： G06F8/4443
摘要： A compiler and method of optimizing code by partial inlining of a subset of blocks of called blocks of code into calling blocks of code. A restart of the called blocks of code is provided for the case where non-inlined blocks of code are reached at run time. Blocks selected for partial inlining may include global side effects depending on the computer program environment. Global side effects in the selected blocks of code leading to a restart are sanitized in order to defer changes to the global state of the computer program.
摘要翻译：通过将被称为块的块的子集的子集部分内联到调用代码块来优化代码的编译器和方法。对于在运行时达到非内联代码块的情况，提供了被调用的代码块的重新启动。为部分内联选择的块可能包括取决于计算机程序环境的全局副作用。导致重新启动的所选代码块中的全局副作用被消毒，以便将更改推迟到计算机程序的全局状态。

2. 发明授权

US08701097B2 Partial inlining with software based restart 失效
标题翻译：部分内联与基于软件的重新启动
公开(公告)号：US08701097B2
公开(公告)日：2014-04-15
申请号：US13022914
申请日：2011-02-08
申请人： Patrick R. Doyle , James I. A. Gartley , Derek B. Inglis , Vijay Sundaresan
发明人： Patrick R. Doyle , James I. A. Gartley , Derek B. Inglis , Vijay Sundaresan
IPC分类号： G06F9/45
CPC分类号： G06F8/4443
摘要： A compiler and method of optimizing code by partial inlining of a subset of blocks of called blocks of code into calling blocks of code. A restart of the called blocks of code is provided for the case where non-inlined blocks of code are reached at run time. Blocks selected for partial inlining may include global side effects depending on the computer program environment. Global side effects in the selected blocks of code leading to a restart are sanitized in order to defer changes to the global state of the computer program.
摘要翻译：通过将被称为块的块的子集的子集部分内联到调用代码块来优化代码的编译器和方法。对于在运行时达到非内联代码块的情况，提供了被调用的代码块的重新启动。为部分内联选择的块可能包括取决于计算机程序环境的全局副作用。导致重新启动的所选代码块中的全局副作用被消毒，以便将更改推迟到计算机程序的全局状态。

3. 发明授权

US08615748B2 Control flow analysis using deductive reaching definitions 有权
标题翻译：使用演绎达成定义的控制流分析
公开(公告)号：US08615748B2
公开(公告)日：2013-12-24
申请号：US12903552
申请日：2010-10-13
申请人： Patrick R. Doyle , Allan H. Kielstra , Pramod Ramarao
发明人： Patrick R. Doyle , Allan H. Kielstra , Pramod Ramarao
IPC分类号： G06F9/45
CPC分类号： G06F8/75 , G06F8/433
摘要： A computer-implemented process for deductive reaching definition analysis receives a control flow graph to form a set of received blocks and edges, performs traditional reaching definitions to produce bit-vectors OUT(b), GEN(b) and KILL(b) for each block in the set of received blocks and receives impossibility indicators for a set of definitions that are impossible on specific edges. The computer-implemented process further performs deduction operations using a combination of the bit-vectors and impossibility indicators to deduce that additional definitions cannot reach certain blocks to create resulting reachability information and provides the resulting reachability information as a result to a requestor. A related system and program product is also provided.
摘要翻译：用于演绎到达定义分析的计算机实现的过程接收控制流程图以形成一组接收的块和边缘，执行传统的达成定义以产生每个的向量OUT（b），GEN（b）和KILL（b）在一组接收到的块中阻塞，并且收到在特定边缘不可能的一组定义的不可能性指示符。计算机实现的过程进一步使用比特向量和不可能性指示符的组合来执行扣除操作，以推断附加定义不能到达某些块以创建所得到的可达性信息，并且将结果可达性信息提供给请求者。还提供了相关的系统和程序产品。

4. 发明申请

US20110191761A1 Control Flow Analysis Using Deductive Reaching Definitions 有权
标题翻译：使用演绎到达定义的控制流分析
公开(公告)号：US20110191761A1
公开(公告)日：2011-08-04
申请号：US12903552
申请日：2010-10-13
申请人： Patrick R. Doyle , Allan H. Kielstra , Pramod Ramarao
发明人： Patrick R. Doyle , Allan H. Kielstra , Pramod Ramarao
IPC分类号： G06F9/45
CPC分类号： G06F8/75 , G06F8/433
摘要： A computer-implemented process for deductive reaching definition analysis receives a control flow graph to form a set of received blocks and edges, performs traditional reaching definitions to produce bit-vectors OUT(b), GEN(b) and KILL(b) for each block in the set of received blocks and receives impossibility indicators for a set of definitions that are impossible on specific edges. The computer-implemented process further performs deduction operations using a combination of the bit-vectors and impossibility indicators to deduce that additional definitions cannot reach certain blocks to create resulting reachability information and provides the resulting reachability information as a result to a requestor. A related system and program product is also provided.
摘要翻译：用于演绎到达定义分析的计算机实现的过程接收控制流程图以形成一组接收的块和边缘，执行传统的达成定义以产生每个的向量OUT（b），GEN（b）和KILL（b）在一组接收到的块中阻塞，并且收到在特定边缘不可能的一组定义的不可能性指示符。计算机实现的过程进一步使用比特向量和不可能性指示符的组合来执行扣除操作，以推断附加定义不能到达某些块以创建所得到的可达性信息，并且将结果可达性信息提供给请求者。还提供了相关的系统和程序产品。

5. 发明申请

US20120096448A1 APPARATUS AND METHOD TO SELECTIVELY REMOVE MEMOIZING FUNCTIONS FROM PROGRAM CODE 失效
标题翻译：从程序代码中选择删除备忘功能的设备和方法
公开(公告)号：US20120096448A1
公开(公告)日：2012-04-19
申请号：US12903672
申请日：2010-10-13
申请人： Patrick R. Doyle
发明人： Patrick R. Doyle
IPC分类号： G06F9/45
CPC分类号： G06F8/4441 , G06F8/433
摘要： A method to selectively remove memoizing functions from computer program code is disclosed herein. In one embodiment, such a method includes locating a memoizing function call in program code. The method then replaces the memoizing function call with a simple object allocation. Using escape analysis, the method determines whether the replacement is legal. If the replacement is not legal, the method removes the simple object allocation and reinserts the original memoizing function call in its place. If the replacement is legal, the method retains the simple object allocation in the program code. If desired, certain compiler optimizations, such as stack allocation and scalarization, may then be performed on the simple object allocation. A corresponding computer program product and apparatus are also disclosed herein.
摘要翻译：本文公开了一种从计算机程序代码中选择性地去除记忆功能的方法。在一个实施例中，这种方法包括在程序代码中定位记忆功能调用。然后，该方法用简单的对象分配替换记忆函数调用。使用逃逸分析，该方法确定替换是否合法。如果替换不合法，该方法将删除简单的对象分配并重新插入原始的记忆函数调用。如果替换是合法的，则该方法保留程序代码中的简单对象分配。如果需要，可以在简单对象分配上执行某些编译器优化，例如堆栈分配和标量化。本文还公开了相应的计算机程序产品和装置。

6. 发明授权

US08713289B2 Efficiently emulating computer architecture condition code settings without executing branch instructions 有权
标题翻译：有效地模拟计算机体系结构条件代码设置，而不执行分支指令
公开(公告)号：US08713289B2
公开(公告)日：2014-04-29
申请号：US11668623
申请日：2007-01-30
申请人： Reid T. Copeland , Patrick R. Doyle , Charles B. Hall , Andrew Johnson , Ali I. Sheikh
发明人： Reid T. Copeland , Patrick R. Doyle , Charles B. Hall , Andrew Johnson , Ali I. Sheikh
IPC分类号： G06F9/455
CPC分类号： G06F9/3017 , G06F9/45504
摘要： Emulation of source machine instructions is provided in which target machine CPU condition codes are employed to produce emulated condition code settings without the use, encoding or generation of branching instructions.
摘要翻译：提供源机器指令的仿真，其中使用目标机器CPU状态代码来产生仿真条件代码设置，而不使用，编码或生成分支指令。

7. 发明授权

US08418160B2 Apparatus and method to selectively remove memoizing functions from program code 失效
标题翻译：从程序代码中选择性地去除记忆功能的装置和方法
公开(公告)号：US08418160B2
公开(公告)日：2013-04-09
申请号：US12903672
申请日：2010-10-13
申请人： Patrick R. Doyle
发明人： Patrick R. Doyle
IPC分类号： G06F9/45
CPC分类号： G06F8/4441 , G06F8/433
摘要： A method to selectively remove memoizing functions from computer program code includes initially locating a memoizing function call in the program code. The method then replaces the memoizing function call with a simple object allocation. Using escape analysis, the method determines whether the replacement is legal. If the replacement is not legal, the method removes the simple object allocation and reinserts the original memoizing function call in its place. If the replacement is legal, the method retains the simple object allocation in the program code. If desired, certain compiler optimizations, such as stack allocation and scalarization, may then be performed on the simple object allocation. A corresponding computer program product and apparatus are also disclosed.
摘要翻译：从计算机程序代码中选择性地去除记忆功能的方法包括首先在程序代码中定位记忆功能调用。然后，该方法用简单的对象分配替换记忆函数调用。使用逃逸分析，该方法确定替换是否合法。如果替换不合法，该方法将删除简单的对象分配并重新插入原始的记忆函数调用。如果替换是合法的，则该方法保留程序代码中的简单对象分配。如果需要，可以在简单对象分配上执行某些编译器优化，例如堆栈分配和标量化。还公开了相应的计算机程序产品和装置。

8. 发明申请

US20080184014A1 METHOD FOR EFFICIENTLY EMULATING COMPUTER ARCHITECTURE CONDITION CODE SETTINGS 有权
标题翻译：有效地模拟计算机体系结构条件设置的方法
公开(公告)号：US20080184014A1
公开(公告)日：2008-07-31
申请号：US11668623
申请日：2007-01-30
申请人： Reid T. Copeland , Patrick R. Doyle , Charles B. Hall , Andrew Johnson , Ali I. Sheikh
发明人： Reid T. Copeland , Patrick R. Doyle , Charles B. Hall , Andrew Johnson , Ali I. Sheikh
IPC分类号： G06F9/30
CPC分类号： G06F9/3017 , G06F9/45504
摘要： Emulation of source machine instructions is provided in which target machine CPU condition codes are employed to produce emulated condition code settings without the use, encoding or generation of branching instructions.
摘要翻译：提供源机器指令的仿真，其中使用目标机器CPU状态代码来产生仿真条件代码设置，而不使用，编码或生成分支指令。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式