mirror of
https://github.com/status-im/nim-raft.git
synced 2025-01-14 23:34:23 +00:00
79 lines
3.7 KiB
Nim
79 lines
3.7 KiB
Nim
# nim-raft
|
|
# Copyright (c) 2023 Status Research & Development GmbH
|
|
# Licensed under either of
|
|
# * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE))
|
|
# * MIT license ([LICENSE-MIT](LICENSE-MIT))
|
|
# at your option.
|
|
# This file may not be copied, modified, or distributed except according to
|
|
# those terms.
|
|
|
|
import std/tables
|
|
import std/rlocks
|
|
import types
|
|
|
|
|
|
type
|
|
# Node events
|
|
EventType = enum
|
|
VotingTimeout, ElectionTimeout, HeartbeatTimeout, HeartbeatReceived, HeartbeatSent, AppendEntriesReceived,
|
|
AppendEntriesSent, RequestVoteReceived, RequestVoteSent, ClientRequestReceived, ClientRequestProcessed
|
|
# Define callback to use with Terminals. Node states are updated/read in-place in the node object
|
|
ConsensusFSMCallbackType*[NodeType] = proc(node: NodeType) {.gcsafe.}
|
|
|
|
# Define Non-Terminals as a (unique) tuples of the internal state and a sequence of callbacks
|
|
NonTerminalSymbol*[NodeState] = NodeState
|
|
|
|
# Define logical functions (conditions) computed from our NodeType etc. (Truth Table)
|
|
LogicalFunctionConditionValueType* = bool
|
|
LogicalFunctionCondition*[EventType, NodeTytpe, RaftMessageBase] = proc(e: EventType, n: NodeTytpe, msg: Option[RaftMessageBase]): bool
|
|
LogicalFunctionConditionsLUT*[NodeState, EventType, NodeType, RaftMessageBase] = Table[(NodeState, EventType), seq[LogicalFunctionCondition[EventType, NodeType, Option[RaftMessageBase]]]]
|
|
|
|
# Define Terminals as a tuple of a Event and a sequence of logical functions (conditions) and their respective values computed from NodeType, NodeTytpe and RaftMessageBase
|
|
# (kind of Truth Table)
|
|
TerminalSymbol*[EventType, NodeType, RaftMessageBase] = (EventType, seq[LogicalFunctionConditionValueType])
|
|
|
|
# Define State Transition Rules LUT of the form ( NonTerminal -> Terminal ) -> NonTerminal )
|
|
StateTransitionsRulesLUT*[NodeState, EventType, NodeType, RaftMessageBase] = Table[
|
|
(NonTerminalSymbol[NodeState], TerminalSymbol[NodeType, EventType, RaftMessageBase]),
|
|
NonTerminalSymbol[NodeType]]
|
|
|
|
# FSM type definition
|
|
ConsensusFSM*[NodeState, EventType, NodeType, RaftMessageBase] = ref object
|
|
mtx: RLock
|
|
state: NonTerminalSymbol[NodeType]
|
|
stateTransitionsLUT: StateTransitionsRulesLUT[NodeState, EventType, NodeType, RaftMessageBase]
|
|
logicalFunctionsLut: LogicalFunctionConditionsLUT[EventType, NodeType, RaftMessageBase]
|
|
|
|
# FSM type constructor
|
|
proc new*[NodeType, EventType, NodeStates](T: type ConsensusFSM[NodeType, EventType, RaftMessageBase],
|
|
lut: StateTransitionsRulesLUT[NodeType, EventType, RaftMessageBase],
|
|
startSymbol: NonTerminalSymbol[NodeType]
|
|
): T =
|
|
result = new(ConsensusFSM[NodeType, EventType, NodeStates])
|
|
initRLock(result.mtx)
|
|
result.state = startSymbol
|
|
result.stateTransitionsLUT = lut
|
|
|
|
proc computeFSMLogicFunctionsPermutationValue[NonTerminalSymbol, NodeType, EventType, RaftMessageBase](
|
|
fsm: ConsensusFSM[NodeType, EventType, RaftMessageBase],
|
|
nts: NonTerminalSymbol, rawInput: TerminalSymbol, msg: Option[RaftMessageBase]): TerminalSymbol =
|
|
let
|
|
e = rawInput[0]
|
|
var
|
|
logicFunctionsConds = fsm.logicalFunctionsLut[(e, NodeType)]
|
|
|
|
for f in logicFunctionsConds:
|
|
f = f(nts[1], e, msg)
|
|
|
|
rawInput[1] = logicFunctionsConds
|
|
result = rawInput
|
|
|
|
proc consensusFSMAdvance[NodeType, EventType](fsm: ConsensusFSM[NodeType, EventType, RaftMessageBase], node: NodeType, event: EventType,
|
|
rawInput: TerminalSymbol[EventType, NodeType, RaftMessageBase], msg: Option[RaftMessageBase]): NonTerminalSymbol[NodeType] =
|
|
withRLock():
|
|
var
|
|
input = computeFSMLogicFunctionsPermutationValue(fsm, node, event, rawInput)
|
|
|
|
fsm.state = fsm.stateTransitionsLUT[(fsm.state, input)]
|
|
result = fsm.state
|