1
Carl A Waldspurger, Ole Agesen, Xiaoxin Chen, John R Zedlewski, Tal Garfinkel: Dynamic verification of validity of executable code. VMware, Jeffrey Pearce, July 19, 2011: US07984304 (101 worldwide citation)

Computer-executable instructions in a computer are verified dynamically, after they have been identified for submission for execution, but before they are actually executed. In particular, for at least one current instruction that has been identified for submission to the processor for execution, an ...


2
Ole Agesen, Pratap Subrahmanyam, Scott W Devine, Mendel Rosenblum, Edouard Bugnlon: System and method for detecting access to shared structures and for maintaining coherence of derived structures in virtualized multiprocessor systems. VMware, Jeffrey Pearce, November 1, 2005: US06961806 (91 worldwide citation)

A computer system includes at least one virtual machine that has a plurality of virtual processors all running on an underlying hardware platform. A software interface layer such as a virtual machine monitor establishes traces on primary structures located in a common memory space as needed for the ...


3
Ole Agesen, Pratap Subrahmanyam: Method and system for performing virtual to physical address translations in a virtual machine monitor. VMware, Darryl Smith, June 27, 2006: US07069413 (74 worldwide citation)

The invention is used in a virtual machine monitor for a multiprocessing system that includes a virtual memory system. During a software-based processing of a guest instruction, including translating or interpreting a guest instruction, mappings between virtual addresses and physical addresses are r ...


4
Ole Agesen, David L Detlefs, Derek R White: Method, apparatus, and article of manufacture for facilitating resource management for applications having two types of program code. Sun Microsystems, Finnegan Henderson Farabow Garrett & Dunner L, June 26, 2001: US06253215 (70 worldwide citation)

Methods, systems, and articles of manufacture consistent with the present invention provide a program component including a set of instructions native to the system, include in the set of native instructions an instruction to maintain information on use of a particular object, and permit reuse of me ...


5

6
Marc Tremblay, James Michael O Connor, Guy L Steele Jr, Sanjay Vishin, Ole Agesen, Steven Heller, Derek R White: Bounded-pause time garbage collection system and method including write barrier associated with a source instance of a partially relocated object. Sun Microsystems, David W O Brien, Skjerven Morrill MacPherson Franklin & Friel, February 16, 1999: US05873105 (60 worldwide citation)

A write barrier to stores into a partially relocated large or popular memory object facilitates bounded pause time implementations of relocating garbage collectors, including e.g., copying collectors, generational collectors, and collectors providing compaction. Such a write barrier allows a garbage ...


7
Ole Agesen: Method and system for implementing subroutine calls and returns in binary translation sub-systems of computers. VMware, Jeffrey Pearce, March 23, 2004: US06711672 (60 worldwide citation)

A sequence of input language (IL) instructions of a guest system is converted, for example by binary translation, into a corresponding sequence of output language (OL) instructions of a host system, which executes the OL instructions. In order to determine the correct return address after any IL cal ...


8
Ole Agesen, Pratap Subrahmanyam, Keith M Adams: Maintaining coherency of derived data in a computer system. VMware, Darryl A Smith, May 22, 2007: US07222221 (58 worldwide citation)

A computer system has secondary data that is derived from primary data, such as entries in a TLB being derived from entries in a page table. When an actor changes the primary data, a producer indicates the change in a set data structure, such as a data array, in memory that is shared by the producer ...


9
Marc Tremblay, James Michael O Connor, Guy L Steele Jr, Sanjay Vishin, Ole Agesen, Steven Heller, Derek R White: Bounded-pause time garbage collection system and method including read and write barriers associated with an instance of a partially relocated object. Sun Microsystems, David W O Brien, Skjerven Morrill MacPherson Franklin & Friel, January 5, 1999: US05857210 (52 worldwide citation)

A partially relocated object identifier store including "copy from" and "copy to" identifier storage accessible to write and read barrier logic allows the write and read barrier logic to selectively direct store- and load-oriented accesses to an appropriate FromSpace or ToSpace instance of a partial ...


10
Marc Tremblay, James Michael O Connor, Guy L Steele Jr, Sanjay Vishin, Ole Agesen, Steven Heller, Derek R White: Bounded-pause time garbage collection system and method including write barrier associated with source and target instances of a partially relocated object. Sun Microsystems, David W O Brien, Skjerven Morrill MacPherson Franklin & Friel, February 16, 1999: US05873104 (51 worldwide citation)

A partially relocated object identifier store including "copy from" identifier and "copy to" identifier storage accessible to write barrier logic allows the write barrier logic to maintain consistency between FromSpace and ToSpace instances of a partially relocated memory object without software tra ...