ViewstampedReplication.Protocol (viewstamped_replication v0.1.0)

Copy Markdown View Source

Pure Viewstamped Replication state transition kernel.

step/2 contains no process, clock, storage, transport, telemetry, or state machine calls. It describes all of those operations as ordered effects for a runtime or deterministic simulator to interpret.

Summary

Functions

assert_invariants!(state)
assert_transition!(previous, current)
step(state, event)

Functions

assert_invariants!(state)

@spec assert_invariants!(ViewstampedReplication.Protocol.State.t()) ::
  ViewstampedReplication.Protocol.State.t()

assert_transition!(previous, current)

@spec assert_transition!(
  ViewstampedReplication.Protocol.State.t(),
  ViewstampedReplication.Protocol.State.t()
) :: ViewstampedReplication.Protocol.State.t()

step(state, event)

@spec step(
  ViewstampedReplication.Protocol.State.t(),
  ViewstampedReplication.Protocol.Event.t()
) ::
  {ViewstampedReplication.Protocol.State.t(),
   [ViewstampedReplication.Protocol.Effect.t()]}