High Level Design
Two-Phase Commit, how Paxos achieves consensus through majority agreement, and the multi-server write coordination protocol with log-line locking.