about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2025-01-26 12:32:47 -0700
committerRalf Jung <post@ralfj.de>2025-01-26 12:33:51 -0700
commit37030ac2793e53fc25ab4443f4bd494775bab56e (patch)
tree051dbe8e378047ae29523754489e8942245d41b5
parentccbfe505f6909d9108a0235d4a6309988783f024 (diff)
downloadrust-37030ac2793e53fc25ab4443f4bd494775bab56e.tar.gz
rust-37030ac2793e53fc25ab4443f4bd494775bab56e.zip
make linux-futex test less flaky
-rw-r--r--src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
index 3adeb89ecec..0ca13b5039d 100644
--- a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
+++ b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
@@ -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...
@@ -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();
         }