Testing Race Conditions

 (projectzero.google)

65 points | by alpaylan 3 days ago

1 comments

  • jeffreygoesto 1 day ago
    We are using Loom with a C++ adapter for such things. Works reasonably well for us.
    [-]
    • jaen 23 minutes ago
      For anyone else wondering what Loom is, it's a concurrency permutation testing tool in Rust:

      https://docs.rs/loom/latest/loom/

    • mdspan 22 hours 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 1 day ago
      I'm really interested in this! Do you have any more details?