AllocState in miri::concurrency::weak_memory - Rust
Description: API documentation for the Rust `AllocState` type in crate `miri`.

Skip to main content

## AllocState

# Type Alias AllocState

Source

    pub type AllocState = StoreBufferAlloc;

## Aliased Type§

    pub struct AllocState {
        store_buffers: RefCell<RangeObjectMap<StoreBuffer>>,
    }

## Fields§

§`store_buffers: RefCell<RangeObjectMap<StoreBuffer>>`

Store buffer of each atomic object in this allocation

## 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: 32 bytes