METHOD, COMPUTER, AND COMPUTER PROGRAM FOR SPECULATIVELY OPTIMIZING CODE

摘要

PROBLEM TO BE SOLVED: To prevent invalidation when the invalidation of a compiled code is not required.SOLUTION: A technique for speculatively optimizing a code includes: searching one or more dictionaries in predetermined order; extracting a value associated with a symbol name from the dictionaries by using the symbol name as a key; performing optimization to replace a symbol in the code with the value; compiling the code to be compiled including some or all of the optimized code; after the compilation, in response to detection of a change related to one of the dictionaries, comparing a rank m of the dictionary having the detected change in the predetermined order to a rank n of the dictionary having the extracted value; and invalidating the optimized code in the compiled code associated with the dictionary having the detected change in accordance with a result of the comparison of the ranks and with a type of the change.