Struct lock_api::ReentrantMutexGuard

source ·
pub struct ReentrantMutexGuard<'a, R: RawMutex, G: GetThreadId, T: ?Sized> { /* private fields */ }
Expand description

An RAII implementation of a “scoped lock” of a reentrant 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 implementation.

Implementations§

source§

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: ?Sized + 'a> ReentrantMutexGuard<'a, R, G, T>

source

pub fn remutex(s: &Self) -> &'a ReentrantMutex<R, G, T>

Returns a reference to the original ReentrantMutex object.

source

pub fn map<U: ?Sized, F>( s: Self, f: F ) -> MappedReentrantMutexGuard<'a, R, G, U>
where F: FnOnce(&T) -> &U,

Makes a new MappedReentrantMutexGuard for a component of the locked data.

This operation cannot fail as the ReentrantMutexGuard passed in already locked the mutex.

This is an associated function that needs to be used as ReentrantMutexGuard::map(...). A method would interfere with methods of the same name on the contents of the locked data.

source

pub fn try_map<U: ?Sized, F>( s: Self, f: F ) -> Result<MappedReentrantMutexGuard<'a, R, G, U>, Self>
where F: FnOnce(&T) -> Option<&U>,

Attempts to make a new MappedReentrantMutexGuard for a component of the locked data. The original guard is return if the closure returns None.

This operation cannot fail as the ReentrantMutexGuard passed in already locked the mutex.

This is an associated function that needs to be used as ReentrantMutexGuard::try_map(...). A method would interfere with methods of the same name on the contents of the locked data.

source

pub 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 &mut guarantees that there exist no other references to the data protected by the mutex.

source§

impl<'a, R: RawMutexFair + 'a, G: GetThreadId + 'a, T: ?Sized + 'a> ReentrantMutexGuard<'a, R, G, T>

source

pub 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 ReentrantMutexGuard normally.

source

pub 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 a fair unlock protocol.

This is safe because &mut guarantees that there exist no other references to the data protected by the mutex.

source

pub 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_fair followed by lock, however it can be much more efficient in the case where there are no waiting threads.

Trait Implementations§

source§

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: Debug + ?Sized + 'a> Debug for ReentrantMutexGuard<'a, R, G, T>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: ?Sized + 'a> Deref for ReentrantMutexGuard<'a, R, G, T>

§

type Target = T

The resulting type after dereferencing.
source§

fn deref(&self) -> &T

Dereferences the value.
source§

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: Display + ?Sized + 'a> Display for ReentrantMutexGuard<'a, R, G, T>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: ?Sized + 'a> Drop for ReentrantMutexGuard<'a, R, G, T>

source§

fn drop(&mut self)

Executes the destructor for this type. Read more
source§

impl<'a, R: RawMutex + Sync + 'a, G: GetThreadId + Sync + 'a, T: ?Sized + Sync + 'a> Sync for ReentrantMutexGuard<'a, R, G, T>

Auto Trait Implementations§

§

impl<'a, R, G, T> Freeze for ReentrantMutexGuard<'a, R, G, T>
where T: ?Sized,

§

impl<'a, R, G, T> !RefUnwindSafe for ReentrantMutexGuard<'a, R, G, T>

§

impl<'a, R, G, T> !Send for ReentrantMutexGuard<'a, R, G, T>

§

impl<'a, R, G, T> Unpin for ReentrantMutexGuard<'a, R, G, T>
where T: ?Sized,

§

impl<'a, R, G, T> !UnwindSafe for ReentrantMutexGuard<'a, R, G, T>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.