3 ms·

See Also: Loom (https://github.com/tokio-rs/loom https://github.com/tokio-rs/loom), a concurrency permutation testing tool.

• chc4 3y ago
  I used https://docs.rs/shuttle/latest/shuttle/ https://docs.rs/shuttle/latest/shuttle/ (which was directly inspired by Loom) for testing a concurrent garbage collector I wrote in Rust. It was really useful to find pathological thread orderings that broke GC invariants, and I'd definitely use a similar system for any concurrent or distribute code I'd write in the future - these types of exercising systems and deterministic reproducers are great.
• jeffreygoesto 3y ago
  Used it to check lock- and wait-free algorithms. Great tool! One really tough bug however needed TLA+ to be found, running loom over multiple days was apparently not enough.
  • hnjst 3y ago
    Leslie didn't steal his Turing award ;)