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

61. 发明授权

US08516452B2 Feedback-directed call graph expansion 有权
标题翻译：反馈导向的调用图扩展
公开(公告)号：US08516452B2
公开(公告)日：2013-08-20
申请号：US12633146
申请日：2009-12-08
申请人： Satish Chandra , Stephen Fink , Manu Sridharan
发明人： Satish Chandra , Stephen Fink , Manu Sridharan
IPC分类号： G06F9/44
CPC分类号： G06F8/433 , G06F9/4491
摘要： A technique for feedback-directed call graph expansion includes performing symbolic analysis on an interprocedural control flow graph representation of software code, skipping over a virtual method call in the control flow graph, using information obtained from the symbolic analysis as feedback to identify a target of the virtual method call, and iterating the symbolic analysis on a modified version of the control flow graph that associates the target with the virtual method.
摘要翻译：用于反馈定向的调用图扩展的技术包括对软件代码的过程间控制流程图表示执行符号分析，在控制流程图中跳过虚拟方法调用，使用从符号分析获得的信息作为反馈来识别目标虚拟方法调用，并且将目标与虚拟方法相关联的控制流图的修改版本迭代符号分析。

62. 发明申请

US20120278581A1 METHOD AND SYSTEM FOR DYNAMIC MEMORY MANAGEMENT 有权
标题翻译：动态记忆管理方法与系统
公开(公告)号：US20120278581A1
公开(公告)日：2012-11-01
申请号：US13365936
申请日：2012-02-03
申请人： Stephen Paul Thomas , William Thomas Charnell , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Wayne Plummer
发明人： Stephen Paul Thomas , William Thomas Charnell , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Wayne Plummer
IPC分类号： G06F12/02
CPC分类号： G06F9/4812 , G06F8/4442 , G06F8/445 , G06F9/4484 , G06F9/449 , G06F9/4491 , G06F9/455 , G06F9/45516 , G06F11/3612 , G06F12/0269 , G06F2209/481 , Y10S707/99932 , Y10S707/99953 , Y10S707/99956
摘要： A computer system which includes a plurality of threads and a garbage collector that traces memory objects and identifies memory objects according to a three-color abstraction. The computer system also includes two methods of deleting compiled code in a self-modifying multi-threaded computer system. The computer system also utilizes a method of handling links between fragments of code in a self-modifying multi-threaded computer system. The computer system also handles patches between two pieces of code.
摘要翻译：一种包括多个线程的计算机系统和一个跟踪存储器对象并根据三色抽象来识别存储器对象的垃圾收集器。计算机系统还包括在自修改多线程计算机系统中删除编译代码的两种方法。计算机系统还利用在自修改多线程计算机系统中处理代码片段之间的链接的方法。计算机系统还处理两段代码之间的补丁。

63. 发明授权

US08127280B2 Method and system for dynamic memory management 有权
标题翻译：动态内存管理方法和系统
公开(公告)号：US08127280B2
公开(公告)日：2012-02-28
申请号：US11771629
申请日：2007-06-29
申请人： Stephen Paul Thomas , William Thomas Charnell , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Wayne Plummer
发明人： Stephen Paul Thomas , William Thomas Charnell , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Wayne Plummer
IPC分类号： G06F9/45
CPC分类号： G06F9/4812 , G06F8/4442 , G06F8/445 , G06F9/4484 , G06F9/449 , G06F9/4491 , G06F9/455 , G06F9/45516 , G06F11/3612 , G06F12/0269 , G06F2209/481 , Y10S707/99932 , Y10S707/99953 , Y10S707/99956
摘要： A computer system which includes a plurality of threads and a garbage collector that traces memory objects and identifies memory objects according to a three-color abstraction. The computer system also includes two methods of deleting compiled code in a self-modifying multi-threaded computer system. The computer system also utilizes a method of handling links between fragments of code in a self-modifying multi-threaded computer system. The computer system also handles patches between two pieces of code.
摘要翻译：一种包括多个线程的计算机系统和一个跟踪存储器对象并根据三色抽象来识别存储器对象的垃圾收集器。计算机系统还包括在自修改多线程计算机系统中删除编译代码的两种方法。计算机系统还利用在自修改多线程计算机系统中处理代码片段之间的链接的方法。计算机系统还处理两段代码之间的补丁。

64. 发明授权

