Efficient System-Enforced Deterministic Parallelism
We introduce a new parallel programming model addressing the issues facing current methods of executing parallel programs deterministically, and use Determinator, a proof-of-concept OS, to demonstrate the model's practicality.
