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) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl MetaObj for MacOsUnfairLock

fn on_access<'tcx>(&self) -> InterpResult<'tcx>

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

fn opaque(&self) -> bool

Determines whether this object is opaque. Opaque objects have their memory contents reset to “uninit” on creation, and are implicitly removed on writes.

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