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

Auto merge of #2276 - RalfJung:join, r=RalfJung

Browse Source 
make sure a thread is joined

Not sure how that can fail given that preemption is disabled but whatever...
This commit is contained in:
bors 2022-06-27 15:46:19 +00:00
commit 99afff9dc1
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/pass/concurrency/sync_nopreempt.rs
View File

@ -46,7 +46,7 @@ fn check_rwlock_unlock_bug1() {
// Make a waiting writer.
let l2 = l.clone();
thread::spawn(move || {
let t = thread::spawn(move || {
let mut w = l2.write().unwrap();
*w += 1;
});
@ -59,6 +59,7 @@ fn check_rwlock_unlock_bug1() {
thread::yield_now();
assert_eq!(*r2, 0);
drop(r2);
t.join().unwrap();
}
fn check_rwlock_unlock_bug2() {