Fri 22 Jun 2018 11:00 - 11:25 at Grand Ballroom AB - Optimization and Locality Chair(s): Milind Kulkarni

State-of-the-art algorithms used in automatic polyhedral transformation for parallelization and locality optimization typically rely on Integer Linear Programming (ILP). This poses a scalability issue when scaling to tens or hundreds of statements, and may be disconcerting in production compiler settings. In this work, we consider relaxing integrality in the ILP formulation of the Pluto algorithm, a popular algorithm used to find good affine transformations. We show that the rational solutions obtained from the relaxed LP formulation can easily be scaled to valid integral ones to obtain desired solutions, although with some caveats. We first present formal results connecting the solution of the relaxed LP to the original Pluto ILP. We then show that there are difficulties in realizing the above theoretical results in practice, and propose an alternate approach to overcome those while still leveraging linear programming. Our new approach obtains dramatic compile-time speedups for a range of large benchmarks. While achieving these compile-time improvements, we show that the performance of the transformed code is not sacrificed. Our approach to automatic transformation provides a mean compilation time improvement of 5.6x over state-of-the-art on relevant challenging benchmarks from the NAS PB, SPEC CPU 2006, and PolyBench suites. We also came across situations where prior frameworks failed to find a transformation in a reasonable amount of time, while our new approach did so instantaneously.

Fri 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15
Optimization and LocalityPLDI Research Papers at Grand Ballroom AB
Chair(s): Milind Kulkarni Purdue University
11:00
25m
Talk
Polyhedral Auto-transformation with No Integer Linear Programming
PLDI Research Papers
Aravind Acharya Indian Institute of Science, Bangalore, Uday Bondhugula Indian Institute of Science, Albert Cohen Inria, France / ENS, France
Media Attached
11:25
25m
Talk
Partial Control-Flow Linearization
PLDI Research Papers
Simon Moll Saarland University, Germany, Sebastian Hack Saarland University, Germany
Media Attached
11:50
25m
Talk
Locality Analysis through Static Parallel Sampling
PLDI Research Papers
Dong Chen University of Rochester, Fangzhou Liu University of Rochester, Chen Ding University of Rochester, Sreepathi Pai University of Rochester
Media Attached