Struct miri::concurrency::weak_memory::LoadInfo
source · Fields§
§timestamps: FxHashMap<VectorIdx, u32>
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 Eq for LoadInfo
impl StructuralEq for LoadInfo
impl StructuralPartialEq for LoadInfo
Auto Trait Implementations§
impl RefUnwindSafe for LoadInfo
impl Send for LoadInfo
impl Sync for LoadInfo
impl Unpin for LoadInfo
impl UnwindSafe for LoadInfo
Blanket Implementations§
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