Internally deterministic parallel algorithms can be fast
Deterministic Process Groups in dOS