US07793277B2 Compiler apparatus and method for devirtualizing virtual method calls 有权
标题翻译：虚拟化虚拟化方法调用的编译器和方法
公开(公告)号：US07793277B2
公开(公告)日：2010-09-07
申请号：US09948749
申请日：2001-09-07
申请人： William Jon Schmidt
发明人： William Jon Schmidt
IPC分类号： G06F9/45
CPC分类号： G06F9/4491
摘要： A front-end compiler generates unique instructions for virtual method calls in intermediate representation code that may be passed to a back-end compiler. A back-end compiler in accordance with the preferred embodiments receives the intermediate representation code, and processes the unique instructions to generate therefrom equivalent code with explicit method calls, where possible. The machine code from the back-end compiler is then executed using sample inputs to generate profile data. The profile data and intermediate representation code are fed into the back-end compiler, which then generates code that may devirtualize virtual method calls according to the profile data by providing one or more explicit method calls for target methods that have an execution frequency (as indicated by the profile data) that exceeds a predetermined threshold.
摘要翻译：前端编译器可以在可以传递给后端编译器的中间表示代码中为虚拟方法调用生成唯一的指令。根据优选实施例的后端编译器接收中间表示代码，并且在可能的情况下处理独特指令以生成具有显式方法调用的等效代码。后端编译器的机器代码然后使用样本输入执行，以生成配置文件数据。简档数据和中间表示代码被馈送到后端编译器，后端编译器然后通过为具有执行频率的目标方法提供一个或多个显式方法调用来生成可以根据简档数据虚拟化虚拟方法调用的代码（如所示通过简档数据）超过预定阈值。

65. 发明申请

US20090119649A1 STATIC ANALYSIS DEFECT DETECTION IN THE PRESENCE OF VIRTUAL FUNCTION CALLS 有权
标题翻译：虚拟功能调用存在的静态分析缺陷检测
公开(公告)号：US20090119649A1
公开(公告)日：2009-05-07
申请号：US12263417
申请日：2008-10-31
申请人： Kirill Jegoulev , Igor Ivanov , Artem Frolov
发明人： Kirill Jegoulev , Igor Ivanov , Artem Frolov
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3604 , G06F8/437 , G06F9/4491
摘要： A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behaviour Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.
摘要翻译：一种用于检测计算机程序中的编程错误的计算机实现的错误检测机制。本文描述的计算机实现的错误检测方法可以利用功能行为知识库（FBKB）来近似虚拟函数如何改变对于在每个特定调用点可以调用的所有方法的程序执行状态。 FBKB用于选择应该调用虚拟函数的实现以引起编程缺陷。通过删除不会导致编程缺陷的实现，减少了可能的对象运行时类型的集合。如果分析结束时该集合为空，则不可能出现缺陷，否则对象运行时类型集合将包含可能导致缺陷的类型。

66. 发明申请

US20070261029A1 Methods and systems for testing a software program 失效
标题翻译：用于测试软件程序的方法和系统
公开(公告)号：US20070261029A1
公开(公告)日：2007-11-08
申请号：US11506102
申请日：2006-08-17
申请人： Sriram V. Iyer
发明人： Sriram V. Iyer
IPC分类号： G06F9/44
CPC分类号： G06F11/3668 , G06F9/4491
摘要： Methods and systems for testing a software program are provided. The methods include receiving a textual input for testing at least one static type used by the software program. The textual input of an embodiment is pre-linked to the at least one static type. The method includes creating a dynamic type based on the textual input in a dynamically typed language. The dynamic type is populated based on a predefined set of test vectors and is then passed on to the software program. The software program is executed using the dynamic type. Executing the software program by using the dynamic type invokes the at least one static type used by the software program.
摘要翻译：提供了测试软件程序的方法和系统。这些方法包括接收用于测试由软件程序使用的至少一个静态类型的文本输入。实施例的文本输入被预先链接到至少一个静态类型。该方法包括基于动态类型语言的文本输入创建动态类型。基于预定义的一组测试向量填充动态类型，然后传递给软件程序。使用动态类型执行软件程序。使用动态类型执行软件程序会调用软件程序使用的至少一个静态类型。

67. 发明申请

US20070234289A1 Fast function call dispatching 有权
标题翻译：快速功能呼叫调度
公开(公告)号：US20070234289A1
公开(公告)日：2007-10-04
申请号：US11394758
申请日：2006-03-31
申请人： Steve Naroff , Blaine Garst , Greg Parker
发明人： Steve Naroff , Blaine Garst , Greg Parker
IPC分类号： G06F9/44
CPC分类号： G06F9/4491
摘要： Methods and apparatus, including computer program products, for locating a function call site in a code segment of a running application, the code segment including a plurality of instructions. The call site is the location of an invocation of a function and includes a first reference, the first reference being a reference to a first dispatcher. The call site in the code segment is modified by replacing the first reference with a second reference, the second reference being a reference to second dispatcher, the second dispatcher different from the first dispatcher.
摘要翻译：用于在正在运行的应用的代码段中定位功能调用位置的方法和装置，包括计算机程序产品，所述代码段包括多个指令。呼叫站点是函数调用的位置，并且包括第一引用，第一引用是对第一调度程序的引用。通过用第二个引用替换第一个引用来修改代码段中的调用站点，第二个引用是对第二个调度程序的引用，第二个调度程序与第一个调度程序不同。

