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 ee29f35 commit dc146c8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tla/consensus/ccfraft.tla
View file
Original file line number Diff line number Diff line change
Expand Up @@ -276,7 +276,7 @@ CandidateVarsTypeInv ==

\* 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
\* 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 dc146c8

Please sign in to comment.