Enum Cmd 

pub enum Cmd<C> {
    Propose {
        slot: Slot,
        command: C,
    },
    Applied {
        slot_out: Slot,
    },
    CatchUp {
        from_slot: Slot,
    },
    Teach {
        to: NodeId,
        slot: Slot,
        command: C,
    },
}

Requests from the layer above.

Variants

Propose

⟨propose, s, c⟩ — propose command for slot.

Fields

slot: Slot

command: C

Applied

How far the replica on this machine has applied — §4.2’s “each replica periodically updates leaders and acceptors about its slot out variable”.

A command rather than a message, because §4.4 puts the replica on this machine: it tells its own leader and acceptor by a call, and this layer is what tells everybody else’s.

Fields

slot_out: Slot

CatchUp

Ask a peer that is ahead for the decisions from from_slot onwards.

§4.2’s other half: “replicas can learn decisions, and the application state that results from those decisions, from one another”. Once a slot is collected this layer cannot answer for it, and a replica that missed it has nowhere else to ask.

Fields

from_slot: Slot

Teach

Answer a peer’s catch-up with one decision the replica above still holds.

The decision comes from the replica’s store, not this layer’s: this layer collected it, which is what provoked the request.

Fields

to: NodeId

slot: Slot

command: C

Trait Implementations

impl<C: Clone> Clone for Cmd<C>

fn clone(&self) -> Cmd<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug> Debug for Cmd<C>

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

Formats the value using the given formatter.

impl<C: Eq> Eq for Cmd<C>

impl<C: PartialEq> PartialEq for Cmd<C>

fn eq(&self, other: &Cmd<C>) -> 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<C: PartialEq> StructuralPartialEq for Cmd<C>