Method and apparatus for efficiently resolving symbolic references in a virtual machine

• US 7,574,705 B2
• Filed: 06/29/2004
• Issued: 08/11/2009
• Est. Priority Date: 06/29/2004
• Status: Active Grant

• Current Assignee: Oracle America, Inc. (Oracle Corporation)
• Original Assignee: Sun Microsystems Incorporated (Oracle Corporation)
• Inventors: Mathiske, Bernd J. W., Pittore, William F., Taivalsaari, Antero K. P.
• Primary Examiner(s): Bullock, Jr.; Lewis A
• Assistant Examiner(s): MITCHELL, JASON D
• Application Number:
  US10/880,785
• Publication Number:
  US 20050289543A1
• Time in Patent Office: 1,869 Days
• Field of Search: 717/124, 717162-166, 715/764, 707/1, 707/104.1, 705/36
• US Class Current: 717/162
• CPC Class Codes: G06F 9/44521 Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
• CPC Class Codes: G06F 9/44573 Execute-in-place [XIP]
• CPC Class Codes: G06F 9/45504 Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators

Abstract

One embodiment of the present invention provides a system that facilitates efficiently resolving symbolic references in a virtual machine to support in-place execution. During operation, the system loads an in-place executable file into the virtual machine, and receives a pointer that points to an unresolved symbol value in the in-place executable file. This unresolved symbol value includes an offset value that points to a subsequent unresolved symbol value in a chain of unresolved symbol values within the in-place executable file, and a token value that can be used to look up a corresponding resolved reference value in an unresolved symbol table. The system then uses the token value to look up the corresponding resolved reference in the unresolved symbol table, and replaces the unresolved symbol value with the corresponding resolved reference.

Claims

1. A method for resolving symbolic references in a virtual machine to support in-place execution, comprising:

loading an in-place executable file into the virtual machine;

receiving a pointer that points to an unresolved symbol value in the in-place executable file, wherein the unresolved symbol value comprises an offset value that points to a subsequent unresolved symbol value in a chain of unresolved symbol values within the in-place executable file, and a token value that can be used to look up a corresponding resolved reference value in an unresolved symbol table;

using the token value to look up the corresponding resolved reference in the unresolved symbol table;

replacing the unresolved symbol value with the corresponding resolved reference; and

wherein the unresolved symbol value additionally includes a flag, wherein if the flag is set, the method additionally involves;

reading the memory location immediately following the unresolved symbol value for a supplemental unresolved symbol value, wherein the supplemental unresolved symbol value includes a supplemental flag, a supplemental token value, and a supplemental offset value;

adding the token value and the supplemental token value to create a combined token value that can be used to look up the corresponding resolved reference in the unresolved symbol table; and

adding the offset value and the supplemental offset value to create a combined offset value that can be used to locate the subsequent unresolved symbol value.

2. The method of claim 1, further comprising:

using the offset value to locate the subsequent unresolved symbol value, wherein the subsequent unresolved symbol value comprises a subsequent offset value that points to a second subsequent unresolved symbol value, and a subsequent token value that can be used to look up a corresponding subsequent resolved reference value in the unresolved symbol table;

looking up the corresponding subsequent resolved reference in the unresolved symbol table using the subsequent token value from the subsequent unresolved symbol value;

replacing the subsequent unresolved symbol value with the corresponding subsequent resolved reference; and

repeating the process of locating a subsequent unresolved symbol value, looking up a corresponding subsequent resolved reference, and replacing the subsequent unresolved symbol value, for all unresolved symbol values in the chain of unresolved symbol values.

3. The method of claim 1, further comprising terminating the process of resolving references when a token with a pre-defined termination value is reached.

4. The method of claim 1, wherein if the supplemental flag is set, the method additionally involves:

reading the memory location immediately following the supplemental unresolved symbol value for a second supplemental unresolved symbol value, wherein the second supplemental unresolved symbol value includes a second supplemental flag, a second supplemental token value, and a second supplemental offset value;

adding the token value, the supplemental token value, and the second supplemental token value to create the combined token value;

adding the offset value, the supplemental offset value, and the second supplemental offset value to create the combined offset value that can be used to locate the subsequent unresolved symbol value; and

