Struct OrderedRwLock

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

A wrapper for an RwLock 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 RwLock.

Implementations

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

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

pub fn read<'a, P>( &'a self, locked: &'a mut Locked<'_, P>, ) -> <Self as RwLockFor<L>>::ReadGuard<'a>

where P: LockBefore<L>,

pub fn write<'a, P>( &'a self, locked: &'a mut Locked<'_, P>, ) -> <Self as RwLockFor<L>>::WriteGuard<'a>

where P: LockBefore<L>,

pub fn read_and<'a, P>( &'a self, locked: &'a mut Locked<'_, P>, ) -> (<Self as RwLockFor<L>>::ReadGuard<'a>, Locked<'a, L>)

where P: LockBefore<L>,

pub fn write_and<'a, P>( &'a self, locked: &'a mut Locked<'_, P>, ) -> (<Self as RwLockFor<L>>::WriteGuard<'a>, Locked<'a, L>)

where P: LockBefore<L>,

Trait Implementations

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

impl<T, L: LockAfter<UninterruptibleLock>> RwLockFor<L> for OrderedRwLock<T, L>

type Data = T

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

type ReadGuard<'a> = RwLockReadGuard<'a, TracingWrapper<RawSyncRwLock>, T> where T: 'a, L: 'a

A guard providing read access to the data.

type WriteGuard<'a> = RwLockWriteGuard<'a, TracingWrapper<RawSyncRwLock>, T> where T: 'a, L: 'a

A guard providing write access to the data.

fn read_lock(&self) -> Self::ReadGuard<'_>

Acquires a read lock on the data in Self indicated by L.

fn write_lock(&self) -> Self::WriteGuard<'_>

Acquires a write lock on the data in Self indicated by L.