make more tests deterministic

tests/fail/data_race/atomic_read_na_write_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 #![feature(core_intrinsics)]
 

tests/fail/data_race/atomic_read_na_write_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::sync::atomic::AtomicUsize;

tests/fail/data_race/atomic_write_na_read_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::sync::atomic::AtomicUsize;

tests/fail/data_race/atomic_write_na_read_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 #![feature(core_intrinsics)]
 

tests/fail/data_race/atomic_write_na_write_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 #![feature(core_intrinsics)]
 

tests/fail/data_race/atomic_write_na_write_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::sync::atomic::AtomicUsize;

tests/fail/data_race/dangling_thread_async_race.rs

@@ -1,5 +1,6 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
-//@compile-flags: -Zmiri-disable-isolation
 
 use std::mem;
 use std::thread::{sleep, spawn};

tests/fail/data_race/dangling_thread_race.rs

@@ -1,5 +1,6 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
-//@compile-flags: -Zmiri-disable-isolation
 
 use std::mem;
 use std::thread::{sleep, spawn};

tests/fail/data_race/dealloc_read_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/dealloc_read_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/dealloc_write_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/dealloc_write_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/read_write_race.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/write_write_race.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/weak_memory/racing_mixed_size.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 #![feature(core_intrinsics)]

tests/fail/weak_memory/racing_mixed_size_read.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 #![feature(core_intrinsics)]