repeating the process of reading the memory location immediately following the supplemental unresolved symbol value, adding the token value, the supplemental token value, and the second supplemental token value, and adding the offset value, the supplemental offset value, and the second supplemental offset value to create the combined offset value until an unresolved symbol value with a clear supplemental flag is read.

5. The method of claim 1, wherein the unresolved symbol value is the last unresolved symbol value in the in-place executable file and subsequent unresolved symbol values are organized in descending order from the end of the in-place executable file to the beginning of the in-place executable file.

6. The method of claim 1, wherein the unresolved symbol value is the first unresolved symbol value in the in-place executable file and subsequent unresolved symbol values are organized in ascending order from the beginning of the in-place executable file to the end of the in-place executable file.

7. The method of claim 1, wherein receiving the pointer further comprises retrieving the pointer from the header of the in-place executable file.

8. The method of claim 1, wherein the virtual machine is a platform-independent virtual machine.

9. The method of claim 8, wherein the virtual machine is a Java Virtual Machine.

10. A computer-readable storage medium storing instructions that when executed by a computer cause the computer to perform a method for resolving symbolic references in a virtual machine to support in-place execution, the method comprising:

loading an in-place executable file into the virtual machine;

receiving a pointer that points to an unresolved symbol value in the in-place executable file, wherein the unresolved symbol value comprises an offset value that points to a subsequent unresolved symbol value in a chain of unresolved symbol values within the in-place executable file, and a token value that can be used to look up a corresponding resolved reference value in an unresolved symbol table;

using the token value to look up the corresponding resolved reference in the unresolved symbol table; and

replacing the unresolved symbol value with the corresponding resolved reference; and

wherein the unresolved symbol value additionally includes a flag, wherein if the flag is set, the method additionally involves

reading the memory location immediately following the unresolved symbol value for a supplemental unresolved symbol value, wherein the supplemental unresolved symbol value includes a supplemental flag, a supplemental token value, and a supplemental offset value;

adding the token value and the supplemental token value to create a combined token value that can be used to look up the corresponding resolved reference in the unresolved symbol table; and

adding the offset value and the supplemental offset value to create a combined offset value that can be used to locate the subsequent unresolved symbol value.

11. The computer-readable storage medium of claim 10, wherein the method further comprises:

using the offset value to locate the subsequent unresolved symbol value, wherein the subsequent unresolved symbol value comprises a subsequent offset value that points to a second subsequent unresolved symbol value, and a subsequent token value that can be used to look up a corresponding subsequent resolved reference value in the unresolved symbol table;

looking up the corresponding subsequent resolved reference in the unresolved symbol table using the subsequent token value from the subsequent unresolved symbol value;

replacing the subsequent unresolved symbol value with the corresponding subsequent resolved reference; and

repeating the process of locating a subsequent unresolved symbol value, looking up a corresponding subsequent resolved reference, and replacing the subsequent unresolved symbol value, for all unresolved symbol values in the chain of unresolved symbol values.

12. The computer-readable storage medium of claim 10, wherein the method further comprises terminating the process of resolving references when a token with a pre-defined termination value is reached.

13. The computer-readable storage medium of claim 10, wherein if the supplemental flag is set, the method additionally involves:

reading the memory location immediately following the supplemental unresolved symbol value for a second supplemental unresolved symbol value, wherein the second supplemental unresolved symbol value includes a second supplemental flag, a second supplemental token value, and a second supplemental offset value;

adding the token value, the supplemental token value, and the second supplemental token value to create the combined token value;

adding the offset value, the supplemental offset value, and the second supplemental offset value to create the combined offset value that can be used to locate the subsequent unresolved symbol value; and

repeating the process of reading the memory location immediately following the supplemental unresolved symbol value, adding the token value, the supplemental token value, and the second supplemental token value, and adding the offset value, the supplemental offset value, and the second supplemental offset value to create the combined offset value until an unresolved symbol value with a clear supplemental flag is read.

14. The computer-readable storage medium of claim 10, wherein the unresolved symbol value is the last unresolved symbol value in the in-place executable file and subsequent unresolved symbol values are organized in descending order from the end of the in-place executable file to the beginning of the in-place executable file.

15. The computer-readable storage medium of claim 10, wherein the unresolved symbol value is the first unresolved symbol value in the in-place executable file and subsequent unresolved symbol values are organized in ascending order from the beginning of the in-place executable file to the end of the in-place executable file.

