tokio-rs/loom

Health v2 · maintenance only

Adoption not part of the score

2802 stars · 149 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Loom is a testing tool for concurrent Rust code that exhaustively explores possible interleavings of concurrent executions under the C11 memory model. It uses state reduction techniques to avoid combinatorial explosion when enumerating execution permutations.

Use cases

• test concurrent Rust code for race conditions
• verify lock-free data structures under all execution orderings
• detect memory ordering bugs in atomic operations
• exhaustively explore thread interleavings in unit tests
• validate synchronization primitives like atomics and mutexes

When to choose

• you are writing lock-free or atomic-based Rust code and need to verify correctness under all interleavings
• you want to catch subtle memory-ordering bugs that stress tests miss
• you maintain concurrency primitives or synchronization libraries in Rust

When to avoid

• your code relies heavily on SeqCst ordering, which Loom treats as weaker AcqRel and may produce false alarms
• your concurrent code uses async/await or features Loom does not model
• you need sound coverage of load-buffering behaviors, which Loom does not fully explore

Facets

library · maturity active

testing concurrency testing developer-tools rust cli concurrency-testing memory-model model-checking permutation-testing lock-free atomics algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="tokio-rs/loom")