Issue No.03 - March (2012 vol.23)
Yi Wang , The Hong Kong Polytechnic Univeristy, Hong Kong
Zili Shao , The Hong Kong Polytechnic Univeristy, Hong Kong
Minyi Guo , Shanghai Jiao Tong University, Shanghai
Jingling Xue , University of New South Wales, Sydney
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2011.171
Loops are the main source of parallelism in many applications. This paper solves the open problem of extracting the maximal number of iterations from a loop to run 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 nonzero 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 nonoptimal algorithms using a set of benchmarks frequently used in prior work and a set of graphs generated by TGFF.
Loop parallelization, loop transformation, retiming, data dependence graph, iteration-level parallelism.
Yi Wang, Zili Shao, Minyi Guo, Jingling Xue, "Optimally Maximizing Iteration-Level Loop Parallelism", IEEE Transactions on Parallel & Distributed Systems, vol.23, no. 3, pp. 564-572, March 2012, doi:10.1109/TPDS.2011.171