Golang program efficient interprocess escape analysis method based on value flow analysis

Abstract

The invention discloses a value flow analysis-based Golang program efficient interprocess escape analysis method, which comprises the following steps of: preprocessing a Golang program to obtain an intermediate code representation based on a static single assignment form, and creating an interprocess function call graph and an intra-process control flow graph; performing inverse topological sorting on the function call graph, establishing a to-be-analyzed function sequence, and judging whether the to-be-analyzed function relates to inter-process call or not; respectively calculating escape variables of the target function according to different discriminations; based on escape variables of all functions in a function call graph analysis program, combining ESCs of all analysis functions to obtain a final set of escape variable values; the escape analysis of the Golang program is carried out based on the SSA code intermediate representation, the expandability is high, and subsequent code data flow analysis is facilitated.

Description

technical field [0001] The invention relates to the technical field of program analysis, in particular to a method for analyzing efficient inter-procedural escape of Golang programs based on value flow analysis. Background technique [0002] With the continuous development and improvement of programming languages, the performance of program execution begins to receive more and more attention. In order to improve the performance of a program, optimization techniques are often needed. Compilation optimization refers to the technology of improving system or program-related performance through certain methods or strategies in the process of program compilation. At present, compilers of many mainstream programming languages ​​have compilation optimization functions. A program needs to be compiled to generate an executable file before it can run on the corresponding target machine. The compilation process includes compilation front-end, compilation back-end optimization and comp...

AI Technical Summary

Problems solved by technology

However, the current escape analysis efficiency is still low, especially there is no good solution for inter-process escape analysis. Therefore, this paper combines the idea of ​​value flow graph to reduce the scale of escape analysis within the process, and uses data flow analysis to construct an abstract value flow graph. process, improve the accuracy of value flow analysis, and combine the idea of ​​high-order functions in functional programming to abstract the analysis process of escape variables, reduce the time of escape analysis, improve the accuracy of escape analysis between processes, and improve the execution efficiency of Golang programs. The improvement of compilation optimization technology is of great significance

Images