Struct OrderedMutex

pub struct OrderedMutex<T, L: LockAfter<UninterruptibleLock>> { /* private fields */ }

A wrapper for mutex that requires a Locked context to acquire. This context must be of a level that precedes L in the lock ordering graph where L is a level associated with this mutex.

Implementations

impl<T, L: LockAfter<UninterruptibleLock>> OrderedMutex<T, L>

pub const fn new(t: T) -> Self

pub fn lock<'a, P>( &'a self, locked: &'a mut Locked<'_, P>, ) -> <Self as LockFor<L>>::Guard<'a>

where P: LockBefore<L>,

pub fn lock_and<'a, P>( &'a self, locked: &'a mut Locked<'_, P>, ) -> (<Self as LockFor<L>>::Guard<'a>, Locked<'a, L>)

where P: LockBefore<L>,

Trait Implementations

impl<T: Debug, L: LockAfter<UninterruptibleLock>> Debug for OrderedMutex<T, L>

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

Formats the value using the given formatter.

impl<T: Default, L: LockAfter<UninterruptibleLock>> Default for OrderedMutex<T, L>

fn default() -> Self

Returns the “default value” for a type.

impl<T, L: LockAfter<UninterruptibleLock>> LockFor<L> for OrderedMutex<T, L>

type Data = T

The data produced by locking the state indicated by L in Self.

type Guard<'a> = MutexGuard<'a, TracingWrapper<RawSyncMutex>, T> where T: 'a, L: 'a

A guard providing read and write access to the data.

fn lock(&self) -> Self::Guard<'_>

Locks Self for lock L.