Parallelizing Sequential Programs with Statistical Accuracy Tests
Abstract
We present QuickStep, a novel system for parallelizing sequential programs. Unlike standard parallelizing compilers (which are designed to preserve the semantics of the original sequential computation), QuickStep is instead designed to generate (potentially nondeterministic) parallel programs that produce acceptably accurate results acceptably often. The freedom to generate parallel programs whose output may differ (within statistical accuracy bounds) from the output of the sequential program enables a dramatic simplification of the compiler, a dramatic increase in the range of applications that it can parallelize, and a significant expansion in the range of parallel programs that it can legally generate.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 01, 2013
- Source ID
- 10.1145/2465787.2465790
Entities
People
- Deokhwan Kim
- Martin Rinard
- Sasa Misailovic
Organizations
- Defense Advanced Research Projects Agency
- Massachusetts Institute of Technology
- National Science Foundation