HANDLING OF INTER-THREAD MEMORY ACCESS DEPENDENCIES FOR AUTOMATIC BINARY-CODE PARALLELIZATION

摘要

Now the multi-core processors are widely available every where, and the speedup with thread-level parallelization of sequential programs becomes quite important. In general, thread-level parallelization are performed using the source code of the target program, but the source code are not al ways available. In order to realize the parallelization of existing sequential programs without need of the source codes, we have developed the software system that can au tomatically parallelize the executable binary codes of the programs at thread level, with binary translation. For thread-level parallelization, it is necessary to cor rectly analyze the data dependencies of variables between threads. However, since the memory accesses for the ref erence of variables are performed by specifying the target addresses using the registers and the values of the regis ters are generally unknown until execution, it is not easy to identify the variables located on memory and to examine the data dependencies. This paper discusses the analysis for the data dependencies of variables located on memory and the thread-level parallel processing based on the analysis results, in our automatic thread-level parallelization system by binary translation. The binary-level variable analysis statically analyzes and identifies the variables on memory in order to examine the data dependencies between threads. This is the method for identifying the variable by compar ing the calculation trees that represent the target addresses of variables. And the runtime inspection of memory ac cess dependencies hardware guarantees the correct parallel execution for the parallelized binary code containing data dependencies that cannot statically determined.