edgar

@JasonLaw 可以看看图里 “Rules for Servers” 里 leader 部分的最后一句。

@JasonLaw term 3 中 server 1 已经投票给 server 2 了，这之后任何 term 低于 3 的请求都会被拒绝，即 server 1 会直接拒绝 server 0 发来的 term 为 2 的请求。

@JasonLaw 我不清楚这个视频是怎么解释的，这个 log 看着像是 raft 算法中保证 safety 的一个例子。对应的是不要“Committing entries from previous terms”，即 term 4 的 leader server 0 不能因为 index 3 已经复制到大多数节点就 apply 它，这里这个 index 3 的值可能因为 server 2 成为 term 5 的 leader 而被 overwritten 。

@JasonLaw 是可以的，可以获得 server 1, 2 的投票

term 1 看不出谁是 leader ，三个 server 都可能。
term 2 server 0 是 leader ，因为三个 server 都有可能成为 leader 。同时只在 server 0 上提交了 index 3 的 log entry ，但是还没有复制到其他 server 。
term 3 server 2 是 leader ，可以接受自己和 server 1 的投票。同时在 server 2 上提交了 index 3, 4, 5 的 log entry ，但是都没有复制到其他 server 。
term 4 server 0 是 leader ，可以接受 server 0 和 server 1 的投票。成为 leader 后，第一是将本地的 index 3 复制到 server 1 上，第二是本地提交了 index 4 的 log entry 。

网络失败和请求执行失败是不同的，网络失败时客户端需要不断重试。可以类比 leader 已经在整个集群里让客户端的请求达成一致，但是正在发送回复给客户端时 leader 挂了或者是客户端挂了。

T2KAPH
UBXHCF
MSKTOG

JetBrains 在 Linux 和 Mac OS X 下前段时间开始就自带 JRE 了。 https://intellij-support.jetbrains.com/hc/en-us/articles/206544879