Deterministic Thread Scheduler - pthread interposition for reproducible multi-threaded execution - View it on GitHub