Global optimization method of numerical program

Abstract

The invention provides a global optimization method of a numerical program. The global optimization method of the numerical program includes the steps that a symbol execution technology is adopted toextract algebraic representations for expressing path constraint conditions and numerical calculation processes from a source program; all the algebraic representations are analyzed, and by using different algebraic transformation rules, the algebraic representations are converted to be in algebraic forms with lower numerical calculation errors; finally, all the algebraic representations are converted into corresponding code fragments, and the code fragments are combined to generate a target program. The global optimization method of the numerical program has the advantages that all the processes are automation processes, and no human intervention is needed; a program writer can better concentrate on service logic and does not need to care about detail operation related to numerical analysis. In this way, not only is the development efficiency improved, but also code logic is visual and easy to understand and maintain.

Description

technical field [0001] The invention belongs to the application field of computer numerical calculation and program analysis, and relates to the global optimization technology of numerical programs. It mainly obtains the corresponding algebraic representation by collecting the global calculation process of the numerical program, and converts it into a calculation process with smaller numerical error accumulation, so that Generate optimized programs that are more accurate and efficient than raw numerical programs. Background technique [0002] According to the IEEE745 standard, single-precision floating-point numbers occupy 32 bits, and double-precision floating-point numbers occupy 64 bits. Although many software developers regard them as real values ​​​​when developing programs, in fact, the values ​​​​that they can represent are limited. And discontinuous. Therefore, for most programs, floating-point numbers will inevitably introduce numerical errors because they can only...

AI Technical Summary

Problems solved by technology

Because many such detailed operations are related to the hardware platform, they are not only very cumbersome, but also extremely error-prone, resulting in the main logic of the numerical program being covered up by these detailed operations, which reduces the readability of the source code, which is not conducive to the correct development of the code. It is also not conducive to subsequent code maintenance

Images