Engineering Record and Replay for Deployability
Dthreads: efficient deterministic multithreading