Project Structre

• the protocol definition is in gozab/gozab/gozab
• all other logics of election, leader, and followers are in node/main.go

TODOs

• update upFollowers and the cleanup of election-messenger routine, also need to redesign the heartbeat-to-dead logics
• do the global cleanup in upFollowersUpdateRoutine quorum dead
• leader needs a way to know quorum dead and thus enter election

Building Blocks

Go Routines

Definition: functions called through go and have internal non-stop loops. (In main.go, there are three naming exceptions, ElectionRoutine, FollwoerRoutine, LeaderRoutine are not "routine"s)

Caution: need to manually cleanup (return) all routines

TODO: a cross means the cleanup procedures are not implemented yet

• Election (consider cleanup in the commitHelper)

  • ElectionMessengerRoutine

• Leader

  • MessengerRoutine
    • BeatSenderRoutine
    • PropAndCmtRoutine
  • AckToCmtRoutine
  • upFollowersUpdateRoutine

Concurrent Global Variables

Caution: need to update through a dedicated routine, which provide a chanel to other parts

Constants excluded

• upFollowers
• upNum