File tree 2 files changed +2
-2
lines changed
2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -68,7 +68,7 @@ RUSTFLAGS="--cfg loom" cargo test --test buggy_concurrent_inc --release
68
68
Loom currently does not implement the full C11 memory model.
69
69
Here is the (incomplete) list of unsupported features.
70
70
* ` SeqCst ` accesses (e.g. ` load ` , ` store ` , ..):
71
- They are are regarded as ` AcqRel ` . That is, they impose weaker
71
+ They are regarded as ` AcqRel ` . That is, they impose weaker
72
72
synchronization, causing Loom to generate false alarms (not complete). See
73
73
[ #180 ] ( https://github.com/tokio-rs/loom/issues/180 ) for example. On the other
74
74
hand, ` fence(SeqCst) ` is supported.
Original file line number Diff line number Diff line change 279
279
//! an exhaustive check, and instead tell loom to prune out interleavings that are unlikely to
280
280
//! reveal additional bugs. You do this by providing loom with a _thread pre-emption bound_. If you
281
281
//! set such a bound, loom will check all possible executions that include **at most** `n` thread
282
- //! pre-emptions ( where one thread is forcibly stopped and another one runs in its place. **In
282
+ //! pre-emptions where one thread is forcibly stopped and another one runs in its place. **In
283
283
//! practice, setting the thread pre-emption bound to 2 or 3 is enough to catch most bugs** while
284
284
//! significantly reducing the number of possible executions.
285
285
//!
You can’t perform that action at this time.
0 commit comments