Skip to content

Commit

Permalink
some comments
Browse files Browse the repository at this point in the history
  • Loading branch information
@heidihoward
heidihoward committed Jan 8, 2024
1 parent 2c21dd2 commit ee29f35
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tla/consensus/ccfraft.tla
View file
Original file line number Diff line number Diff line change
Expand Up @@ -274,9 +274,9 @@ CandidateVarsTypeInv ==

\* The following variables are used only on leaders:

\* The next entry to send to each follower.
\* nextIndex is called send_idx in raft.h
\* The next entry to send to each follower, called send_idx in raft.h
\* In CCF, the leader updates nextIndex optimically when an AE message is dispatched
\* In contrast, In Raft the leader only updates nextIndex when an AE response is received
VARIABLE nextIndex

\* nextIndex cannot be zero as its the index of the first log
Expand Down

0 comments on commit ee29f35

Please sign in to comment.