An Overview of Symbolic Analysis Techniques Needed for the Effective Parallelization of the Perfect Benchmarks
William H. Blume, Rudolf Eigenmann · 1994
We have identified symbolic analysis techniques that will improve the effectiveness of parallelizing Fortran compilers, with emphasis upon data dependence analysts. We have done this by comparing the automatically and manually parallelized versions of the Perfect Benchmarks®. The techniques include: symbolic data dependence tests for nonlinear expressions, constraint propagation, array summary information, and run time tests.