Loom

Loom is a model checker for concurrent Rust code. It exhaustively explores the behaviors of code under the C11 memory model, which Rust inherits.

Documentation

Getting started

To use loom, first add this to your Cargo.toml:

[dev-dependencies]
loom = "0.1.1"

Next, create a test file.

Implementation

Loom is an implementation of techniques described in CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics.

Limitations

While already very useful, loom is in its early stages and has a number of limitations.

• Execution is slow (#5).
• The full C11 memory model is not implemented (#6).
• No fence support (#7).
• No bounding support (#8).

License

This project is licensed under the MIT license.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in loom by you, shall be licensed as MIT, without any additional terms or conditions.