[Back]

D. Ebner, B. Scholz, A. Krall:
"Progressive Spill Code Placement";
Talk: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Grenoble; 2009-10-11 - 2009-10-16; in: "International Conference on Compilers, Architecture, and Synthesis for Embedded Systems", (2009), 77 - 86.

This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it optimally by migrating the weights of parallelism-inhibiting dependences on dependence cycles in two phases. First, we model dependence migration with retiming and formulate this classic loop parallelization into a graph optimization problem, i.e., one of finding retiming values for its nodes so that the minimum non-zero edge weight in the graph is maximized. We present our algorithm in three stages with each being built incrementally on the preceding one. Second, the optimal code for a loop is generated from the retimed graph of the loop found in the first phase. We demonstrate the effectiveness of our optimal algorithm by comparing with a number of representative non-optimal algorithms using a set of benchmarks frequently used in prior work.

http://dx.doi.org/10.1145/1629395.1629408