mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

test most sync primitives on Windows

Browse Source
This commit is contained in:
Ralf Jung 2022-10-28 15:57:40 +02:00
parent 8f99d011f2
commit 40e340e9fb
1 changed files with 16 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/tools/miri/tests/pass/concurrency/sync.rs
View File

@ -1,4 +1,3 @@
//@ignore-target-windows: Condvars on Windows are not supported yet.
//@compile-flags: -Zmiri-disable-isolation -Zmiri-strict-provenance //@compile-flags: -Zmiri-disable-isolation -Zmiri-strict-provenance
use std::sync::{Arc, Barrier, Condvar, Mutex, Once, RwLock}; use std::sync::{Arc, Barrier, Condvar, Mutex, Once, RwLock};
@ -225,14 +224,26 @@ fn park_unpark() {
} }
fn main() { fn main() {
check_barriers();
check_conditional_variables_notify_one();
check_conditional_variables_timed_wait_timeout();
check_conditional_variables_timed_wait_notimeout();
check_mutex(); check_mutex();
check_rwlock_write(); check_rwlock_write();
check_rwlock_read_no_deadlock(); check_rwlock_read_no_deadlock();
check_once(); check_once();
park_timeout(); park_timeout();
park_unpark(); park_unpark();
if !cfg!(windows) {
// ignore-target-windows: Condvars on Windows are not supported yet
check_barriers();
check_conditional_variables_notify_one();
check_conditional_variables_timed_wait_timeout();
check_conditional_variables_timed_wait_notimeout();
} else {
// We need to fake the same output...
for _ in 0..10 {
println!("before wait");
}
for _ in 0..10 {
println!("after wait");
}
}
} }