Question about 5.4.3 safety argument

Skip to first unread message

zhiwen huang

Feb 23, 2022, 4:30:55 AM2/23/22
to raft-dev
  Hi guys, I've been reading the masterpiece for several weeks while struggling with one question which maybe easy for you.

One paragraph in 5.4.3 safety argument says:
    7. Otherwise, leaderU’s last log term must have been larger than the voter’s. Moreover, it was larger than T, since the voter’s last log term was at least T (it contains the committed entry from term T). The earlier leader that created leaderU’s last log entry must have contained the committed entry in its log (by assumption). Then, by the Log Matching Property, leaderU’s log must also contain the committed entry, which is a contradiction  

Appreciate it if you can explain what the bold text means!
Reply all
Reply to author
0 new messages