Struct miri::concurrency::weak_memory::LoadInfo

struct LoadInfo {
    timestamps: FxHashMap<VectorIdx, VTimestamp>,
    sc_loaded: bool,
}

Fields

timestamps: FxHashMap<VectorIdx, VTimestamp>

Timestamp of first loads from this store element by each thread

sc_loaded: bool

Whether this store element has been read by an SC load

Trait Implementations

impl Clone for LoadInfo

fn clone(&self) -> LoadInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LoadInfo

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

Formats the value using the given formatter.

impl Default for LoadInfo

fn default() -> LoadInfo

Returns the “default value” for a type.

impl PartialEq<LoadInfo> for LoadInfo

fn eq(&self, other: &LoadInfo) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LoadInfo

impl StructuralEq for LoadInfo

impl StructuralPartialEq for LoadInfo

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: 40 bytes