Memoization configuration file consumed at runtime

• US 8,752,034 B2
• Filed: 11/08/2012
• Issued: 06/10/2014
• Est. Priority Date: 11/08/2012
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Concurix Corporation
• Inventors: Gounares, Alexander G., Li, Ying, Garrett, Charles D., Noakes, Michael D.
• Primary Examiner(s): Chen, Qing
• Application Number:
  US13/671,813
• Publication Number:
  US 20130074049A1
• Time in Patent Office: 579 Days
• Field of Search: 717151-161
• US Class Current: 717/153
• CPC Class Codes: G06F 8/4441 Reducing the execution time required by the program code
• CPC Class Codes: G06F 8/70 Software maintenance or management

Abstract

Memoization may be deployed using a configuration file or database that identifies functions to memorize, and in some cases, includes input and result values for those functions. As an application is executed, functions defined in the configuration file may be captured and memoized. During the first execution of the function, the return value may be captured and stored in the configuration file. For subsequent executions of the function, the return value may be stored in the configuration file. In some cases, the configuration file may be distributed with the return values to client computers. The configuration file may be created by one device and deployed to other devices in some deployments.

Claims

1. A method performed by a computer processor, said method comprising:

receiving executable code;

executing said executable code;

during said executing, identifying a first function prior to executing said first function;

determining a first state for said first function, said first state for said first function comprising input parameters for said first function;

looking up said first function and said first state for said first function in a configuration database;

when said first function and said first state for said first function are present in said configuration database and a stored memoized value is present in said configuration database corresponding to said first function and said first state for said first function, retrieving said stored memoized value from said configuration database and returning said stored memoized value for said first function; and

when said first function is present in said configuration database and said stored memoized value is not present in said configuration database, executing said first function to generate said stored memoized value and storing said stored memoized value and said first state for said first function in said configuration database.

2. The method of claim 1, said identifying said first function comprising detecting a function call for said first function.

3. The method of claim 1, said determining said first state for said first function being performed after said looking up said first function.

4. The method of claim 1, said first state comprising a value for at least one memory object not comprised in said input parameters.

5. The method of claim 1, said configuration database comprising pure functions within said executable code.

6. The method of claim 5, said configuration database being populated at least in part by a static code analysis engine that identifies said pure functions within said executable code.

7. The method of claim 1, further comprising:

determining a second state for said first function; and

when said first function and said second state for said first function are present in said configuration database and said configuration database identifies said first function and said second state for said first function as not being memoized, executing said first function to generate a second result.

8. The method of claim 1, said configuration database comprising a process identifier for said first function.

9. The method of claim 8, said first state for said first function comprising a calling process identifier.

10. The method of claim 9, said first state for said first function comprising a current parameter value for a memory object.

11. The method of claim 9, said first state for said first function comprising an execution environment state.

12. The method of claim 11, said execution environment state comprising an operating system identifier.

13. The method of claim 1, said executable code being interpreted code.

14. A system comprising:

a processor; and

an execution environment executing on said processor, said execution environment that;

receives executable code;

executes said executable code;

during said execution, identifies a first function prior to executing said first function;

determines a first state for said first function, said first state for said first function comprising input parameters for said first function;

looks up said first function and said first state for said first function in a configuration database;

when said first function and said first state for said first function are present in said configuration database and a stored memoized value is present in said configuration database corresponding to said first function and said first state for said first function, retrieves said stored memoized value from said configuration database and returning said stored memoized value for said first function boundary; and

when said first function is present in said configuration database and said stored memoized value is not present in said configuration database, executes said first function to generate said stored memoized value and stores said stored memoized value and said first state for said first function in said configuration database.

15. The system of claim 14, further comprising:

a static code analyzer that identifies said first function as pure.

16. The system of claim 15, further comprising:

a configuration database manager that receives said configuration database.

17. The system of claim 16, said configuration database manager that further:

receives an update to said configuration database; and

updates said configuration database.

18. The system of claim 17, said configuration database manager that further:

communicates with a remote server; and

receives said update from said remote server.

19. The system of claim 15, further comprising:

a dynamic analysis monitor that gathers operational data regarding said first function.

20. The system of claim 19, said dynamic analysis monitor that further transmits said operational data to a remote server.