dthreads: Efficient Deterministic Multithreading - View it on GitHub