Dthreads: Efficient deterministic multithreading (2011)

by T Liu, C Curtsinger, E D Berger
Venue:In Symposium on Operating Systems Principles. ACM