about summary refs log tree commit diff
path: root/compiler/rustc_data_structures/src/sync
diff options
context:
space:
mode:
authorJohn Kåre Alsaker <john.kare.alsaker@gmail.com>2023-09-02 08:21:07 +0200
committerJohn Kåre Alsaker <john.kare.alsaker@gmail.com>2023-09-06 11:44:06 +0200
commit35e8b67fc2a48dc77245e805f3976acd51d45474 (patch)
tree1d3c3367df53995c5c8ede298bc18d6ff55b2ea6 /compiler/rustc_data_structures/src/sync
parenta3ad045ea49b0613505e02bb0036575d1fc0c99f (diff)
downloadrust-35e8b67fc2a48dc77245e805f3976acd51d45474.tar.gz
rust-35e8b67fc2a48dc77245e805f3976acd51d45474.zip
Use a reference to the lock in the guards
Diffstat (limited to 'compiler/rustc_data_structures/src/sync')
-rw-r--r--compiler/rustc_data_structures/src/sync/freeze.rs29
1 files changed, 14 insertions, 15 deletions
diff --git a/compiler/rustc_data_structures/src/sync/freeze.rs b/compiler/rustc_data_structures/src/sync/freeze.rs
index ea75dcc4151..d9f1d72d851 100644
--- a/compiler/rustc_data_structures/src/sync/freeze.rs
+++ b/compiler/rustc_data_structures/src/sync/freeze.rs
@@ -3,6 +3,7 @@ use crate::sync::{AtomicBool, ReadGuard, RwLock, WriteGuard};
 use crate::sync::{DynSend, DynSync};
 use std::{
     cell::UnsafeCell,
+    marker::PhantomData,
     ops::{Deref, DerefMut},
     sync::atomic::Ordering,
 };
@@ -37,10 +38,7 @@ impl<T> FreezeLock<T> {
             } else {
                 Some(self.lock.read())
             },
-            // SAFETY: If this is not frozen, `_lock_guard` holds the lock to the `UnsafeCell` so
-            // this has shared access until the `FreezeReadGuard` is dropped. If this is frozen,
-            // the data cannot be modified and shared access is sound.
-            data: unsafe { &*self.data.get() },
+            lock: self,
         }
     }
 
@@ -50,12 +48,7 @@ impl<T> FreezeLock<T> {
         let _lock_guard = self.lock.write();
         // Use relaxed ordering since we're in the write lock.
         assert!(!self.frozen.load(Ordering::Relaxed), "still mutable");
-        FreezeWriteGuard {
-            _lock_guard,
-            // SAFETY: `_lock_guard` holds the lock to the `UnsafeCell` so this has mutable access
-            // until the `FreezeWriteGuard` is dropped.
-            data: unsafe { &mut *self.data.get() },
-        }
+        FreezeWriteGuard { _lock_guard, lock: self, marker: PhantomData }
     }
 
     #[inline]
@@ -75,14 +68,17 @@ impl<T> FreezeLock<T> {
 #[must_use = "if unused the FreezeLock may immediately unlock"]
 pub struct FreezeReadGuard<'a, T> {
     _lock_guard: Option<ReadGuard<'a, ()>>,
-    data: &'a T,
+    lock: &'a FreezeLock<T>,
 }
 
 impl<'a, T: 'a> Deref for FreezeReadGuard<'a, T> {
     type Target = T;
     #[inline]
     fn deref(&self) -> &T {
-        self.data
+        // SAFETY: If `lock` is not frozen, `_lock_guard` holds the lock to the `UnsafeCell` so
+        // this has shared access until the `FreezeReadGuard` is dropped. If `lock` is frozen,
+        // the data cannot be modified and shared access is sound.
+        unsafe { &*self.lock.data.get() }
     }
 }
 
@@ -90,20 +86,23 @@ impl<'a, T: 'a> Deref for FreezeReadGuard<'a, T> {
 #[must_use = "if unused the FreezeLock may immediately unlock"]
 pub struct FreezeWriteGuard<'a, T> {
     _lock_guard: WriteGuard<'a, ()>,
-    data: &'a mut T,
+    lock: &'a FreezeLock<T>,
+    marker: PhantomData<&'a mut T>,
 }
 
 impl<'a, T: 'a> Deref for FreezeWriteGuard<'a, T> {
     type Target = T;
     #[inline]
     fn deref(&self) -> &T {
-        self.data
+        // SAFETY: `self._lock_guard` holds the lock to the `UnsafeCell` so this has shared access.
+        unsafe { &*self.lock.data.get() }
     }
 }
 
 impl<'a, T: 'a> DerefMut for FreezeWriteGuard<'a, T> {
     #[inline]
     fn deref_mut(&mut self) -> &mut T {
-        self.data
+        // SAFETY: `self._lock_guard` holds the lock to the `UnsafeCell` so this has mutable access.
+        unsafe { &mut *self.lock.data.get() }
     }
 }