Expand description
Controller states. The names follow ubft_new’s (FAST_WAIT_PREPARE
and so on); a POLL_* state starts a fetch and its WAIT_* state reads
the result.
Constants§
- BASES
- Computing the mailbox bases.
- DECIDE
- FAST_DECIDE / SLOW_DECIDE.
- F_BC_WC
- FAST_BCAST_WILL_CERTIFY.
- F_BC_WM
- FAST_BCAST_WILL_COMMIT.
- F_INIT
- FAST_INIT.
- F_
POLL_ PREP - FAST_WAIT_PREPARE.
- F_
POLL_ WC - FAST_WAIT_WILL_CERTIFY_QUORUM.
- F_
POLL_ WM - FAST_WAIT_WILL_COMMIT_QUORUM.
- F_
WAIT_ PREP - Reading the prepare.
- F_
WAIT_ WC - Counting will_cert votes.
- F_
WAIT_ WM - Counting will_commit votes.
- IDLE
- Stopped.
- L_BCAST
- Sending the prepare.
- L_INIT
- LEADER_INIT.
- L_
WAIT_ PROP - LEADER_PREPARE: waiting for the slot’s proposal.
- S_
BC_ COMMIT - SLOW_BCAST_COMMIT.
- S_
BC_ SIG - Sending the share.
- S_
BC_ VALID - Sending certify_valid.
- S_INIT
- SLOW_INIT.
- S_
POLL_ COMMIT - SLOW_WAIT_COMMIT_QUORUM.
- S_
POLL_ PREP - SLOW_WAIT_PREPARE.
- S_
POLL_ VALID - SLOW_WAIT_CERTIFY_QUORUM: polling the flags.
- S_SIGN
- SLOW_BCAST_CERTIFY: sign request.
- S_
SIG_ WAIT - Waiting for the signature.
- S_
VERDICT - Waiting for the verdict.
- S_
VERIFY - Verify request: header and message beats.
- S_
VER_ SHARE - Verify request: the share, streamed from HBM.
- S_
WAIT_ COMMIT - Counting commits.
- S_
WAIT_ PREP - Reading the prepare.
- S_
WAIT_ VALID - Reading the flags.
- V_BC_VC
- VIEW_BCAST_VC: our record.
- V_
BC_ VCV - Its valid flag.
- V_
CHOOSE - Choosing the value (
f + 1reports). - V_INIT
- VIEW_INIT.
- V_
INSTALL - VIEW_INSTALL: writing
preparelocally. - V_
POLL_ REC - Reading record
i. - V_
POLL_ VCV - VIEW_WAIT_VC_QUORUM.
- V_
WAIT_ REC - Keeping it.
- V_
WAIT_ VCV - Counting records.