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 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 fn as_slice(&self) -> &[VTimestamp]

Load the internal timestamp slice in the vector clock

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 this vector must modify the min_len-1 nth element to a non-zero value

source

pub 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 fn set_at_index(&mut self, other: &Self, idx: VectorIdx)

Set the element at the current index of the vector

source

pub fn set_zero_vector(&mut self)

Set the vector to the all-zero vector

source

pub fn is_zero_vector(&self) -> bool

Return if this vector is 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 IndexMut<VectorIdx> for VClock

source§

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

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

impl PartialEq<VClock> 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<VClock> 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 StructuralEq for VClock

source§

impl StructuralPartialEq for VClock

Auto Trait Implementations§

§

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