Struct miri::concurrency::vector_clock::VClock

source ·
pub struct VClock(SmallVec<[VTimestamp; 4]>);
Expand description

A vector clock for detecting data-races, this is conceptually a map from a vector index (and thus a thread id) to a timestamp. The compare operations require that the invariant that the last element in the internal timestamp slice must not be a 0, hence all zero vector clocks are always represented by the empty slice; and allows for the implementation of compare operations to short circuit the calculation and return the correct result faster, also this means that there is only one unique valid length for each set of vector clock values and hence the PartialEq and Eq derivations are correct.

Tuple Fields§

§0: SmallVec<[VTimestamp; 4]>

Implementations§

source§

impl VClock

source

pub(super) fn new_with_index(index: VectorIdx, timestamp: VTimestamp) -> VClock

Create a new vector-clock containing all zeros except for a value at the given index

source

pub(super) fn as_slice(&self) -> &[VTimestamp]

Load the internal timestamp slice in the vector clock

source

pub(super) fn index_mut(&mut self, index: VectorIdx) -> &mut VTimestamp

source

fn get_mut_with_min_len(&mut self, min_len: usize) -> &mut [VTimestamp]

Get a mutable slice to the internal vector with minimum min_len elements. To preserve invariants, the caller must modify the min_len-1 nth element to a non-zero value

source

pub(super) fn increment_index(&mut self, idx: VectorIdx, current_span: Span)

Increment the vector clock at a known index this will panic if the vector index overflows

source

pub fn join(&mut self, other: &Self)

source

pub(super) fn set_at_index(&mut self, other: &Self, idx: VectorIdx)

Set the element at the current index of the vector. May only increase elements.

source

pub(super) fn set_zero_vector(&mut self)

Set the vector to the all-zero vector

Trait Implementations§

source§

impl Clone for VClock

source§

fn clone(&self) -> Self

Returns a copy of the value. Read more
source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for VClock

source§

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

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

impl Default for VClock

source§

fn default() -> VClock

Returns the “default value” for a type. Read more
source§

impl Index<VectorIdx> for VClock

§

type Output = VTimestamp

The returned type after indexing.
source§

fn index(&self, index: VectorIdx) -> &VTimestamp

Performs the indexing (container[index]) operation. Read more
source§

impl PartialEq for VClock

source§

fn eq(&self, other: &VClock) -> 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 PartialOrd for VClock

source§

fn partial_cmp(&self, other: &VClock) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
source§

fn lt(&self, other: &VClock) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
source§

fn le(&self, other: &VClock) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
source§

fn gt(&self, other: &VClock) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
source§

fn ge(&self, other: &VClock) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl Eq for VClock

source§

impl StructuralPartialEq for VClock

Auto Trait Implementations§

§

impl Freeze for VClock

§

impl RefUnwindSafe for VClock

§

impl Send for VClock

§

impl Sync for VClock

§

impl Unpin for VClock

§

impl UnwindSafe for VClock

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where 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 T
where 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> Same for T

§

type Output = T

Should always be Self
source§

impl<T> ToOwned for T
where 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 T
where 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 T
where 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 T
where 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: 64 bytes