AVOIDING GUARD TEST INVALIDATION FOR VIRTUAL AND INTERFACE CALLS

• US 20170147304A1
• Filed: 11/25/2015
• Published: 05/25/2017
• Est. Priority Date: 11/25/2015
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Sundaresan, Vijay, Doyle, Patrick R., Heidinga, Daniel J.
• Granted Patent: US 10,001,979 B2
• Time in Patent Office: Days
• 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; 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, 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.

2. The method of claim 1, further comprising:

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.

3. The method of claim 1, wherein 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 comprises:

verifying, by one or more computer processors, that bytecodes of the first implementation method match bytecodes associated with the second implementation method.

4. The method of claim 3, wherein 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 further comprises:

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.

5. The method of claim 4, 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.

6. The method of claim 5, 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.

7. The method of claim 4, 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 are the same as constant pool references of the second implementation method.

8. 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; and

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.

9. The computer program product of claim 8, wherein the program instructions stored on the one or more computer readable storage media further comprise:

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.

10. The computer program product of claim 8, wherein the 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 comprise:

program instructions to verify that bytecodes of the first implementation method match bytecodes associated with the second implementation method.

11. The computer program product of claim 10, wherein the 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 further comprise:

program instructions to verify that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method.

12. The computer program product of claim 11, 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.

13. The computer program product of claim 12, 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.

14. The computer program product of claim 11, 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 are the same as constant pool references of the second implementation method.

15. 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; and

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.

16. The computer system of claim 15, wherein the program instructions stored on the one or more computer readable storage media further comprise:

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.

17. The computer system of claim 15, wherein the 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 comprise:

program instructions to verify that bytecodes of the first implementation method match bytecodes associated with the second implementation method.

18. The computer system of claim 17, wherein the 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 further comprise:

program instructions to verify that constant pool references associated with the first implementation method match constant pool references associated with the second implementation method.

19. The computer system of claim 18, 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.

20. The computer system of claim 17, 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 are the same as constant pool references of the second implementation method.