Parallel Continuation-Passing Style: A Compiler Representation for Incremental Parallelization

Free registration required

Executive Summary

The authors present a parallel version of continuation passing style, called pCPS. Using pCPS as the intermediate representation allows a compiler to first translate a sequential program into a form with explicit scheduling and then gradually increase the parallelism by removing happens-before constraints whenever possible. Many compiler optimizations require a program to be first transformed into a suitable Internal Representation (IR). The two most common IR forms are Static Single Assignment (SSA) and Continuation-Passing Style (CPS). In SSA, every variable is assigned exactly once. Multiple assignments to the same variable are translated into single assignments to different versions of this variable. A versioned variable is written as the original variable name with a unique subscript.

  • Format: PDF
  • Size: 169.39 KB