Testing Race Conditions
projectzero.google
1 thread
We are using Loom with a C++ adapter for such things. Works reasonably well for us.
Loom is such an amazing project. I was always surprised by the fact that similar tooling for C/C++ is much more cumbersome to use, since that's where the memory model came from.
I'm really interested in this! Do you have any more details?