Taming the parallel effect zoo
Kuper, Lindsey, Todd, Aaron, Tobin-Hochstadt, Sam, Newton, Ryan R.·2014·Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
Abstract
A fundamental challenge of parallel programming is to ensure that the observable outcome of a program remains deterministic in spite of parallel execution. Language-level enforcement of determinism is possible, but existing deterministic-by-construction parallel programming models tend to lack features that would make them applicable to a broad range of problems. Moreover, they lack extensibility: it is difficult to add or change language features without breaking the determinism guarantee.