技術 Day 9 - 共識演算法之虛構的希臘城邦 - Paxos(上)

前言 前面我們提到了共識演算法是達成Strong Consistency的一種做法。而共識演算法必須滿足以下三個條件: Termination: 保證所有參...

技術 Day 14 - 共識演算法 - Paxos太難了所以我發明了Raft(下)

前言 昨天提到了基本的選Leader的方式，與log被commit的方法，感覺已經非常完整了，到底哪裡還有問題呢？ 我們今天繼續往後探討當選出一個新的Leade...

技術 Day 10 - 共識演算法之虛構的希臘城邦 - Paxos(下)

設計出一套演算法，當然必須能夠證明他的正確性，且要滿足Consensus Problem的三個要求Termination、Agreement與Validity...