What is the cost of weak determinism?
Kendo: efficient deterministic multithreading in software