16. The computer-readable storage medium of claim 10, wherein receiving the pointer further comprises retrieving the pointer from the header of the in-place executable file.

17. The computer-readable storage medium of claim 10, wherein the virtual machine is a platform-independent virtual machine.

18. The computer-readable storage medium of claim 17, wherein the virtual machine is a Java Virtual Machine.

19. An apparatus having a processor for resolving symbolic references in a virtual machine to support in-place execution, comprising:

a loading mechanism configured to load an in-place executable file into the virtual machine;

a receiving mechanism configured to receive a pointer that points to an unresolved symbol value in the in-place executable file, wherein the unresolved symbol value comprises an offset value that points to a subsequent unresolved symbol value in a chain of unresolved symbol values within the in-place executable file, a token value that can be used to look up a corresponding resolved reference value in an unresolved symbol table, and a flag;

a look up mechanism configured to use the token value to look up the corresponding resolved reference in the unresolved symbol table;

a replacement mechanism configured to replace the unresolved symbol value with the corresponding resolved reference;

a reading mechanism configured to read the memory location immediately following the unresolved symbol value for a supplemental unresolved symbol value, wherein the supplemental unresolved symbol value includes a supplemental flag, a supplemental token value, and a supplemental offset value;

a token adding mechanism configured to add the token value and the supplemental token value to create a combined token value that can be used to look up the corresponding resolved reference in the unresolved symbol table;

an offset adding mechanism configured to add the offset value and the supplemental offset value to create a combined offset value that can be used to locate the subsequent unresolved symbol value; and

wherein the reading mechanism, the token adding mechanism, and the offset adding mechanism are configured to operate if the flag is set.

20. The apparatus of claim 19, further comprising:

a location mechanism configured to use the offset value to locate the subsequent unresolved symbol value, wherein the subsequent unresolved symbol value comprises a subsequent offset value that points to a second subsequent unresolved symbol value, and a subsequent token value that can be used to look up a corresponding subsequent resolved reference value in the unresolved symbol table;

wherein the look up mechanism is further configured to look up the corresponding subsequent resolved reference in the unresolved symbol table using the subsequent token value from the subsequent unresolved symbol value;

wherein the replacement mechanism is further configured to replace the subsequent unresolved symbol value with the corresponding subsequent resolved reference; and

wherein the apparatus is further configured to repeat the process of locating a subsequent unresolved symbol value, looking up a corresponding subsequent resolved reference, and replacing the subsequent unresolved symbol value, for all unresolved symbol values in the chain of unresolved symbol values.

21. The apparatus of claim 19, wherein the apparatus is further configured to terminate the process of resolving references when a token with a pre-defined termination value is reached.

22. The apparatus of claim 19:

wherein the reading mechanism further configured to read the memory location immediately following the supplemental unresolved symbol value for a second supplemental unresolved symbol value, wherein the second supplemental unresolved symbol value includes a second supplemental flag, a second supplemental token value, and a second supplemental offset value;

wherein the token adding mechanism further configured to add the token value, the supplemental token value, and the second supplemental token value to create the combined token value;

wherein the offset adding mechanism is further configured to add the offset value, the supplemental offset value, and the second supplemental offset value to create the combined offset value that can be used to locate the subsequent unresolved symbol value;

wherein the reading mechanism, the token adding mechanism, and the offset adding mechanism are configured to operate if the supplemental flag is set; and

wherein the reading mechanism, the token adding mechanism, and the offset adding mechanism are configured to operate until an unresolved symbol value is reached with a supplemental flag that is not set.

23. The apparatus of claim 19, wherein the unresolved symbol value is the last unresolved symbol value in the in-place executable file and subsequent unresolved symbol values are organized in descending order from the end of the in-place executable file to the beginning of the in-place executable file.

24. The apparatus of claim 19, wherein the unresolved symbol value is the first unresolved symbol value in the in-place executable file and subsequent unresolved symbol values are organized in ascending order from the beginning of the in-place executable file to the end of the in-place executable file.

25. The apparatus of claim 19, wherein the receiving mechanism is further configured to retrieve the pointer from the header of the in-place executable file.

26. The apparatus of claim 19, wherein the virtual machine is a platform-independent virtual machine.

27. The apparatus of claim 26, wherein the virtual machine is a Java Virtual Machine.