公开(公告)号：US06862728B2

公开(公告)日：2005-03-01

申请号：US09859133

申请日：2001-05-16

申请人： Stephen Darnell ,  William Thomas Charnell ,  Wayne Plummer ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Jeremy Paul Kramskoy ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenback ,  Stephen Paul Thomas

发明人： Stephen Darnell ,  William Thomas Charnell ,  Wayne Plummer ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Jeremy Paul Kramskoy ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenback ,  Stephen Paul Thomas

IPC分类号： G06F11/28 ,  G06F9/40 ,  G06F9/42 ,  G06F9/44 ,  G06F9/45 ,  G06F9/455 ,  G06F9/46 ,  G06F9/48 ,  G06F11/36 ,  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 hash table dispatch mechanism for interface Methods. The mechanism reduces dispatch times during the execution of an object-oriented language program. An interface hash table having a pointer as an index for either a specific location in a corresponding dispatch table or an interface Method of the program is created for a dispatch table. The interface hash table has an address and a plurality of slots having a hash value related to an interface Method. The mechanism includes a recovery Method for resolving conflicts when two or more slots in the interface hash table contain clashing values.

摘要翻译： 接口方法的散列表调度机制。 该机制在执行面向对象语言程序期间减少了调度时间。 具有指针作为相应调度表中的特定位置的索引或接口的接口散列表，为调度表创建程序的方法。 接口哈希表具有地址和具有与接口方法相关的哈希值的多个时隙。 该机制包括一种在接口哈希表中的两个或多个时隙包含冲突值时解决冲突的恢复方法。

公开(公告)号：US06691303B2

公开(公告)日：2004-02-10

申请号：US09859162

申请日：2001-05-16

申请人： Philippa Joy Guthrie ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Wayne Plummer ,  Jeremy Paul Kramskoy ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenback ,  Stephen Paul Thomas

发明人： Philippa Joy Guthrie ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Wayne Plummer ,  Jeremy Paul Kramskoy ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenback ,  Stephen Paul Thomas

IPC分类号： G06F944

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 of testing and verifying computer code in a multi-threaded environment. The method includes testing a first piece of computer code that is an implementation of a specification against a second piece of computer code that is a different implementation of the specification. Corresponding synchronization points in the first and second pieces of code are defined and the first piece of code is executed to the first synchronization point of the first piece of code. A state message is generated and sent to the second piece of code. The second piece of code is executed to the first synchronization point of the second piece of code and then a state after message is generated and compared to the state before message. The synchronization points are generally selected from a group including conditional transfers of control, Method calls, Method returns, and backward transfers of control.

摘要翻译： 一种在多线程环境中测试和验证计算机代码的方法和系统。 该方法包括测试第一个计算机代码，该代码是针对作为规范的不同实现的第二计算机代码的规范的实现。 定义第一和第二代码段中相应的同步点，并且第一段代码被执行到第一代码段的第一同步点。 生成状态消息并发送到第二段代码。 第二段代码被执行到第二段代码的第一同步点，然后生成消息之后的状态并与消息之前的状态进行比较。 同步点通常从包括控制的条件转移，方法调用，方法返回和控制的向后传送的组中选择。

公开(公告)号：US20080016507A1

公开(公告)日：2008-01-17

申请号：US11771629

申请日：2007-06-29

申请人： Stephen Thomas ,  William Charnell ,  Stephen Darnell ,  Blaise Dias ,  Philippa Guthrie ,  Jeremy Kramskoy ,  Jeremy Sexton ,  Michael Wynn ,  Keith Rautenbach ,  Wayne Plummer

发明人： Stephen Thomas ,  William Charnell ,  Stephen Darnell ,  Blaise Dias ,  Philippa Guthrie ,  Jeremy Kramskoy ,  Jeremy Sexton ,  Michael Wynn ,  Keith Rautenbach ,  Wayne Plummer

IPC分类号： G06F9/46 ,  G06F9/455

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.

摘要翻译： 一种包括多个线程的计算机系统和一个跟踪存储器对象并根据三色抽象来识别存储器对象的垃圾收集器。 计算机系统还包括在自修改多线程计算机系统中删除编译代码的两种方法。 计算机系统还利用在自修改多线程计算机系统中处理代码片段之间的链接的方法。 计算机系统还处理两段代码之间的补丁。

公开(公告)号：US07007005B2

公开(公告)日：2006-02-28

申请号：US09858426

申请日：2001-05-16

申请人： Keith Rautenback ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Jeremy Paul Kramskoy ,  Jeremy James Sexton ,  Michael John Wynn ,  Wayne Plummer ,  Stephen Paul Thomas

发明人： Keith Rautenback ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Jeremy Paul Kramskoy ,  Jeremy James Sexton ,  Michael John Wynn ,  Wayne Plummer ,  Stephen Paul Thomas

IPC分类号： G06F17/30

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 structure for reducing search times. The method includes examining the entries in a list in turn beginning with the entry pointed to by a start pointer and continuing until the particular entry is found. The start pointer is then reset to point at the particular entry that was found. The next search will therefore begin to search at the location where the last search ended. Such a strategy increases the likelihood of locating the particular entry faster. The list of entries includes next entry pointers that point to another entry in the list such that the next entry pointers together form a closed loop. If the entire list is searched and the particular entry is not found, the search is aborted.

公开(公告)号：US08631219B2

公开(公告)日：2014-01-14

申请号：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分类号： G06F13/00

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.

