Skip to content

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
@heidihoward
heidihoward committed Jan 8, 2024
1 parent 2df866b commit ec7e172
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 @@ -274,7 +274,7 @@ CandidateVarsTypeInv ==

\* The following variables are used only on leaders:

\* The next entry to send to each follower, called send_idx in raft.h
\* The next entry to send to each follower, called sent_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
Expand Down

0 comments on commit ec7e172

Please sign in to comment.