Struct Tagged 

pub struct Tagged<V> {
    pub ets: u64,
    pub msg: EpochMsg<V>,
}

An epoch message, stamped with the instance it belongs to.

The book writes ep.ts and guards every handler with such that ts = ets, so instances are addressed by timestamp and a message for one never reaches another. Nothing in this codebase’s wire does that for free, and the consequence of omitting it is a safety failure rather than a lost message: a WRITE from epoch 7 arriving after epoch 11 began would be accepted and recorded at timestamp 11, inventing an acceptance that never happened.

The stamp lives here rather than in the layer above because the epoch is this instance’s own identity — it stamps what it sends and drops what is not addressed to it, so a parent cannot forget to.

Fields

ets: u64

msg: EpochMsg<V>

Trait Implementations

impl<V: Clone> Clone for Tagged<V>

fn clone(&self) -> Tagged<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for Tagged<V>

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

Formats the value using the given formatter.

impl<'de, V> Deserialize<'de> for Tagged<V>

where V: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<V: Eq> Eq for Tagged<V>

impl<V: PartialEq> PartialEq for Tagged<V>

fn eq(&self, other: &Tagged<V>) -> 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<V> Serialize for Tagged<V>

where V: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<V: PartialEq> StructuralPartialEq for Tagged<V>