// ignore-windows: Concurrency on Windows is not supported yet. // compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 use std::sync::atomic::{AtomicUsize, Ordering}; use std::thread::spawn; #[derive(Copy, Clone)] struct EvilSend(pub T); unsafe impl Send for EvilSend {} unsafe impl Sync for EvilSend {} static SYNC: AtomicUsize = AtomicUsize::new(0); pub fn main() { let mut a = 0u32; let b = &mut a as *mut u32; let c = EvilSend(b); // Note: this is scheduler-dependent // the operations need to occur in // order: // 1. store release : 1 // 2. load acquire : 1 // 3. store relaxed : 2 // 4. load acquire : 2 unsafe { let j1 = spawn(move || { *c.0 = 1; SYNC.store(1, Ordering::Release); }); let j2 = spawn(move || { if SYNC.load(Ordering::Acquire) == 1 { SYNC.store(2, Ordering::Relaxed); } }); let j3 = spawn(move || { if SYNC.load(Ordering::Acquire) == 2 { *c.0 //~ ERROR Data race detected between Read on Thread(id = 3) and Write on Thread(id = 1) } else { 0 } }); j1.join().unwrap(); j2.join().unwrap(); j3.join().unwrap(); } }