Dthreads: efficient deterministic multithreading
Deterministic Process Groups in dOS