分散システムIII(合意とRaft)

複数のサーバーが1つの値に確実に合意する「合意問題」と、それを理解しやすく解いたRaftの仕組みを扱います。リーダー選出・ログ複製・安全性が、なぜ過半数(quorum)から成り立つのかを、Raft論文を一次ソースに原理から確かめます。用語暗記ではなく「なぜその保証が必要か」を問います。