From 4ba03be97e6cc7e790bbc9bfc18caaa228c8a262 Mon Sep 17 00:00:00 2001 From: Botahamec Date: Fri, 28 Feb 2025 16:09:11 -0500 Subject: Scoped lock API --- src/mutex/mutex.rs | 61 +++++++++++++++++++++++++++++++++++++++++++++++------- 1 file changed, 54 insertions(+), 7 deletions(-) (limited to 'src/mutex/mutex.rs') diff --git a/src/mutex/mutex.rs b/src/mutex/mutex.rs index 0bd5286..1d8ce8b 100644 --- a/src/mutex/mutex.rs +++ b/src/mutex/mutex.rs @@ -6,9 +6,9 @@ use std::panic::AssertUnwindSafe; use lock_api::RawMutex; use crate::handle_unwind::handle_unwind; -use crate::key::Keyable; use crate::lockable::{Lockable, LockableGetMut, LockableIntoInner, OwnedLockable, RawLock}; use crate::poisonable::PoisonFlag; +use crate::{Keyable, ThreadKey}; use super::{Mutex, MutexGuard, MutexRef}; @@ -62,6 +62,11 @@ unsafe impl Lockable for Mutex { where Self: 'g; + type DataMut<'a> + = &'a mut T + where + Self: 'a; + fn get_ptrs<'a>(&'a self, ptrs: &mut Vec<&'a dyn RawLock>) { ptrs.push(self); } @@ -69,6 +74,10 @@ unsafe impl Lockable for Mutex { unsafe fn guard(&self) -> Self::Guard<'_> { MutexRef::new(self) } + + unsafe fn data_mut(&self) -> Self::DataMut<'_> { + self.data.get().as_mut().unwrap_unchecked() + } } impl LockableIntoInner for Mutex { @@ -214,6 +223,46 @@ impl Mutex { } impl Mutex { + pub fn scoped_lock(&self, key: impl Keyable, f: impl FnOnce(&mut T) -> Ret) -> Ret { + unsafe { + // safety: we have the thread key + self.raw_lock(); + + // safety: the mutex was just locked + let r = f(self.data.get().as_mut().unwrap_unchecked()); + + // safety: we locked the mutex already + self.raw_unlock(); + + drop(key); // ensures we drop the key in the correct place + + r + } + } + + pub fn scoped_try_lock( + &self, + key: Key, + f: impl FnOnce(&mut T) -> Ret, + ) -> Result { + unsafe { + // safety: we have the thread key + if !self.raw_try_lock() { + return Err(key); + } + + // safety: the mutex was just locked + let r = f(self.data.get().as_mut().unwrap_unchecked()); + + // safety: we locked the mutex already + self.raw_unlock(); + + drop(key); // ensures we drop the key in the correct place + + Ok(r) + } + } + /// Block the thread until this mutex can be locked, and lock it. /// /// Upon returning, the thread is the only thread with a lock on the @@ -237,7 +286,7 @@ impl Mutex { /// let key = ThreadKey::get().unwrap(); /// assert_eq!(*mutex.lock(key), 10); /// ``` - pub fn lock<'s, 'k: 's, Key: Keyable>(&'s self, key: Key) -> MutexGuard<'s, 'k, T, Key, R> { + pub fn lock(&self, key: ThreadKey) -> MutexGuard<'_, T, R> { unsafe { // safety: we have the thread key self.raw_lock(); @@ -280,10 +329,7 @@ impl Mutex { /// let key = ThreadKey::get().unwrap(); /// assert_eq!(*mutex.lock(key), 10); /// ``` - pub fn try_lock<'s, 'k: 's, Key: Keyable>( - &'s self, - key: Key, - ) -> Result, Key> { + pub fn try_lock(&self, key: ThreadKey) -> Result, ThreadKey> { unsafe { // safety: we have the key to the mutex if self.raw_try_lock() { @@ -322,7 +368,8 @@ impl Mutex { /// /// let key = Mutex::unlock(guard); /// ``` - pub fn unlock<'a, 'k: 'a, Key: Keyable + 'k>(guard: MutexGuard<'a, 'k, T, Key, R>) -> Key { + #[must_use] + pub fn unlock(guard: MutexGuard<'_, T, R>) -> ThreadKey { unsafe { guard.mutex.0.raw_unlock(); } -- cgit v1.2.3