struct MemoryCellClocks {
    write: VTimestamp,
    write_index: VectorIdx,
    write_type: WriteType,
    read: VClock,
    atomic_ops: Option<Box<AtomicMemoryCellClocks>>,
}
Expand description

Memory Cell vector clock metadata for data-race detection.

Fields§

§write: VTimestamp

The vector-clock timestamp of the last write corresponding to the writing threads timestamp.

§write_index: VectorIdx

The identifier of the vector index, corresponding to a thread that performed the last write operation.

§write_type: WriteType

The type of operation that the write index represents, either newly allocated memory, a non-atomic write or a deallocation of memory.

§read: VClock

The vector-clock of the timestamp of the last read operation performed by a thread since the last write operation occurred. It is reset to zero on each write operation.

§atomic_ops: Option<Box<AtomicMemoryCellClocks>>

Atomic acquire & release sequence tracking clocks. For non-atomic memory in the common case this value is set to None.

Implementations§

source§

impl MemoryCellClocks

source

fn new(alloc: VTimestamp, alloc_index: VectorIdx) -> Self

Create a new set of clocks representing memory allocated at a given vector timestamp and index.

source

fn atomic(&self) -> Option<&AtomicMemoryCellClocks>

Load the internal atomic memory cells if they exist.

source

fn atomic_mut(&mut self) -> &mut AtomicMemoryCellClocks

Load or create the internal atomic memory metadata if it does not exist.

source

fn load_acquire( &mut self, thread_clocks: &mut ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Update memory cell data-race tracking for atomic load acquire semantics, is a no-op if this memory was not used previously as atomic memory.

source

fn race_free_with_atomic(&self, thread_clocks: &ThreadClockSet) -> bool

Checks if the memory cell access is ordered with all prior atomic reads and writes

source

fn load_relaxed( &mut self, thread_clocks: &mut ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Update memory cell data-race tracking for atomic load relaxed semantics, is a no-op if this memory was not used previously as atomic memory.

source

fn store_release( &mut self, thread_clocks: &ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Update the memory cell data-race tracking for atomic store release semantics.

source

fn store_relaxed( &mut self, thread_clocks: &ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Update the memory cell data-race tracking for atomic store relaxed semantics.

source

fn rmw_release( &mut self, thread_clocks: &ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Update the memory cell data-race tracking for atomic store release semantics for RMW operations.

source

fn rmw_relaxed( &mut self, thread_clocks: &ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Update the memory cell data-race tracking for atomic store relaxed semantics for RMW operations.

source

fn atomic_read_detect( &mut self, thread_clocks: &ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Detect data-races with an atomic read, caused by a non-atomic write that does not happen-before the atomic-read.

source

fn atomic_write_detect( &mut self, thread_clocks: &ThreadClockSet, index: VectorIdx ) -> Result<(), DataRace>

Detect data-races with an atomic write, either with a non-atomic read or with a non-atomic write.

source

fn read_race_detect( &mut self, thread_clocks: &mut ThreadClockSet, index: VectorIdx, current_span: Span ) -> Result<(), DataRace>

Detect races for non-atomic read operations at the current memory cell returns true if a data-race is detected.

source

fn write_race_detect( &mut self, thread_clocks: &mut ThreadClockSet, index: VectorIdx, write_type: WriteType, current_span: Span ) -> Result<(), DataRace>

Detect races for non-atomic write operations at the current memory cell returns true if a data-race is detected.

Trait Implementations§

source§

impl Clone for MemoryCellClocks

source§

fn clone(&self) -> MemoryCellClocks

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for MemoryCellClocks

source§

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

Formats the value using the given formatter. Read more
source§

impl PartialEq<MemoryCellClocks> for MemoryCellClocks

source§

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

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

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.
source§

impl Eq for MemoryCellClocks

source§

impl StructuralEq for MemoryCellClocks

source§

impl StructuralPartialEq for MemoryCellClocks

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

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