Method and system for optimizing computer program

Abstract

The invention relates to a method and a system for optimizing a computer program. The method comprises the following steps of: step 1, acquiring value numbers of each variable and each expression through value number analytic calculations; step 2, converting a static single assignment type computer program into a semi-sparse value flow graph type computer program; step 3, calculating the initial attribute, required for performing scalar optimization, of the semi-sparse value flow graph type computer program, if the initial attribute comprises all required optimization information, performing the step 4, otherwise expanding the semi-sparse value flow graph type computer program into a sparse value flow graph type computer program, calculating the attribute required for performing the scalar optimization, and when all the attributes are calculated, performing the step 4; and step 4, performing program transformation on the semi-sparse value flow graph type computer program or the sparse value flow graph type computer program according to the calculated attributes so as to optimize the computer program. The method and the system can improve the efficiency of program optimization.

Description

technical field [0001] The present invention relates to computer programs, in particular to a computer program optimization method and system. Background technique [0002] Programs running in a computer system are usually written in a high-level language, translated and optimized by a compiler. The effect of optimizing the program determines the running performance of the program on the computer system. Programs written in some languages ​​(such as Java and C#, etc.) need to be translated and optimized during the running of the program. At this time, the execution efficiency of the optimization method itself will also affect the running time of the entire program. Therefore, an optimization method with high operation efficiency and good optimization effect is needed in the computer system. [0003] Scalar optimization is a kind of optimization technology relative to parallel optimization (including instruction level, data level, thread level, etc.). Many common optimiza...

AI Technical Summary

Problems solved by technology

However, the existing methods based on "semantic" equivalents still use the traditional non-static single-assignment form of intermediate representation. By constructing a huge value flow graph and performing data flow analysis on it, it is calculated how to perform the input program. transformation, the operating efficiency is very low, so it cannot be practically applied

How to explicitly express the "semantic" equivalence relationship in the program intermediate representation to improve the efficiency of optimization methods remains unsolved

Images