Assembly level interprocedual pointer analysis method based on speculative multithreading

Abstract

The invention discloses an assembly level interprocedual pointer analysis method based on speculative multithreading. Through assembly level interprocedual points-to analysis, a procedure call graph of all processes is established in a source program before the interprocedual points-to analysis is carried out, and after establishment, points-to analysis is carried out in two stages. The method comprises: in the first stage, firstly, establishing a path profiling cost model based on probability, extracting speculative paths selected by all process nodes in the procedure call graph, and then performing points-to analysis in a process; in the second stage, performing interprocedual points-to analysis and interprocedual side-effect calculation, on each process calling point, performing mappingand inverse mapping on points-to relations using a points-to analysis result in a process, to obtain an interprocedual side-effect calculation result, and realize context points-to relation update ofa calling procedure. On this basis, the method guides a whole procedure to perform interprocedual data flow analysis, evaluates data dependence degree among pointer variable memory points-to relations, and obtains a more accurate thread partitioning result.

Description

technical field [0001] The invention belongs to the field of computers, relates to thread-level parallelism and thread-level speculation technology, in particular to an assembly-level inter-procedural pointer analysis method based on speculative multithreading. Background technique [0002] Speculative Multithreading (SpMT), also known as Thread-Level Speculation (TLS), as a mainstream thread-level parallel technology, can identify and extract multiple Threads of underlying control and data dependencies. Under the action of the execution model, these threads are stimulated, executed, verified and submitted according to the correct serial semantics, and are used to realize the automatic speculative parallelism of the entire program. During the speculation process, once a data dependency violation occurs, the current offending thread and all the subsequent threads triggered by it need to be revoked in time, and re-speculation is performed again. Frequent data dependency viola...

AI Technical Summary

Problems solved by technology

Second, the traditional inter-process analysis technology mostly uses conservative pointing analysis, without combining the characteristics of the speculative framework, it always analyzes the pointing relationships on all possible paths, and obtains a large number of pointing relationship sets, which limits the aggressive conjecture parallelism of threads

Third, the data flow analysis library functions in the currently used compilation framework can only analyze and extract data dependencies on scalar variables within the process, ignoring the impact of data dependencies between pointer variables and processes

Images