https://github.com/tokio-rs/loom https://github.com/tokio-rs/loom perhaps? It also models weak memory reordering, but takes some work to integrate into existing

https://github.com/tokio-rs/loom https://github.com/tokio-rs/loom perhaps? It also models weak memory reordering, but takes some work to integrate into existing apps. For triggering race conditions in compiled binaries, you could try https://robert.ocallahan.org/2016/02/introducing-rr-chaos-mode.html https://robert.ocallahan.org/2016/02/introducing-rr-chaos-mo....