Dthreads: efficient deterministic multithreading
Kendo: efficient deterministic multithreading in software