FAST DISPATCH PREDICATE FOR OVERLOADED FUNCTIONS WITH GENERIC TYPE HIERARCHIES THAT LACK CONTRAVARIANCE

• US 20140068555A1
• Filed: 08/31/2012
• Published: 03/06/2014
• Est. Priority Date: 08/31/2012
• Status: Active Grant

• Current Assignee: Oracle International Corporation (Oracle Corporation)
• Original Assignee: Oracle International Corporation (Oracle Corporation)
• Inventors: Chase, David R., Steele, Guy L., Naden, Karl B., Hilburn, Justin R., Luchangco, Victor M.
• Granted Patent: US 8,843,887 B2
• Time in Patent Office: Days
• US Class Current: 717/114
• CPC Class Codes: G06F 9/449 Object-oriented method invocation or resolution

Abstract

The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.

Claims

1. A computer-implemented method for facilitating the development and execution of a software program, comprising:

during runtime of the software program, obtaining a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance;

determining an applicability of an implementation of the overloaded function to the function call; and

selecting the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.

2. The computer-implemented method of claim 1, further comprising:

performing type inference on one or more generic type parameters of the implementation.

3. The computer-implemented method of claim 2, wherein performing type inference on the one or more generic type parameters of the implementation involves:

obtaining a set of initial limits on the one or more generic type parameters;

propagating one or more lower limits from the set of initial limits through a set of constraints for the generic type parameters;

if the propagated lower limits specify non-empty intervals for the constraints, choosing the one or more lower limits as bindings for the one or more generic type parameters; and

if the propagated lower limits specify empty intervals for the constraints, determining that the implementation is not applicable to the function call.

4. The computer-implemented method of claim 3, wherein performing type inference on the one or more generic type parameters of the implementation further involves:

if the generic type parameters comprise one or more self-typed constraints, adjusting a lower limit from the one or more lower limits to a self-type that simultaneously satisfies the one or more self-typed constraints.

5. The computer-implemented method of claim 3, wherein the lower limits are propagated in a most-to-least constrained order.

6. The computer-implemented method of claim 1, wherein determining the applicability of the implementation to the function call involves:

comparing a dynamic type for an argument of the function call to a signature type of the implementation;

if the dynamic type is not a subtype of the signature type, determining that the implementation is not applicable to the function call; and

if the dynamic type is the subtype of the signature type, determining that the implementation is applicable to the function call.

7. The computer-implemented method of claim 6, wherein determining the applicability of the implementation to the function call further involves:

if the dynamic type is the subtype of the signature type, determining a set of initial limits on one or more generic type parameters of the implementation, wherein the set of initial limits comprises at least one of an upper limit and a lower limit.

8. The computer-implemented method of claim 1, wherein selecting the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function involves:

selecting the implementation for invocation by the function call if the implementation is the first implementation in the partial order of implementations to be determined as applicable to the function call.

9. The computer-implemented method of claim 1, wherein the partial order corresponds to a most-to-least-specific order.

10. A system for facilitating the development and execution of a software program, comprising:

a compilation manager for the software program; and

a runtime system for the software program,

wherein the compilation manager and the runtime system are configured to;

obtain a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance;

determine an applicability of an implementation of the overloaded function to the function call;

select the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function; and

perform type inference on one or more generic type parameters of the implementation.

11. The system of claim 10, wherein performing type inference on the one or more generic type parameters of the implementation involves:

obtaining a set of initial limits on the one or more generic type parameters;

propagating one or more lower limits from the set of initial limits through a set of constraints for the generic type parameters;

if the propagated lower limits specify non-empty intervals for the constraints, choosing the one or more lower limits as bindings for the one or more generic type parameters; and

if the propagated lower limits specify empty intervals for the constraints, determining that the implementation is not applicable to the function call.

12. The system of claim 11, wherein performing type inference on the one or more generic type parameters of the implementation further involves:

if the generic type parameters comprise one or more self-typed constraints, adjusting a lower limit from the one or more lower limits to a self-type that simultaneously satisfies the one or more self-typed constraints.

13. The system of claim 10, wherein determining the applicability of the implementation to the function call involves:

obtaining a dynamic type for an argument of the function call;

comparing the dynamic type to a signature type of the implementation;

if the dynamic type is not a subtype of the signature type, determining that the implementation is not applicable to the function call; and

if the dynamic type is the subtype of the signature type, determining that the implementation is applicable to the function call.

14. The system of claim 13, wherein determining the applicability of the implementation to the function call further involves:

if the dynamic type is the subtype of the signature type, determining a set of initial limits on the one or more generic type parameters, wherein the set of initial limits comprises at least one of an upper limit and a lower limit.

15. The system of claim 10, wherein selecting the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function involves:

selecting the implementation for invocation by the function call if the implementation is the first implementation in the partial order of implementations to be determined as applicable to the function call.

16. A computer-readable storage medium storing instructions that when executed by a computer cause the computer to perform a method for facilitating the development and execution of a software program, the method comprising:

during runtime of the software program, obtaining a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance;

determining an applicability of an implementation of the overloaded function to the function call; and

selecting the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.

17. The computer-readable storage medium of claim 16, the method further comprising:

performing type inference on one or more generic type parameters of the implementation.

18. The computer-readable storage medium of claim 17, wherein performing type inference on the one or more generic type parameters of the implementation involves:

obtaining a set of initial limits on the one or more generic type parameters;

propagating one or more lower limits from the set of initial limits through a set of constraints for the generic type parameters;

if the propagated lower limits specify non-empty intervals for the constraints, choosing the one or more lower limits as bindings for the one or more generic type parameters; and

if the propagated lower limits specify empty intervals for the constraints, determining that the implementation is not applicable to the function call.

19. The computer-readable storage medium of claim 18, wherein performing type inference on the one or more generic type parameters of the entry point during runtime of the software program further involves:

if the generic type parameters comprise one or more self-typed constraints, adjusting a lower limit from the one or more lower limits to a self-type that simultaneously satisfies the one or more self-typed constraints.

20. The computer-readable storage medium of claim 16, wherein determining the applicability of the implementation to the function call involves:

obtaining a dynamic type for an argument of the function call;

comparing the dynamic type to a signature type of the implementation;

if the dynamic type is not a subtype of the signature type, determining that the implementation is not applicable to the function call; and

if the dynamic type is a subtype of the signature type, determining that the implementation is applicable to the function call.