Enum MacOsUnfairLock 

enum MacOsUnfairLock {
    Active {
        mutex_ref: MutexRef,
    },
    PermanentlyLockedByUnknown,
}

Variants

Active

Fields

mutex_ref: MutexRef

PermanentlyLockedByUnknown

If a lock gets copied while being held, we put it in this state. It seems like in the real implementation, the lock actually remembers who held it, and still behaves as-if it was held by that thread in the new location. In Miri, we don’t know who actually owns this lock at the moment.

Trait Implementations

impl Clone for MacOsUnfairLock

fn clone(&self) -> MacOsUnfairLock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl SyncObj for MacOsUnfairLock

fn on_access<'tcx>(&self, access_kind: AccessKind) -> InterpResult<'tcx>

Determines whether reads/writes to this object’s location are currently permitted.

fn delete_on_write(&self) -> bool

Determines whether this object’s metadata shall be deleted when a write to its location occurs.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes

Size for each variant:

• Active: 8 bytes
• PermanentlyLockedByUnknown: 0 bytes