Input vector analysis for memoization estimation

A computer-implemented method comprising:

• receiving a first function;
• performing a static code analysis on said first function and determining that said first function is impure due to a side effect;
• exercising said first function with a plurality of input vectors, each of said input vectors comprising a set of input parameters;
• classifying each of said input vectors as either memoizable or not memoizable;
• mapping said input vectors in a vector space;
• generating confidence boundaries defining memoizable and not memoizable input vectors, said confidence boundaries defining a subspace within said vector space;
• receiving a new input vector;
• determining that said new input vector is within a memoizable subspace;
• and
• causing said first function to be memoized with said new input vector;
• receiving a second new input vector;
• determining that said second new input vector is within a non-memoizable subspace;
• and
• causing said first function not to be memoized with said second new input vector.

A system comprising:

• a processor;
• a purity analyzer executing on said processor, said purity analyzer that:
• selects a first impure function;
• determines an input space for said first impure function, said input space comprising a range of input values for input parameters for said first impure function;
• traces said first impure function during execution and capturing operational data comprising input values and returned results;
• determines a first subset of said input space where said first impure function behaves as a pure function;
• receives a new input vector, said new input vector comprising at least one input value not comprised in said operational data;
• determines that said new input vector is within said first subset of said input space;
• and
• memoizes said first impure function for said new input vector;
• determines a second subset of said input space where said first impure function behaves as an impure function;
• receives a second new input vector, said second input vector comprising input values not found in said operational data;
• determines that said second new input vector is within said second subset of said input space;
• and
• not memoizes said first impure function for said second new input vector.