US 11,385,872 B2Granted

Extending a virtual machine instruction set architecture

AssigneeOracle International Corporation

InventorsMichael Haupt, Maurizio Cimadamore, Brian Goetz

Life of this patent

Estimating the term…

Loading patent…

Abstract

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.

Claims20

Dependent claims

A non-transitory computer readable medium comprising instructions which, when executed by one or more hardware processors, cause performance of steps comprising:

identifying a first virtual machine instruction, within a set of compiled code, that includes a particular operation;
determining whether a first set of one or more parameter types associated with the first virtual machine instruction is modified by any set of information that (a) is within the set of compiled code, (b) is external to the first virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the first set of one or more parameter types;
responsive to determining that the first set of one or more parameter types associated with the first virtual machine instruction is not modified by any set of information that (a) is within the set of compiled code, (b) is external to the first virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the first set of one or more parameter types:
executing the first virtual machine instruction such that the particular operation is performed based on the first set of one or more parameter types;
identifying a second virtual machine instruction, within the set of compiled code, that includes the particular operation;
determining whether a second set of one or more parameter types associated with the second virtual machine instruction is modified by any set of information that (a) is within the set of compiled code, (b) is external to the second virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the second set of one or more parameter types;
responsive to determining that the second set of one or more parameter types associated with the second virtual machine instruction is modified by a particular set of information that (a) is within the set of compiled code, (b) is external to the second virtual machine instruction, and (c) references a third set of one or more parameter types for overriding the second set of parameter types:
executing the second virtual machine instruction such that the particular operation is performed based on the third set of one or more parameter types referenced by the particular set of information, wherein the second set of one or more parameter types and the third set of one or more parameter types are different.

5 more elements

A method, comprising:

identifying a first virtual machine instruction, within a set of compiled code, that includes a particular operation;
determining whether a first set of one or more parameter types associated with the first virtual machine instruction is modified by any set of information that (a) is within the set of compiled code, (b) is external to the first virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the first set of one or more parameter types;
responsive to determining that the first set of one or more parameter types associated with the first virtual machine instruction is not modified by any set of information that (a) is within the set of compiled code, (b) is external to the first virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the first set of one or more parameter types:
executing the first virtual machine instruction such that the particular operation is performed based on the first set of one or more parameter types;
identifying a second virtual machine instruction, within the set of compiled code, that includes the particular operation;
determining whether a second set of one or more parameter types associated with the second virtual machine instruction is modified by any set of information that (a) is within the set of compiled code, (b) is external to the second virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the second set of one or more parameter types;
responsive to determining that the second set of one or more parameter types associated with the second virtual machine instruction is modified by a particular set of information that (a) is within the set of compiled code, (b) is external to the second virtual machine instruction, and (c) references a third set of one or more parameter types for overriding the second set of parameter types:
executing the second virtual machine instruction such that the particular operation is performed based on the third set of one or more parameter types referenced by the particular set of information, wherein the second set of one or more parameter types and the third set of one or more parameter types are different;
wherein the method is executed by at least one device including a hardware processor.

6 more elements

A system comprising:

at least one device including a hardware processor;
and
the system is configured to perform operations comprising:
identifying a first virtual machine instruction, within a set of compiled code, that includes a particular operation;
determining whether a first set of one or more parameter types associated with the first virtual machine instruction is modified by any set of information that (a) is within the set of compiled code, (b) is external to the first virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the first set of one or more parameter types;
responsive to determining that the first set of one or more parameter types associated with the first virtual machine instruction is not modified by any set of information that (a) is within the set of compiled code, (b) is external to the first virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the first set of one or more parameter types:
executing the first virtual machine instruction such that the particular operation is performed based on the first set of one or more parameter types;
identifying a second virtual machine instruction, within the set of compiled code, that includes the particular operation;
determining whether a second set of one or more parameter types associated with the second virtual machine instruction is modified by any set of information that (a) is within the set of compiled code, (b) is external to the second virtual machine instruction, and (c) references any other set of one or more parameter types for overriding the second set of one or more parameter types;
responsive to determining that the second set of one or more parameter types associated with the second virtual machine instruction is modified by a particular set of information that (a) is within the set of compiled code, (b) is external to the second virtual machine instruction, and (c) references a third set of one or more parameter types for overriding the second set of parameter types:
executing the second virtual machine instruction such that the particular operation is performed based on the third set of one or more parameter types referenced by the particular set of information, wherein the second set of one or more parameter types and the third set of one or more parameter types are different.

8 more elements

Dependencies are inferred from the claim text.

Facts

Application: 16/999,062Filed 21 Aug 2020 · continuation
Priority: 9 Aug 2015
Published: US 2020/0379738 A13 Dec 2020
Granted: 12 Jul 2022
Term ends: Not estimatedThe source records don’t support an estimate.

Classification5 codes

G06F 8/41
Transformation of program code: compilation
G06F 8/447
Encoding: target code generation
G06F 9/45508
Abstract machines for program code execution, e.g. Java virtual machine [JVM], interpreters or emulators: runtime interpretation or emulation, e…
G06F 8/437
Semantic checking: type checking

Family

Application62/202,909Us provisional application · filed 9 Aug 2015
Application15/005,448Parent of this continuation · filed 25 Jan 2016
Application15/948,587Parent of this continuation · filed 9 Apr 2018
US 10,055,208 B2Parent of this continuation · filed 21 Aug 2018
US 2020/0379738 A1Pre-grant publication · published 3 Dec 2020
US 10,802,802 B2Parent of this continuation
US 2017/0039043 A1Published application
US 2018/0232217 A1Published application
US 11,385,872 B2This patent

From the US filing history. Foreign family members aren’t listed.