Optimization of meta-template instantiations

• US 9,858,055 B2
• Filed: 07/08/2016
• Issued: 01/02/2018
• Est. Priority Date: 09/30/2009
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Perry, Sean Douglas
• Primary Examiner(s): Pan, Hang
• Application Number:
  US15/205,794
• Publication Number:
  US 20160321047A1
• Time in Patent Office: 543 Days
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06F 8/443 Optimisation

Abstract

An illustrative embodiment provides a computer-implemented method for an alternate type system for optimizing the evaluation and use of meta-template instantiations. The computer-implemented method obtains a source code, instantiates an element of the source code to form an instantiated element and identifies a meta-template within the instantiated element to form an identified meta-template. The computer-implemented method creates an entry for the identified meta-template in a first data structure, wherein the entry comprises a set of mapped entries, creates an associated entry in a second data structure linked to the entry comprising the set of mapped entries, wherein the associated entry represents the set of mapped entries, and uses the associated entry of the second data structure in combination with the entry of the first data structure.

Claims

1. A computer program product comprising:

a non-transitory computer readable storage medium; and

computer usable code stored on the computer readable storage medium, where, when executed by a processor, the computer usable code causes a computer to implement a compiler to;

determine that a template in a source code is a meta-template and a template in the source code is in a form other than the meta-template;

create a set of entries in a first data structure of an alternate type system for the meta-template, wherein each entry of the set of entries is to correspond to a separate recursive instantiation;

conduct an evaluation of the set of entries in the first data structure of the alternate type system; and

generate a single entry in a second data structure of a regular type system that is to be utilized to resolve a problem, wherein the single entry is to correspond to a result of the evaluation, and wherein the second data structure of the regular type system is to include an entry that is to be generated independent of the evaluation for the template in the form other than the meta-template.

2. The computer program product of claim 1, wherein, when executed by a processor, the computer usable code causes a computer to instantiate the source code to identify any template in the source code.

3. The computer program product of claim 1, wherein, when executed by a processor, the computer usable code causes a computer to provide a link from the set of entries in the first data structure of the alternate type system to map the set of entries to the single entry in the second data structure of the regular type system.

4. A method comprising utilizing a processor to implement a compiler to:

determine that a template in a source code is a meta-template and a template in the source code is in a form other than the meta-template;

create a set of entries in a first data structure of an alternate type system for the meta-template, wherein each entry of the set of entries corresponds to a separate recursive instantiation;

conduct an evaluation of the set of entries in the first data structure of the alternate type system; and

generate a single entry in a second data structure of a regular type system that is utilized to resolve a problem, wherein the single entry corresponds to a result of the evaluation, and wherein the second data structure of the regular type system includes an entry that is generated independent of the evaluation for the template in the form other than the meta-template.

5. The method of claim 4, further including instantiating the source code to identify any template in the source code.

6. The method of claim 4, further including providing a link from the set of entries in the first data structure of the alternate type system to map the set of entries to the single entry in the second data structure of the regular type system.

7. An apparatus comprising a processor to implement a compiler including:

a template analyzer to determine that a template in a source code is a meta-template and a template in the source code is in a form other than the meta-template; and

a template mapper to;

create a set of entries in a first data structure of an alternate type system for the meta-template, wherein each entry of the set of entries is to correspond to a separate recursive instantiation;

conduct an evaluation of the set of entries in the first data structure of the alternate type system; and

generate a single entry in a second data structure of a regular type system that is to be utilized to resolve a problem, wherein the single entry is to correspond to a result of the evaluation, and wherein the second data structure of the regular type system is to include an entry that is to be generated independent of the evaluation for the template in the form other than the meta-template.

8. The apparatus of claim 7, further including the template analyzer to instantiate the source code to identify any template in the source code.

9. The apparatus of claim 7, further including the template mapper to provide a link from the set of entries in the first data structure of the alternate type system to map the set of entries to the single entry in the second data structure of the regular type system.