Oracle International Corporation

Michael Haupt

Brian Goetz

John Robert Rose

Maurizio Cimadamore

Thomas Wuerthinger

Lukas Stadler

Douglas Norman Simon

Gero Leinemann

Operations include a compilation process and a runtime process. A compiler compiles code to generate virtual machine instructions. The compiler further generates information referencing respective parameter types of the parameters of a target virtual machine instruction. The compiler stores the information external to and in association with the target virtual machine instruction. The information may be included in another virtual machine instruction that precedes the target virtual machine instruction. A runtime environment processes the target virtual machine instruction based on the information stored external to and in association with the target virtual machine instruction. Parameter types referenced by the external information override parameter types that are (a) referenced by the target virtual machine instruction itself, (b) deduced by the runtime environment and/or (c) stored directly in association with the parameter values.

Extending a virtual machine instruction set architecture

Embodiments include a code loader method for loading attributes corresponding to an isolated method by a container-based language runtime. The attributes are received by the container-based language runtime without any specified container for storage of the isolated method attributes. The attributes received as parameters of code loader method and include instructions, live objects, and parameter types corresponding to the isolated method. The container-based language runtime selects a first-order container for storing the attributes of the isolated method.

Container-based language runtime loading an isolated method

Container-based language runtime using a variable-sized container for an isolated method

The invention relates to a method for generating executable code from application source code. The method steps include determining a programmatic expression using the application source code and determining a first value for the programmatic expression. The method steps further include compiling the programmatic expression into a first optimized code portion using the first value, an assumption, and an expression scope. The method steps further include executing the application source code. The method steps further include determining that the programmatic expression is modified outside of the expression scope, invalidating the assumption, and de-optimizing the first optimized code portion.

Eager and optimistic evaluation of promises

A method for resource management, including: identifying a resource map corresponding to a thread stack of a first thread; reading, in the resource map and by a computer processor, a bit value referencing an address of a first binary value in the thread stack; determining, based on the bit value and by the computer processor, that the first binary value corresponds to a managed resource; reading, by the computer processor, a resource identifier section of the first binary value after determining that the first binary value corresponds to the managed resource; determining a type of the managed resource based on the resource identifier section; interpreting, based on the type of the managed resource, at least a portion of a payload of the first binary value as a reference to a resource address of the managed resource in a resource storage; and accessing the managed resource using the reference.

Growing community of inventors

Potsdam, Germany

Michael Haupt