Struct miri::concurrency::weak_memory::StoreBufferAlloc
source · pub struct StoreBufferAlloc {
store_buffers: RefCell<RangeObjectMap<StoreBuffer>>,
}
Fields§
§store_buffers: RefCell<RangeObjectMap<StoreBuffer>>
Store buffer of each atomic object in this allocation
Implementations§
source§impl StoreBufferAlloc
impl StoreBufferAlloc
pub fn new_allocation() -> Self
sourcepub fn memory_accessed(&self, range: AllocRange, global: &DataRaceState)
pub fn memory_accessed(&self, range: AllocRange, global: &DataRaceState)
When a non-atomic access happens on a location that has been atomically accessed before without data race, we can determine that the non-atomic access fully happens after all the prior atomic accesses so the location no longer needs to exhibit any weak memory behaviours until further atomic accesses.
sourcefn get_or_create_store_buffer<'tcx>(
&self,
range: AllocRange,
init: Scalar<Provenance>
) -> InterpResult<'tcx, Ref<'_, StoreBuffer>>
fn get_or_create_store_buffer<'tcx>( &self, range: AllocRange, init: Scalar<Provenance> ) -> InterpResult<'tcx, Ref<'_, StoreBuffer>>
Gets a store buffer associated with an atomic object in this allocation, or creates one with the specified initial value if no atomic object exists yet.
sourcefn get_or_create_store_buffer_mut<'tcx>(
&mut self,
range: AllocRange,
init: Scalar<Provenance>
) -> InterpResult<'tcx, &mut StoreBuffer>
fn get_or_create_store_buffer_mut<'tcx>( &mut self, range: AllocRange, init: Scalar<Provenance> ) -> InterpResult<'tcx, &mut StoreBuffer>
Gets a mutable store buffer associated with an atomic object in this allocation
Trait Implementations§
source§impl Clone for StoreBufferAlloc
impl Clone for StoreBufferAlloc
source§fn clone(&self) -> StoreBufferAlloc
fn clone(&self) -> StoreBufferAlloc
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for StoreBufferAlloc
impl Debug for StoreBufferAlloc
source§impl VisitProvenance for StoreBufferAlloc
impl VisitProvenance for StoreBufferAlloc
fn visit_provenance(&self, visit: &mut VisitWith<'_>)
Auto Trait Implementations§
impl !DynSend for StoreBufferAlloc
impl !DynSync for StoreBufferAlloc
impl !Freeze for StoreBufferAlloc
impl !RefUnwindSafe for StoreBufferAlloc
impl Send for StoreBufferAlloc
impl !Sync for StoreBufferAlloc
impl Unpin for StoreBufferAlloc
impl UnwindSafe for StoreBufferAlloc
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
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