Describir: Efficient System-Enforced Deterministic Parallelism.