Many image processing tasks are naturally expressed as a pipeline of small computational kernels known as stencils. Halide is a popular domain-specific language and compiler designed to implement image processing algorithms. Halide uses simple language constructs to express what to compute and a separate scheduling co-language for expressing when and where to perform the computation. This approach has demonstrated performance comparable to or better than hand-optimized code. Until now, however, Halide has been restricted to parallel shared memory execution, limiting its performance for memory-bandwidth-bound pipelines or large-scale image processing tasks.
We present an extension to Halide to support distributed-memory parallel execution of complex stencil pipelines. These extensions compose with the existing scheduling constructs in Halide, allowing expression of complex computation and communication strategies. Existing Halide applications can be distributed with minimal changes, allowing programmers to explore the tradeoff between recomputation and communication with little effort. Approximately 10 new of lines code are needed even for a 200 line, 99 stage application. On nine image processing benchmarks, our extensions give up to a 1.4× speedup on a single node over regular multithreaded execution with the same number of cores, by mitigating the effects of non-uniform memory access. The distributed benchmarks achieve up to 18× speedup on a 16 node testing machine and up to 57× speedup on 64 nodes of the NERSC Cori supercomputer.
Mon 14 MarDisplayed time zone: Belfast change
11:35 - 12:50 | Language Implementation & DSLMain conference at Mallorca+Menorca Chair(s): Michael D. Bond Ohio State University | ||
11:35 25mTalk | Declarative Coordination of Graph-Based Parallel Programs Main conference Flavio Cruz , Ricardo Rocha FCUP, Universidade do Porto, Portugal, Seth Copen Goldstein Carnegie Mellon University Link to publication DOI | ||
12:00 25mTalk | Distributed Halide Main conference Link to publication DOI | ||
12:25 25mTalk | Parallel Type-checking with Haskell using Saturating LVars and Stream Generators Main conference Ryan R. Newton Indiana University, Omer S. Agacan Indiana University, Peter Fogg edX, Sam Tobin-Hochstadt Indiana University Link to publication DOI |