mooncakes.io

cmd
→
confchange
→
core
→
demo
→
examples
→
log
→
quorum
→
raftpb
→
storage
→
tracker
→
README
U
AppendEntriesArgs
U
AppendEntriesReply
U
Changer
U
ChangerConfig
U
Cluster
U
ConfChange
U
ConfChangeTransition
U
ConfChangeType
U
ConfChangeV2
U
ConfDriver
U
ConfState
U
Config
U
ConfigError
U
DemoReport
U
Entry
U
EntryId
U
EntryType
U
FullStatus
U
HardState
U
HeartbeatArgs
U
HeartbeatReply
U
Inflight
U
Inflights
U
InstallSnapshotArgs
U
InstallSnapshotReply
U
LogCompacted
U
LogLevel
U
LogSlice
U
LogStore
U
Logger
U
Membership
U
MemoryStorage
U
Message
U
Node
U
NopLogger
U
NopTracer
U
Payload
U
Persisted
U
Progress
U
ProgressState
U
ProgressStatus
U
RaftLog
U
RaftNode
U
RaftStatus
U
RaftStorage
U
RawNode
U
ReadIndexResp
U
ReadOnlyOption
U
ReadState
U
Ready
U
RequestVoteArgs
U
RequestVoteReply
U
Role
U
Snapshot
U
SoftState
U
StateMachine
U
StorageAppend
U
StorageAppendResp
U
StorageApply
U
StorageApplyResp
U
StorageError
U
TraceEvent
U
Tracer
U
Transport
U
Unstable
U
VoteState
U
WalRecord
U
WalStore
V
committed_index
V
demo_report_lines
V
demo_run
V
describe
V
describe_conf_state
V
describe_entries
V
describe_entry
V
describe_hard_state
V
describe_snapshot
V
entry_encoding_size
V
ents_size
V
hard_state_equal
V
limit_size
V
must_sync
V
no_limit
V
payload_size
V
payloads_size
V
replicate
V
run_election
V
run_single_node
V
vote_result

README

Lfan-ke/raft-moonbit/quorum does not have a README file

#
VoteState

pub(all) enum VoteState {
  VoteWon
  VoteLost
  VotePending
} derive(Eq)

The outcome of counting votes against a configuration: still pending (no majority either way), won (a majority granted), or lost (a majority denied).

#
committed_index

source

fn committed_index(cfg : Array[String], cfgj : Array[String], acked : Map[String, UInt64]) -> UInt64

The committed index of a (possibly joint) configuration. cfg is the incoming half and cfgj the outgoing half; an empty half is the zero quorum. A joint configuration can only commit an index that both halves' majorities agree on, so the result is the smaller of the two (Raft §6).

#
describe

source

fn describe(voters : Array[String], acked : Map[String, UInt64]) -> String

A multi-line ASCII bar chart of each voter's acknowledged index (etcd's MajorityConfig.Describe), longest bar for the highest index. Diagnostics only — it has no bearing on consensus, but makes a quorum's commit state legible in a dump.

#
vote_result

source

fn vote_result(cfg : Array[String], cfgj : Array[String], votes : Map[String, Bool]) -> VoteState

The vote outcome for a (possibly joint) configuration. A joint vote is won only when both halves win, lost as soon as either half loses, and pending otherwise — the discipline that keeps a membership change from splitting the cluster's decision (Raft §6).

Source Files

quorum.mbt

Site source Report issue Packages Build queue Skills Statistics

#VoteState

#committed_index

#describe

#vote_result

Source Files

#
VoteState

#
committed_index

#
describe

#
vote_result