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

clarify no_data_race_after_complete test

Browse Source
This commit is contained in:
DrMeepster 2022-11-03 18:30:04 -07:00
parent fa1b720cfc
commit cb6f7a6a84
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/tests/pass/concurrency/windows_init_once.rs
View File

@ -148,6 +148,7 @@ fn no_data_race_after_complete() {
let reader = thread::spawn(move || unsafe {
let mut pending = 0;
// this doesn't block because reader only executes after `InitOnceComplete` is called
assert_eq!(InitOnceBeginInitialize(init_once_ptr.0, 0, &mut pending, null_mut()), TRUE);
assert_eq!(pending, FALSE);
// this should not data race
@ -162,9 +163,8 @@ fn no_data_race_after_complete() {
unsafe {
assert_eq!(InitOnceComplete(init_once_ptr.0, 0, null_mut()), TRUE);
}
//println!("complete");
// run reader
// run reader (without preemption, it has not taken a step yet)
assert_eq!(reader.join().unwrap(), 1);
}