| @@ -1,5 +1,13 @@ |
|
|
| 1 |
1 |
cfg_if::cfg_if! { |
| 2 |
|
-if #[cfg(target_os = "linux")] { |
|
2 |
+if #[cfg(miri)] { |
|
3 |
+/// Mitigation for https://github.com/rust-lang/rust/issues/126600 |
|
4 |
+ /// |
|
5 |
+ /// This mitigation is not necessary when running under Miri, so this function does nothing |
|
6 |
+ /// when running under Miri. |
|
7 |
+ pub(crate) fn unique_thread_exit() { |
|
8 |
+// Mitigation not required on Miri, where `exit` is thread-safe. |
|
9 |
+} |
|
10 |
+} else if #[cfg(target_os = "linux")] { |
| 3 |
11 |
/// Mitigation for https://github.com/rust-lang/rust/issues/126600 |
| 4 |
12 |
/// |
| 5 |
13 |
/// On `unix` (where `libc::exit` may not be thread-safe), ensure that only one Rust thread |