Programming With Intervals

Free registration required

Executive Summary

Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be statically analyzed to ensure that they do not deadlock or contain data races. In this paper, the authors demonstrate the flexibility of intervals by showing how to use them to emulate common parallel control-flow constructs like barriers and signals, as well as higher-level patterns such as bounded-buffer producer-consumer. They have implemented intervals as a publicly available library for Java and Scala.

  • Format: PDF
  • Size: 247.14 KB