Struct miri::machine::AllocExtra

pub struct AllocExtra {
    pub borrow_tracker: Option<AllocState>,
    pub data_race: Option<VClockAlloc>,
    pub weak_memory: Option<StoreBufferAlloc>,
}

Extra per-allocation data

Fields

borrow_tracker: Option<AllocState>

Global state of the borrow tracker, if enabled.

data_race: Option<VClockAlloc>

Data race detection via the use of a vector-clock, this is only added if it is enabled.

weak_memory: Option<StoreBufferAlloc>

Weak memory emulation via the use of store buffers, this is only added if it is enabled.

Implementations

impl AllocExtra

pub fn borrow_tracker_sb(&self) -> &RefCell<Stacks>

pub fn borrow_tracker_sb_mut(&mut self) -> &mut RefCell<Stacks>

pub fn borrow_tracker_tb(&self) -> &RefCell<Tree>

Trait Implementations

impl Clone for AllocExtra

fn clone(&self) -> AllocExtra

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AllocExtra

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

Formats the value using the given formatter.

impl VisitTags for AllocExtra

fn visit_tags(&self, visit: &mut dyn FnMut(BorTag))

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