68. 发明授权

US07069549B2 Multi-threaded fragment patching 有权
标题翻译：多线程片段修补
公开(公告)号：US07069549B2
公开(公告)日：2006-06-27
申请号：US09858578
申请日：2001-05-16
申请人： William Thomas Charnell , Wayne Plummer , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Stephen Paul Thomas
发明人： William Thomas Charnell , Wayne Plummer , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Stephen Paul Thomas
IPC分类号： G06F9/45
CPC分类号： G06F9/4812 , G06F8/4442 , G06F8/445 , G06F9/4484 , G06F9/449 , G06F9/4491 , G06F9/455 , G06F9/45516 , G06F11/3612 , G06F12/0269 , G06F2209/481 , Y10S707/99932 , Y10S707/99953 , Y10S707/99956
摘要： A method and system multi-threaded fragment patching. The method provides a link in a self-modifying multi-threaded computer system between a first and a second piece of compiled code where the first piece of compiled code includes a control transfer instruction to the second piece of compiled code. The link is formed by inserting a patch from the first piece of compiled code to the second piece of compiled code. The patch may be a direct reference or a reference to an outlier.
摘要翻译：一种方法和系统的多线程片段修补。该方法在第一和第二编译代码之间的自修改多线程计算机系统中提供链接，其中第一编译代码包括到第二编译代码的控制传递指令。该链接是通过将第一片编译代码插入第二段编译代码形成的。补丁可能是直接引用或引用异常值。

69. 发明授权

US07058929B2 Direct invocation of methods using class loader 有权
标题翻译：使用类加载器直接调用方法
公开(公告)号：US07058929B2
公开(公告)日：2006-06-06
申请号：US09859135
申请日：2001-05-16
申请人： William Thomas Charnell , Wayne Plummer , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Stephen Paul Thomas
发明人： William Thomas Charnell , Wayne Plummer , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenbach , Stephen Paul Thomas
IPC分类号： G06F9/44
CPC分类号： G06F9/4812 , G06F8/4442 , G06F8/445 , G06F9/4484 , G06F9/449 , G06F9/4491 , G06F9/455 , G06F9/45516 , G06F11/3612 , G06F12/0269 , G06F2209/481 , Y10S707/99932 , Y10S707/99953 , Y10S707/99956
摘要： A system and method of direct invocation of Methods using class loaders. The method includes compiling a call to and a Method of a first class (assuming that the Method is final), determining whether the second class includes an instance of the Method of the first class, determining whether the instance of the Method of the second class overrides the Method of the first class, and altering the compiled code of the Method of the first class if the instance of the Method of the second class overrides the Method of the first class.
摘要翻译：使用类加载器直接调用方法的系统和方法。该方法包括编译对第一类的调用和第一类的方法（假定方法是最终的），确定第二类是否包括第一类的方法的实例，确定第二类的方法的实例覆盖第一个类的方法，如果第二个类的Method的实例覆盖了第一个类的Method，则改变第一个类的Method的编译代码。

70. 发明授权

US07039738B2 Method and system for handling device driver interrupts 有权
公开(公告)号：US07039738B2
公开(公告)日：2006-05-02
申请号：US09859134
申请日：2001-05-16
申请人： Wayne Plummer , William Thomas Charnell , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenback , Stephen Paul Thomas
发明人： Wayne Plummer , William Thomas Charnell , Stephen Darnell , Blaise Abel Alec Dias , Philippa Joy Guthrie , Jeremy Paul Kramskoy , Jeremy James Sexton , Michael John Wynn , Keith Rautenback , Stephen Paul Thomas
IPC分类号： G06F13/24
CPC分类号： G06F9/4812 , G06F8/4442 , G06F8/445 , G06F9/4484 , G06F9/449 , G06F9/4491 , G06F9/455 , G06F9/45516 , G06F11/3612 , G06F12/0269 , G06F2209/481 , Y10S707/99932 , Y10S707/99953 , Y10S707/99956
摘要： A method and system for handling device driver interrupts in a computer system. An interrupt handling Method is initiating prior to the occurrence of any interrupts in the computer system. The interrupt handling Method is executed to a waiting state, and execution is then resumed when an interrupt occurs. When an interrupt is detected control is transferred to the operating system and the interrupt is dismissed.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式