Attempt to fix CI

model-checking · Jul 8, 2024 · e74955e · e74955e
1 parent 29d7923
commit e74955e
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/std/src/sys/exit_guard.rs b/std/src/sys/exit_guard.rs
@@ -1,5 +1,14 @@
 cfg_if::cfg_if! {
     if #[cfg(target_os = "linux")] {
+        /// pthread_t is a pointer on some platforms,
+        /// so we wrap it in this to impl Send + Sync.
+        #[derive(Clone, Copy)]
+        #[repr(transparent)]
+        struct PThread(libc::pthread_t);
+        // Safety: pthread_t is safe to send between threads
+        unsafe impl Send for PThread {}
+        // Safety: pthread_t is safe to share between threads
+        unsafe impl Sync for PThread {}
         /// Mitigation for <https://github.com/rust-lang/rust/issues/126600>
         ///
         /// On glibc, `libc::exit` has been observed to not always be thread-safe.
@@ -23,17 +32,17 @@ cfg_if::cfg_if! {
         pub(crate) fn unique_thread_exit() {
             let this_thread_id = unsafe { libc::pthread_self() };
             use crate::sync::{Mutex, PoisonError};
-            static EXITING_THREAD_ID: Mutex<Option<libc::pthread_t>> = Mutex::new(None);
+            static EXITING_THREAD_ID: Mutex<Option<PThread>> = Mutex::new(None);
             let mut exiting_thread_id =
                 EXITING_THREAD_ID.lock().unwrap_or_else(PoisonError::into_inner);
             match *exiting_thread_id {
                 None => {
                     // This is the first thread to call `unique_thread_exit`,
                     // and this is the first time it is called.
                     // Set EXITING_THREAD_ID to this thread's ID and return.
-                    *exiting_thread_id = Some(this_thread_id);
+                    *exiting_thread_id = Some(PThread(this_thread_id));
                 },
-                Some(exiting_thread_id) if exiting_thread_id == this_thread_id => {
+                Some(exiting_thread_id) if exiting_thread_id.0 == this_thread_id => {
                     // This is the first thread to call `unique_thread_exit`,
                     // but this is the second time it is called.
                     // Abort the process.