Testing Race Conditions

Testing Race Conditions(projectzero.google)

67 points by alpaylan 6 days ago | 4 comments

We are using Loom with a C++ adapter for such things. Works reasonably well for us.

jaen 3 days ago | |

For anyone else wondering what Loom is, it's a concurrency permutation testing tool in Rust:

mdspan 4 days ago | |

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.

s-maurice 4 days ago | |

I'm really interested in this! Do you have any more details?