Program analysis techniques for transforming Programs for parallel execution

摘要

In a multiple processor system, computer programs have to be redesigned to efficiently use The parallel processors and deliver higher performance. One major approach is automatic de- Tection of parallelism, in which existing conventional sequential programs are translated into Parallel programs, in order to benefit from the presence of multiple processors. Optimizing Compilers rely upon program analysis techniques to detect data dependences between program Statements. The results of the analysis enable the compiler to identify code fragments that can Be executed in parallel. The proposed dependence analysis techniques fall into two different Categories: either efficient and approximate tests or exact but exponential.