Halide (programming language)

Halide

Paradigm	functional, parallel
Designed by	Jonathan Ragan-Kelley and Andrew Adams
Developer	MIT, (with help from Stanford and Adobe)
First appeared	2012
Typing discipline	static
Implementation language	C++
OS	Mac OS X (10.6 through 10.8), mainstream Linux distributions, Windows
Website	http://halide-lang.org/

Halide is a computer programming language designed for writing image processing code that takes advantage of memory locality, vectorized computation and multi-core CPUs and GPUs. Halide is implemented as an internal DSL in C++.

The main innovation Halide brings is the separation of the image processing algorithm being implemented from its execution schedule, code specifying the loop nesting, parallelization, loop unrolling and vector instruction. These two are usually interleaved together and experimenting with changing the schedule requires the programmer to rewrite large portions of the algorithm with every change. With Halide, changing the schedule does not require any changes to the algorithm and this allows the programmer to experiment with scheduling and finding the most efficient one.

Sample source code

The following function defines and sets the schedule for a 3x3 box filter defined as a series of two 3x1 passes:

Func blur_3x3(Func input) {
  Func blur_x, blur_y;
  Var x, y, xi, yi;

  // The algorithm - no storage or order
  blur_x(x, y) = (input(x-1, y) + input(x, y) + input(x+1, y))/3;
  blur_y(x, y) = (blur_x(x, y-1) + blur_x(x, y) + blur_x(x, y+1))/3;

  // The schedule - defines order, locality; implies storage
  blur_y.tile(x, y, xi, yi, 256, 32)
        .vectorize(xi, 8).parallel(y);
  blur_x.compute_at(blur_y, x).vectorize(x, 8);

  return blur_y;
}

External links

• http://halide-lang.org/
• Decoupling Algorithms from Schedules for Easy Optimization of Image Processing Pipelines
• Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines PDF (8,259 KB)