Skip to content

Commit

Permalink
Merge pull request rust-lang#4154 from RalfJung/linux-futex
Browse files Browse the repository at this point in the history
make linux-futex test less flaky
  • Loading branch information
RalfJung authored Jan 26, 2025
2 parents 584bb0d + 37030ac commit 05a2dcd
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
Original file line number Diff line number Diff line change
Expand Up @@ -235,7 +235,7 @@ fn concurrent_wait_wake() {
static mut DATA: i32 = 0;
static WOKEN: AtomicI32 = AtomicI32::new(0);

let rounds = 50;
let rounds = 64;
for _ in 0..rounds {
unsafe { DATA = 0 }; // Reset
// Suppose the main thread is holding a lock implemented using futex...
Expand Down Expand Up @@ -267,8 +267,7 @@ fn concurrent_wait_wake() {
}
});
// Increase the chance that the other thread actually goes to sleep.
// (5 yields in a loop seem to make that happen around 40% of the time.)
for _ in 0..5 {
for _ in 0..6 {
thread::yield_now();
}

Expand Down

0 comments on commit 05a2dcd

Please sign in to comment.