Add more consensus code etc.
This commit is contained in:
parent
31a3ae1078
commit
66a6d7bc33
|
@ -21,6 +21,7 @@ requires "stew >= 0.1.0"
|
||||||
requires "unittest2 >= 0.0.4"
|
requires "unittest2 >= 0.0.4"
|
||||||
requires "uuids >= 0.1.11"
|
requires "uuids >= 0.1.11"
|
||||||
requires "chronicles >= 0.10.3"
|
requires "chronicles >= 0.10.3"
|
||||||
|
requires "chronos >= 3.0.11"
|
||||||
|
|
||||||
proc buildBinary(name: string, srcDir = "./", params = "", lang = "c") =
|
proc buildBinary(name: string, srcDir = "./", params = "", lang = "c") =
|
||||||
if not dirExists "build":
|
if not dirExists "build":
|
||||||
|
|
|
@ -0,0 +1,46 @@
|
||||||
|
# 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 asyncdispatch
|
||||||
|
import std/time
|
||||||
|
|
||||||
|
template awaitWithTimeout[T](operation: Future[T],
|
||||||
|
deadline: Future[void],
|
||||||
|
onTimeout: untyped): T =
|
||||||
|
let f = operation
|
||||||
|
await f or deadline
|
||||||
|
if not f.finished:
|
||||||
|
# If we don't wait for for the cancellation here, it's possible that
|
||||||
|
# the "next" operation will run concurrently to this one, messing up
|
||||||
|
# the order of operations (since await/async is not fair)
|
||||||
|
await cancelAndWait(f)
|
||||||
|
onTimeout
|
||||||
|
else:
|
||||||
|
f.read
|
||||||
|
|
||||||
|
template awaitWithTimeout[T](operation: Future[T],
|
||||||
|
timeout: Duration,
|
||||||
|
onTimeout: untyped): T =
|
||||||
|
awaitWithTimeout(operation, sleepAsync(timeout), onTimeout)
|
||||||
|
|
||||||
|
template awaitWithTimeout(operation: Future[void],
|
||||||
|
deadline: Future[void],
|
||||||
|
onTimeout: untyped) =
|
||||||
|
let f = operation
|
||||||
|
await f or deadline
|
||||||
|
if not f.finished:
|
||||||
|
# If we don't wait for for the cancellation here, it's possible that
|
||||||
|
# the "next" operation will run concurrently to this one, messing up
|
||||||
|
# the order of operations (since await/async is not fair)
|
||||||
|
await cancelAndWait(f)
|
||||||
|
onTimeout
|
||||||
|
|
||||||
|
template awaitWithTimeout(operation: Future[void],
|
||||||
|
timeout: Duration,
|
||||||
|
onTimeout: untyped) =
|
||||||
|
awaitWithTimeout(operation, sleepAsync(timeout), onTimeout)
|
|
@ -29,3 +29,9 @@ proc RaftNodeScheduleElectionTimeOut*[SmCommandType, SmStateType](node: RaftNode
|
||||||
|
|
||||||
proc RaftNodeScheduleRequestVotesCleanUpTimeout*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
proc RaftNodeScheduleRequestVotesCleanUpTimeout*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
||||||
discard
|
discard
|
||||||
|
|
||||||
|
proc RaftNodeLogAppend[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], logEntry: RaftNodeLogEntry[SmCommandType]) =
|
||||||
|
discard
|
||||||
|
|
||||||
|
proc RaftNodeLogTruncate[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], truncateIndex: uint64) =
|
||||||
|
discard
|
|
@ -17,7 +17,7 @@ export types, protocol, consensus_module
|
||||||
|
|
||||||
proc RaftNodeSmInit[SmCommandType, SmStateType](stateMachine: var RaftNodeStateMachine[SmCommandType, SmStateType])
|
proc RaftNodeSmInit[SmCommandType, SmStateType](stateMachine: var RaftNodeStateMachine[SmCommandType, SmStateType])
|
||||||
proc RaftNodeSendHeartBeat*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType])
|
proc RaftNodeSendHeartBeat*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType])
|
||||||
proc RaftNodeScheduleHeartBeatTimeout*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType])
|
proc RaftNodeScheduleHeartBeatTimeout*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]): Future[void] {.async.}
|
||||||
|
|
||||||
# Raft Node Public API procedures / functions
|
# Raft Node Public API procedures / functions
|
||||||
proc new*[SmCommandType, SmStateType](T: type RaftNode[SmCommandType, SmStateType]; # Create New Raft Node
|
proc new*[SmCommandType, SmStateType](T: type RaftNode[SmCommandType, SmStateType]; # Create New Raft Node
|
||||||
|
@ -60,21 +60,24 @@ func RaftNodeIsLeader*[SmCommandType, SmStateType](node: RaftNode[SmCommandType,
|
||||||
|
|
||||||
# Deliver Raft Message to the Raft Node and dispatch it
|
# Deliver Raft Message to the Raft Node and dispatch it
|
||||||
proc RaftNodeMessageDeliver*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], raftMessage: RaftMessageBase): Future[RaftMessageResponseBase] {.async, gcsafe.} =
|
proc RaftNodeMessageDeliver*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], raftMessage: RaftMessageBase): Future[RaftMessageResponseBase] {.async, gcsafe.} =
|
||||||
case raftMessage.type:
|
# case raftMessage.type
|
||||||
of RaftMessageAppendEntries: # Dispatch different Raft Message types
|
# of RaftMessageAppendEntries: # Dispatch different Raft Message types
|
||||||
discard
|
# discard
|
||||||
of RaftMessageRequestVote:
|
# of RaftMessageRequestVote:
|
||||||
discard
|
# discard
|
||||||
|
# else: discard
|
||||||
|
discard
|
||||||
|
|
||||||
# Process RaftNodeClientRequests
|
# Process RaftNodeClientRequests
|
||||||
proc RaftNodeClientRequest*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], req: RaftNodeClientRequest[SmCommandType]): Future[RaftNodeClientResponse[SmStateType]] {.async, gcsafe.} =
|
proc RaftNodeClientRequest*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], req: RaftNodeClientRequest[SmCommandType]): Future[RaftNodeClientResponse[SmStateType]] {.async, gcsafe.} =
|
||||||
case req.op:
|
case req.op
|
||||||
of rncroExecSmCommand:
|
of rncroExecSmCommand:
|
||||||
# TODO: implemenmt command handling
|
# TODO: implemenmt command handling
|
||||||
discard
|
discard
|
||||||
of rncroRequestSmState:
|
of rncroRequestSmState:
|
||||||
if RaftNodeIsLeader(node):
|
if RaftNodeIsLeader(node):
|
||||||
return RaftNodeClientResponse(error: rncreSuccess, state: RaftNodeStateGet(node))
|
return RaftNodeClientResponse(error: rncreSuccess, state: RaftNodeStateGet(node))
|
||||||
|
else: discard
|
||||||
|
|
||||||
# Abstract State Machine Ops
|
# Abstract State Machine Ops
|
||||||
func RaftNodeSmStateGet*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]): SmStateType =
|
func RaftNodeSmStateGet*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]): SmStateType =
|
||||||
|
@ -94,12 +97,6 @@ template RaftTimerCreate(timerInterval: int, oneshot: bool, timerCallback: RaftT
|
||||||
RaftTimerCreateCustomImpl(timerInterval, oneshot, timerCallback)
|
RaftTimerCreateCustomImpl(timerInterval, oneshot, timerCallback)
|
||||||
|
|
||||||
# Private Log Ops
|
# Private Log Ops
|
||||||
proc RaftNodeLogAppend[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], logEntry: RaftNodeLogEntry[SmCommandType]) =
|
|
||||||
discard
|
|
||||||
|
|
||||||
proc RaftNodeLogTruncate[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType], truncateIndex: uint64) =
|
|
||||||
discard
|
|
||||||
|
|
||||||
proc RaftNodeLogIndexGet*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]): RaftLogIndex =
|
proc RaftNodeLogIndexGet*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]): RaftLogIndex =
|
||||||
discard
|
discard
|
||||||
|
|
||||||
|
@ -111,11 +108,11 @@ proc RaftNodeScheduleHeartBeat*[SmCommandType, SmStateType](node: RaftNode[SmCom
|
||||||
var fut = sleepAsync(node.heartBeatTimeout)
|
var fut = sleepAsync(node.heartBeatTimeout)
|
||||||
fut.callback = proc () = RaftNodeSendHeartBeat(node)
|
fut.callback = proc () = RaftNodeSendHeartBeat(node)
|
||||||
|
|
||||||
proc RaftNodeScheduleHeartBeatTimeout*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
proc RaftNodeScheduleHeartBeatTimeout*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]): Future[void] {.async.} =
|
||||||
node.heartBeatTimeoutTimer = sleepAsync(node.heartBeatTimeout)
|
node.heartBeatTimeoutTimer = sleepAsync(node.heartBeatTimeout)
|
||||||
node.heartBeatTimeoutTimer.callback = proc() =
|
await node.heartBeatTimeoutTimer
|
||||||
node.state = rnsCandidate # Transition to candidate state and initiate new Election
|
node.state = rnsCandidate # Transition to candidate state and initiate new Election
|
||||||
RaftNodeStartElection(node)
|
RaftNodeStartElection(node)
|
||||||
|
|
||||||
proc RaftNodeSendHeartBeat*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
proc RaftNodeSendHeartBeat*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
||||||
for raftPeer in node.peers:
|
for raftPeer in node.peers:
|
||||||
|
@ -128,11 +125,19 @@ proc RaftNodeSendHeartBeat*[SmCommandType, SmStateType](node: RaftNode[SmCommand
|
||||||
RaftNodeScheduleHeartBeat(node)
|
RaftNodeScheduleHeartBeat(node)
|
||||||
|
|
||||||
# Raft Node Control
|
# Raft Node Control
|
||||||
|
proc RaftNodeCancelAllTimers[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
||||||
|
node.requestVotesTimer.fail(newException(Exception, "fail"))
|
||||||
|
node.heartBeatTimer.fail(newException(Exception, "fail"))
|
||||||
|
node.heartBeatTimeoutTimer.fail(newException(Exception, "fail"))
|
||||||
|
node.appendEntriesTimer.fail(newException(Exception, "fail"))
|
||||||
|
|
||||||
proc RaftNodeStop*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
proc RaftNodeStop*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
||||||
discard
|
# Try to stop gracefully
|
||||||
|
node.state = rnsStopped
|
||||||
|
# Cancel pending timers (if any)
|
||||||
|
RaftNodeCancelAllTimers(node)
|
||||||
|
|
||||||
proc RaftNodeStart*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
proc RaftNodeStart*[SmCommandType, SmStateType](node: RaftNode[SmCommandType, SmStateType]) =
|
||||||
if node.state != rnsFollower:
|
node.state = rnsFollower
|
||||||
raiseAssert "Something's wrong - Follower state expected at start!"
|
asyncSpawn RaftNodeScheduleHeartBeatTimeout(node)
|
||||||
RaftNodeScheduleHeartBeatTimeout(node)
|
|
||||||
debugEcho "StartNode: ", node.id
|
debugEcho "StartNode: ", node.id
|
|
@ -13,9 +13,9 @@ import std/locks
|
||||||
import options
|
import options
|
||||||
import stew/results
|
import stew/results
|
||||||
import uuids
|
import uuids
|
||||||
import asyncdispatch
|
import chronos
|
||||||
|
|
||||||
export results, options, locks, uuids, asyncdispatch
|
export results, options, locks, uuids, chronos
|
||||||
|
|
||||||
const
|
const
|
||||||
DefaultUUID* = initUUID(0, 0) # 00000000-0000-0000-0000-000000000000
|
DefaultUUID* = initUUID(0, 0) # 00000000-0000-0000-0000-000000000000
|
||||||
|
@ -25,7 +25,8 @@ type
|
||||||
rnsUnknown = 0,
|
rnsUnknown = 0,
|
||||||
rnsFollower = 1,
|
rnsFollower = 1,
|
||||||
rnsCandidate = 2
|
rnsCandidate = 2
|
||||||
rnsLeader = 3
|
rnsLeader = 3,
|
||||||
|
rnsStopped = 4
|
||||||
|
|
||||||
RaftNodeId* = UUID # uuid4 uniquely identifying every Raft Node
|
RaftNodeId* = UUID # uuid4 uniquely identifying every Raft Node
|
||||||
RaftNodeTerm* = uint64 # Raft Node Term Type
|
RaftNodeTerm* = uint64 # Raft Node Term Type
|
||||||
|
@ -115,14 +116,14 @@ type
|
||||||
# Raft Node Object type
|
# Raft Node Object type
|
||||||
RaftNode*[SmCommandType, SmStateType] = ref object
|
RaftNode*[SmCommandType, SmStateType] = ref object
|
||||||
# Timers
|
# Timers
|
||||||
requestVotesTimeout: int
|
requestVotesTimeout*: int
|
||||||
heartBeatTimeout: int
|
heartBeatTimeout*: int
|
||||||
appendEntriesTimeout: int
|
appendEntriesTimeout*: int
|
||||||
|
|
||||||
requestVotesTimer: Future[void]
|
requestVotesTimer*: Future[void]
|
||||||
heartBeatTimer: Future[void]
|
heartBeatTimer*: Future[void]
|
||||||
heartBeatTimeoutTimer: Future[void]
|
heartBeatTimeoutTimer*: Future[void]
|
||||||
appendEntriesTimer: Future[void]
|
appendEntriesTimer*: Future[void]
|
||||||
|
|
||||||
# Mtx definition(s) go here
|
# Mtx definition(s) go here
|
||||||
raftStateMutex*: Lock
|
raftStateMutex*: Lock
|
||||||
|
|
|
@ -11,12 +11,6 @@ import ../raft/raft_api
|
||||||
|
|
||||||
export raft_api
|
export raft_api
|
||||||
|
|
||||||
var
|
|
||||||
pollThr: Thread[void]
|
|
||||||
runningMtx: Lock
|
|
||||||
running: bool
|
|
||||||
|
|
||||||
proc RaftTimerCreateCustomImpl*(timerInterval: int, oneshot: bool, timerCallback: RaftTimerCallback): Future[void] {.async, nimcall, gcsafe.} =
|
proc RaftTimerCreateCustomImpl*(timerInterval: int, oneshot: bool, timerCallback: RaftTimerCallback): Future[void] {.async, nimcall, gcsafe.} =
|
||||||
var fut = sleepAsync(timerInterval)
|
await sleepAsync(timerInterval)
|
||||||
fut.callback=proc()=timerCallback()
|
timerCallback()
|
||||||
await fut
|
|
|
@ -22,18 +22,23 @@ const
|
||||||
|
|
||||||
proc basicTimersMain*() =
|
proc basicTimersMain*() =
|
||||||
var
|
var
|
||||||
slowTimers: array[0..MAX_TIMERS, RaftTimer]
|
slowTimers: array[0..MAX_TIMERS, Future[void]]
|
||||||
fastTimers: array[0..MAX_TIMERS, RaftTimer]
|
fastTimers: array[0..MAX_TIMERS, Future[void]]
|
||||||
|
|
||||||
var
|
var
|
||||||
RaftDummyTimerCallback = proc (timer: RaftTimer) {.nimcall, gcsafe.} =
|
slowCnt: ref int
|
||||||
discard
|
RaftDummyTimerCallback = proc () {.nimcall, gcsafe.} = discard
|
||||||
|
RaftTimerCallbackCnt = proc (cnt: ref int): RaftTimerCallback =
|
||||||
|
proc () {.gcsafe.} = cnt[].inc
|
||||||
|
|
||||||
|
slowCnt = new(int)
|
||||||
|
slowCnt[] = 0
|
||||||
|
|
||||||
suite "Create and test basic timers":
|
suite "Create and test basic timers":
|
||||||
|
|
||||||
test "Create 'slow' and 'fast' timers":
|
test "Create 'slow' and 'fast' timers":
|
||||||
for i in 0..MAX_TIMERS:
|
for i in 0..MAX_TIMERS:
|
||||||
slowTimers[i] = RaftTimerCreateCustomImpl(max(SLOW_TIMERS_MIN, rand(SLOW_TIMERS_MAX)), true, RaftDummyTimerCallback)
|
slowTimers[i] = RaftTimerCreateCustomImpl(max(SLOW_TIMERS_MIN, rand(SLOW_TIMERS_MAX)), true, RaftTimerCallbackCnt(slowCnt))
|
||||||
|
|
||||||
for i in 0..MAX_TIMERS:
|
for i in 0..MAX_TIMERS:
|
||||||
fastTimers[i] = RaftTimerCreateCustomImpl(max(FAST_TIMERS_MIN, rand(FAST_TIMERS_MAX)), true, RaftDummyTimerCallback)
|
fastTimers[i] = RaftTimerCreateCustomImpl(max(FAST_TIMERS_MIN, rand(FAST_TIMERS_MAX)), true, RaftDummyTimerCallback)
|
||||||
|
@ -41,7 +46,8 @@ proc basicTimersMain*() =
|
||||||
test "Wait for and cancel 'slow' timers":
|
test "Wait for and cancel 'slow' timers":
|
||||||
waitFor sleepAsync(WAIT_FOR_SLOW_TIMERS)
|
waitFor sleepAsync(WAIT_FOR_SLOW_TIMERS)
|
||||||
for i in 0..MAX_TIMERS:
|
for i in 0..MAX_TIMERS:
|
||||||
RaftTimerCancelCustomImpl(slowTimers[i])
|
if not slowTimers[i].finished:
|
||||||
|
cancel(slowTimers[i])
|
||||||
|
|
||||||
test "Final wait timers":
|
test "Final wait timers":
|
||||||
waitFor sleepAsync(FINAL_WAIT)
|
waitFor sleepAsync(FINAL_WAIT)
|
||||||
|
@ -51,14 +57,13 @@ proc basicTimersMain*() =
|
||||||
pass = true
|
pass = true
|
||||||
|
|
||||||
for i in 0..MAX_TIMERS:
|
for i in 0..MAX_TIMERS:
|
||||||
if not fastTimers[i].expired:
|
if not fastTimers[i].finished:
|
||||||
pass = false
|
debugEcho repr(fastTimers[i])
|
||||||
break
|
|
||||||
if not slowTimers[i].canceled:
|
|
||||||
pass = false
|
pass = false
|
||||||
break
|
break
|
||||||
|
|
||||||
check pass
|
check pass
|
||||||
|
check slowCnt[] == 0
|
||||||
|
|
||||||
if isMainModule:
|
if isMainModule:
|
||||||
basicTimersMain()
|
basicTimersMain()
|
Loading…
Reference in New Issue