Skip to content

Commit ba07864

Browse files
committed
Add spin loop hints for Miri
1 parent 6f52bea commit ba07864

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

crossbeam-deque/tests/injector.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -61,6 +61,8 @@ fn spsc() {
6161
assert_eq!(i, v);
6262
break;
6363
}
64+
#[cfg(miri)]
65+
std::hint::spin_loop();
6466
}
6567
}
6668

@@ -102,6 +104,8 @@ fn mpmc() {
102104
v[n].fetch_add(1, SeqCst);
103105
break;
104106
}
107+
#[cfg(miri)]
108+
std::hint::spin_loop();
105109
}
106110
}
107111
});

crossbeam-deque/tests/lifo.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -87,6 +87,8 @@ fn spsc() {
8787
assert_eq!(i, v);
8888
break;
8989
}
90+
#[cfg(miri)]
91+
std::hint::spin_loop();
9092
}
9193
}
9294

0 commit comments

Comments
 (0)