✓ Uses Rust 2018 edition
|new 0.2.4||Aug 20, 2019|
|0.2.3||Aug 18, 2019|
|0.1.1||Feb 19, 2019|
|0.1.0||Jan 9, 2019|
|0.0.1||Dec 7, 2018|
#40 in Concurrency
23,022 downloads per month
Used in 2 crates
Loom is a model checker for concurrent Rust code. It exhaustively explores the behaviors of code under the C11 memory model, which Rust inherits.
loom, first add this to your
[dev-dependencies] loom = "0.2.4"
Next, create a test file.
Loom is an implementation of techniques described in CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics.
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).
This project is licensed under the MIT license.
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.