diff options
| author | DrMeepster <19316085+DrMeepster@users.noreply.github.com> | 2022-11-03 18:30:04 -0700 |
|---|---|---|
| committer | DrMeepster <19316085+DrMeepster@users.noreply.github.com> | 2022-11-03 18:30:04 -0700 |
| commit | cb6f7a6a84e3e808fa95a1206843a96f8b9ff44d (patch) | |
| tree | f97e99533bab4d5605735971f2094e73ed67d5aa /src | |
| parent | fa1b720cfc600ed09dd2a6310ece57291c5bae5b (diff) | |
| download | rust-cb6f7a6a84e3e808fa95a1206843a96f8b9ff44d.tar.gz rust-cb6f7a6a84e3e808fa95a1206843a96f8b9ff44d.zip | |
clarify no_data_race_after_complete test
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/pass/concurrency/windows_init_once.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/pass/concurrency/windows_init_once.rs b/src/tools/miri/tests/pass/concurrency/windows_init_once.rs index 6e5129acaf8..4eb88379620 100644 --- a/src/tools/miri/tests/pass/concurrency/windows_init_once.rs +++ b/src/tools/miri/tests/pass/concurrency/windows_init_once.rs @@ -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); } |