Avoiding guard test invalidation for virtual and interface calls

• US 10,001,979 B2
• Filed: 11/25/2015
• Issued: 06/19/2018
• Est. Priority Date: 11/25/2015
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Doyle, Patrick R., Heidinga, Daniel J., Sundaresan, Vijay
• Primary Examiner(s): ST LEGER, GEOFFREY R
• Application Number:
  US14/951,532
• Publication Number:
  US 20170147304A1
• Time in Patent Office: 937 Days
• Field of Search: 717140-161
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06F 8/443 Optimisation
• CPC Class Codes: G06F 8/4443 Inlining
• CPC Class Codes: G06F 9/449 Object-oriented method invocation or resolution
• CPC Class Codes: G06F 9/45504 Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
• CPC Class Codes: G06F 9/45508 Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation
• CPC Class Codes: G06F 9/45516 Runtime code conversion or optimisation
• CPC Class Codes: G06F 9/4552 Involving translation to a different instruction set architecture, e.g. just-in-time translation in a JVM

Abstract

Embodiments of the present invention provide methods, computer program products, and systems for optimizing virtual calls. Embodiments of the present invention can be used to receive a virtual call associated with a first implementation method and identify a virtual call associated with a second implementation method that appears to have similar functionality to the first implementation method. Embodiments of the present invention can determine whether the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result and, responsive to determining that the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result, use a result of the virtual call associated with the first implementation method as a result of the virtual call associated with the second implementation method.

Claims

1. A method comprising:

receiving, by one or more computer processors, a virtual call associated with a first implementation method;

identifying, by one or more computer processors, a virtual call associated with a second implementation method that appears to have similar functionality to the first implementation method;

determining, by one or more computer processors, whether the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result by;

determining either that bytecodes of the first implementation method match bytecodes associated with the second implementation method, or

determining that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method;

responsive to determining that the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result, using, by one or more computer processors, a result of the virtual call associated with the first implementation method as a result of the virtual call associated with the second implementation method; and

responsive to determining that the virtual call associated with the second implementation method does not produce the same result as the virtual call associated with the first implementation method, deploying, by one or more computer processors, a slow dispatch of the second virtual call, wherein deploying a slow dispatch of the second virtual call comprises issuing a patch and performing a revirtualization.

2. The method of claim 1, wherein verifying, by one or more computer processors, that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method comprises:

identifying, by one or more computer processors, that constant pool references of the first implementation method differ from constant pool references of the second implementation method; and

responsive to identifying that the constant pool references of the first implementation method differ from constant pool references of the second implementation method, identifying, by one or more computer processors, that the constant pool references of the first implementation method and the constant pool references of the second implementation method map to a same v-table.

3. The method of claim 2, wherein verifying, by one or more computer processors, that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method comprises:

responsive to identifying that the constant pool references of the first implementation method differ from constant pool references of the second implementation method, identifying, by one or more computer processors, that the constant pool references of the first implementation method and the constant pool references of the second implementation method map to one or more same instance field offsets.

4. A computer program product comprising:

one or more computer readable storage media and program instructions stored on the one or more computer readable storage media, the program instructions comprising;

program instructions to receive a virtual call associated with a first implementation method;

program instructions to identify a virtual call associated with a second implementation method that appears to have similar functionality to the first implementation method;

program instructions to determine whether the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result by;

program instructions to determine either that bytecodes of the first implementation method match bytecodes associated with the second implementation method, or

program instructions to determine that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method;

program instructions to, responsive to determining that the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result, use a result of the virtual call associated with the first implementation method as a result of the virtual call associated with the second implementation method; and

program instructions to, responsive to determining that the virtual call associated with the second implementation method does not produce the same result as the virtual call associated with the first implementation method, deploy a slow dispatch of the second virtual call, wherein deploying a slow dispatch of the second virtual call comprises issuing a patch and performing a revirtualization.

5. The computer program product of claim 4, wherein the program instructions to verify that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method comprise:

program instructions to identify that constant pool references of the first implementation method differ from constant pool references of the second implementation method; and

program instructions to, responsive to identifying that the constant pool references of the first implementation method differ from constant pool references of the second implementation method, identify that the constant pool references of the first implementation method and the constant pool references of the second implementation method map to a same v-table.

6. The computer program product of claim 5, wherein the program instructions to verify that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method comprise:

program instructions to, responsive to identifying that the constant pool references of the first implementation method differ from constant pool references of the second implementation method, identify that the constant pool references of the first implementation method and the constant pool references of the second implementation method map to one or more same instance field offsets.

7. A computer system comprising:

one or more computer processors;

one or more computer readable storage media; and

program instructions stored on the one or more computer readable storage media for execution by at least one of the one or more computer processors, the program instructions comprising;

program instructions to receive a virtual call associated with a first implementation method;

program instructions to identify a virtual call associated with a second implementation method that appears to have similar functionality to the first implementation method;

program instructions to determine whether the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result by;

program instructions to determine either that bytecodes of the first implementation method match bytecodes associated with the second implementation method, or

program instructions to determine that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method;

program instructions to, responsive to determining that the virtual call associated with the first implementation method and the virtual call associated with the second implementation method produce the same result, use a result of the virtual call associated with the first implementation method as a result of the virtual call associated with the second implementation method; and

program instructions to, responsive to determining that the virtual call associated with the second implementation method does not produce the same result as the virtual call associated with the first implementation method, deploy a slow dispatch of the second virtual call, wherein deploying a slow dispatch of the second virtual call comprises issuing a patch and performing a revirtualization.

8. The computer system of claim 7, wherein the program instructions to verify that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method comprise:

program instructions to identify that constant pool references of the first implementation method differ from constant pool references of the second implementation method; and

program instructions to, responsive to identifying that the constant pool references of the first implementation method differ from constant pool references of the second implementation method, identify that the constant pool references of the first implementation method and the constant pool references of the second implementation method map to a same v-table or map to one or more same instance field offsets.