Struct VClock 

pub struct VClock { /* private fields */ }

A vector clock for tracking causal relationships between events.

Each replica has a logical clock counter. The vector clock captures which events have been “seen” by tracking the maximum counter for each replica.

Implementations

impl VClock

pub fn new() -> Self

Create a new empty vector clock.

pub fn increment(&mut self, replica: ReplicaId) -> u64

Increment the clock for a replica and return the new counter value.

pub fn get(&self, replica: ReplicaId) -> u64

Get the current counter for a replica (0 if not seen).

pub fn dominates(&self, other: &Self) -> bool

Check if self dominates other (self >= other for all replicas).

Returns true if for every replica in other, self has an equal or greater counter.

pub fn concurrent(&self, other: &Self) -> bool

Check if self and other are concurrent (neither dominates the other).

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

Merge another vector clock into this one (pointwise max).

pub fn replicas(&self) -> impl Iterator<Item = &ReplicaId>

Get all replicas in this clock.

Trait Implementations

impl Clone for VClock

fn clone(&self) -> VClock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VClock

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

Formats the value using the given formatter.

impl Default for VClock

fn default() -> VClock

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VClock

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Merge for VClock

fn merge(&mut self, other: &Self)

Merge another instance into self.

impl PartialEq for VClock

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VClock

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VClock

impl StructuralPartialEq for VClock