Struct PiMutexCoreView 

pub struct PiMutexCoreView<'lock> { /* private fields */ }

Borrowed storage of one native PI-mutex state machine.

The view keeps the algorithm independent from the physical wrapper. Native PiMutexCore values and OS-independent fixed-layout storage therefore execute the same owner, generation, and waiter-lifecycle transitions.

Implementations

impl<'lock> PiMutexCoreView<'lock>

pub fn try_acquire( self, current: PiTaskId, ) -> Result<PiMutexAcquire, PiMutexStateError>

Attempts the atomic uncontended acquisition path.

pub unsafe fn try_release_owned( self, current: PiTaskId, ) -> Result<PiMutexOwnedRelease, PiMutexStateError>

Releases this raw mutex for the executing owner identity.

Safety

The caller must own this mutex through a higher-level raw-mutex contract, pass the executing scheduler identity as current, and retain that authority through any contended handoff.

pub fn is_owned_by(self, current: PiTaskId) -> bool

Returns whether current is the physical owner.

pub fn is_locked(self) -> bool

Returns whether the mutex is owned or in an ownerless handoff window.

pub fn mutex_ref(self) -> Result<PiMutexRef<'lock>, PiMutexStateError>

Borrows this physical lock’s generation-bearing scheduler identity.

Trait Implementations

impl<'lock> Clone for PiMutexCoreView<'lock>

fn clone(&self) -> PiMutexCoreView<'lock>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'lock> Copy for PiMutexCoreView<'lock>

impl<'lock> Debug for PiMutexCoreView<'lock>

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

Formats the value using the given formatter.