摘要翻译： 一种包括多个线程的计算机系统和一个跟踪存储器对象并根据三色抽象来识别存储器对象的垃圾收集器。 计算机系统还包括在自修改多线程计算机系统中删除编译代码的两种方法。 计算机系统还利用在自修改多线程计算机系统中处理代码片段之间的链接的方法。 计算机系统还处理两段代码之间的补丁。

公开(公告)号：US07240341B2

公开(公告)日：2007-07-03

申请号：US10203123

申请日：2001-02-07

申请人： Wayne Plummer ,  Jerry Kramskoy

发明人： Wayne Plummer ,  Jerry Kramskoy

IPC分类号： G06F9/45 ,  G06F9/44

CPC分类号： G06F9/44563

摘要： A method and apparatus for reducing runtime memory requirements of a virtual machine. The invention involves analyzing object code compiled from source code. The object code includes at least two load-units that each contain a load-unit specific constant pool. Each load-unit is analyzed to determine which constants are actual constants and then those actual constants are analyzed to determine where commonality exists among the load-units. If a constant is determined to be redundant it is rewritten to a global constant pool. The references to the constant in the load-unit specific constant pool are rewritten to point to the value in the global constant pool. The memory allocated to the constant in the individual load-unit is then reallocated, either by a programmed routine or by memory management tools.

摘要翻译： 一种用于减少虚拟机的运行时存储器需求的方法和装置。 本发明涉及分析从源代码编译的目标代码。 目标代码包括至少两个负载单元，每个负载单元都包含一个负载单元特定的常量池。 分析每个负载单元以确定哪些常数是实际常数，然后分析那些实际常数以确定负载单元之间共同点存在的位置。 如果常数被确定为冗余，则将其重写为全局常量池。 对加载单元特定常量池中常量的引用将重写为全局常量池中的值。 然后，通过编程程序或内存管理工具重新分配分配给各个加载单元中常量的内存。

公开(公告)号：US06766513B2

公开(公告)日：2004-07-20

申请号：US09859161

申请日：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 Rautenback ,  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 Rautenback ,  Stephen Paul Thomas

IPC分类号： G06F945

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 a system of memory management using stack walking. The method of managing memory in a computer system includes identifying compiled code to be deleted, examining the return addresses of the frames in the stack, determining whether any of the return address of the frames are in the range of addresses of the compiled code to be deleted, and if they are, then altering the contents of the frame determined to have a return address in the range of addresses of the compiled code to be deleted.

摘要翻译： 一种使用堆栈行走的内存管理方法和系统。 在计算机系统中管理存储器的方法包括识别要删除的编译代码，检查堆栈中的帧的返回地址，确定帧的返回地址是否在编译代码的地址范围内 删除，如果是，则改变被确定为具有要被删除的编译代码的地址范围内的返回地址的帧的内容。

公开(公告)号：US07080366B2

公开(公告)日：2006-07-18

申请号：US09858827

申请日：2001-05-16

申请人： Jeremy Paul Kramskoy ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Wayne Plummer ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenback ,  Stephen Paul Thomas

发明人： Jeremy Paul Kramskoy ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Wayne Plummer ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenback ,  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 dynamic compiler and method of compiling code to generate a dominate path and handle exceptions. The dynamic compiler includes an execution history recorder that is configured to record the number of times a fragment of code is interpreted. When the code is interpreted a threshold number of times, the code is queued for compilation. The execution history recorder also keeps track of where transfer of control came from and where transfer of control goes to for each fragment of code that is executed, thereby allowing for compilation of a dominant path of code. If the execution of code deviates from the dominant path of compiled code (such as when an exception occurs), a fallback interpreter is utilized to interpret the fragment of code to be executed.

公开(公告)号：US06901587B2

公开(公告)日：2005-05-31

申请号：US09859072

申请日：2001-05-16

申请人： Jeremy Paul Kramskoy ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Wayne Plummer ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenbach ,  Stephen Paul Thomas

发明人： Jeremy Paul Kramskoy ,  William Thomas Charnell ,  Stephen Darnell ,  Blaise Abel Alec Dias ,  Philippa Joy Guthrie ,  Wayne Plummer ,  Jeremy James Sexton ,  Michael John Wynn ,  Keith Rautenbach ,  Stephen Paul Thomas

IPC分类号： G06F11/28 ,  G06F9/40 ,  G06F9/42 ,  G06F9/44 ,  G06F9/45 ,  G06F9/455 ,  G06F9/46 ,  G06F9/48 ,  G06F11/36 ,  G06F12/02 ,  G06F12/00 ,  G06F12/14

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 a system of cache management using spatial separation of outliers. The system includes a dynamic compiler arranged to create compiled fragments of code having dominant code blocks and outliers. Memory coupled to the dynamic compiler is managed by a compiler manager such that dominant code blocks are stored in one portion of the memory and the outliers are stored in another portion of the memory. Storing the dominant path code separate from the outliers increases efficiency of the system.

摘要翻译： 使用离群值空间分离的缓存管理方法和系统。 该系统包括一个动态编译器，用于创建具有主要代码块和异常值的代码的编译片段。 耦合到动态编译器的存储器由编译器管理器管理，使得主要代码块被存储在存储器的一部分中，异常值存储在存储器的另一部分中。 将主导路径代码与离群值分开可以提高系统的效率。

公开(公告)号：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.

摘要翻译： 一种包括多个线程的计算机系统和一个跟踪存储器对象并根据三色抽象来识别存储器对象的垃圾收集器。 计算机系统还包括在自修改多线程计算机系统中删除编译代码的两种方法。 计算机系统还利用在自修改多线程计算机系统中处理代码片段之间的链接的方法。 计算机系统还处理两段代码之间的补丁。