Struct MutexGuard
#[must_use = "if unused the Mutex will immediately unlock"]
pub struct MutexGuard<'a, R: RawMutex, T: ?Sized> { /* private fields */ }
An RAII implementation of a "scoped lock" of a mutex. When this structure is dropped (falls out of scope), the lock will be unlocked.
The data protected by the mutex can be accessed through this guard via its
Deref and DerefMut implementations.
Implementations
impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> MutexGuard<'a, R, T>
fn mutex(s: &Self) -> &'a Mutex<R, T>Returns a reference to the original
Mutexobject.fn map<U: ?Sized, F>(s: Self, f: F) -> MappedMutexGuard<'a, R, U> where F: FnOnce(&mut T) -> &mut U,Makes a new
MappedMutexGuardfor a component of the locked data.This operation cannot fail as the
MutexGuardpassed in already locked the mutex.This is an associated function that needs to be used as
MutexGuard::map(...). A method would interfere with methods of the same name on the contents of the locked data.fn try_map<U: ?Sized, F>(s: Self, f: F) -> Result<MappedMutexGuard<'a, R, U>, Self> where F: FnOnce(&mut T) -> Option<&mut U>,Attempts to make a new
MappedMutexGuardfor a component of the locked data. The original guard is returned if the closure returnsNone.This operation cannot fail as the
MutexGuardpassed in already locked the mutex.This is an associated function that needs to be used as
MutexGuard::try_map(...). A method would interfere with methods of the same name on the contents of the locked data.fn try_map_or_err<U: ?Sized, F, E>(s: Self, f: F) -> Result<MappedMutexGuard<'a, R, U>, (Self, E)> where F: FnOnce(&mut T) -> Result<&mut U, E>,Attempts to make a new
MappedMutexGuardfor a component of the locked data. The original guard is returned alongside arbitrary user data if the closure returnsErr.This operation cannot fail as the
MutexGuardpassed in already locked the mutex.This is an associated function that needs to be used as
MutexGuard::try_map_or_err(...). A method would interfere with methods of the same name on the contents of the locked data.fn unlocked<F, U>(s: &mut Self, f: F) -> U where F: FnOnce() -> U,Temporarily unlocks the mutex to execute the given function.
This is safe because
&mutguarantees that there exist no other references to the data protected by the mutex.fn leak(s: Self) -> &'a mut TLeaks the mutex guard and returns a mutable reference to the data protected by the mutex.
This will leave the
Mutexin a locked state.
impl<'a, R: RawMutexFair + 'a, T: ?Sized + 'a> MutexGuard<'a, R, T>
fn unlock_fair(s: Self)Unlocks the mutex using a fair unlock protocol.
By default, mutexes are unfair and allow the current thread to re-lock the mutex before another has the chance to acquire the lock, even if that thread has been blocked on the mutex for a long time. This is the default because it allows much higher throughput as it avoids forcing a context switch on every mutex unlock. This can result in one thread acquiring a mutex many more times than other threads.
However in some cases it can be beneficial to ensure fairness by forcing the lock to pass on to a waiting thread if there is one. This is done by using this method instead of dropping the
MutexGuardnormally.fn unlocked_fair<F, U>(s: &mut Self, f: F) -> U where F: FnOnce() -> U,Temporarily unlocks the mutex to execute the given function.
The mutex is unlocked using a fair unlock protocol.
This is safe because
&mutguarantees that there exist no other references to the data protected by the mutex.fn bump(s: &mut Self)Temporarily yields the mutex to a waiting thread if there is one.
This method is functionally equivalent to calling
unlock_fairfollowed bylock, however it can be much more efficient in the case where there are no waiting threads.
Trait Implementations
impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> Deref for MutexGuard<'a, R, T>
type Target = T;fn deref(&self) -> &T
impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> DerefMut for MutexGuard<'a, R, T>
fn deref_mut(&mut self) -> &mut T
impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> Drop for MutexGuard<'a, R, T>
fn drop(&mut self)
impl<'a, R: RawMutex + 'a, T: Debug + ?Sized + 'a> Debug for MutexGuard<'a, R, T>
fn fmt(&self, f: &mut Formatter<'_>) -> Result
impl<'a, R: RawMutex + 'a, T: Display + ?Sized + 'a> Display for MutexGuard<'a, R, T>
fn fmt(&self, f: &mut Formatter<'_>) -> Result
impl<'a, R: RawMutex + Sync + 'a, T: ?Sized + Sync + 'a> Sync for MutexGuard<'a, R, T>
Auto Trait Implementations
impl<'a, R, T> !RefUnwindSafe for MutexGuard<'a, R, T>
impl<'a, R, T> !UnwindSafe for MutexGuard<'a, R, T>
impl<'a, R, T> Freeze for MutexGuard<'a, R, T>
where
&'a Mutex<R, T>: Freeze,
PhantomData<(&'a mut T, <R as RawMutex>::GuardMarker)>: Freeze,
T: ?Sized,
impl<'a, R, T> Send for MutexGuard<'a, R, T>
where
&'a Mutex<R, T>: Send,
PhantomData<(&'a mut T, <R as RawMutex>::GuardMarker)>: Send,
T: ?Sized,
impl<'a, R, T> Unpin for MutexGuard<'a, R, T>
where
&'a Mutex<R, T>: Unpin,
PhantomData<(&'a mut T, <R as RawMutex>::GuardMarker)>: Unpin,
T: ?Sized,
impl<'a, R, T> UnsafeUnpin for MutexGuard<'a, R, T>
where
&'a Mutex<R, T>: UnsafeUnpin,
PhantomData<(&'a mut T, <R as RawMutex>::GuardMarker)>: UnsafeUnpin,
T: ?Sized,
Blanket Implementations
impl<P, T> Receiver for MutexGuard<'a, R, T>
where
P: Deref<Target = T> + ?Sized,
T: ?Sized,
type Target = T;
impl<T> Any for MutexGuard<'a, R, T>
where
T: 'static + ?Sized,
fn type_id(&self) -> TypeId
impl<T> Borrow<T> for MutexGuard<'a, R, T>
where
T: ?Sized,
fn borrow(&self) -> &T
impl<T> BorrowMut<T> for MutexGuard<'a, R, T>
where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
impl<T> From<T> for MutexGuard<'a, R, T>
fn from(t: T) -> TReturns the argument unchanged.
impl<T, U> Into<U> for MutexGuard<'a, R, T>
where
U: From<T>,
fn into(self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom<U> for MutexGuard<'a, R, T>
where
U: Into<T>,
type Error = never;fn try_from(value: U) -> Result<T, never>
impl<T, U> TryInto<U> for MutexGuard<'a, R, T>
where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error;fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>