commit 9265a6e467d2c02a634d9e90b9963ab28a6d2b64
author Ralf Jung <post@ralfj.de> Sat Oct 12 15:22:59 2024 +0200
committer Ralf Jung <post@ralfj.de> Mon Oct 14 17:44:29 2024 +0200
tree 1c83a26ca86e35fdb3ff72f58ebbeb6dda0f3e07
parent e3cfe456d67aa428b5144ef760e65b1b7b893e47

turns out relaxed accesses suffice here

src/tools/miri/src/concurrency/sync.rs

diff --git a/src/tools/miri/src/concurrency/sync.rs b/src/tools/miri/src/concurrency/sync.rs
index 11110c6..2c6a7bf 100644
--- a/src/tools/miri/src/concurrency/sync.rs
+++ b/src/tools/miri/src/concurrency/sync.rs
@@ -234,8 +234,8 @@
             &init_field,
             &ImmTy::from_scalar(init_cookie, ecx.machine.layouts.u32),
             init_cookie,
-            AtomicRwOrd::Acquire,
-            AtomicReadOrd::Acquire,
+            AtomicRwOrd::Relaxed,
+            AtomicReadOrd::Relaxed,
             /* can_fail_spuriously */ false,
         )?
         .to_scalar_pair();