Consecutive Votes in Paxos

Data Skeptic · Jan 11, 2021 · 30m

Eil Goldweber, a graduate student at the University of Michigan, comes on today to share his work in applying formal verification to systems and a modification to the Paxos protocol discussed in the paper Significance on Consecutive Ballots in Paxos.

Works Mentioned :

Previous Episode on Paxos

https://dataskeptic.com/blog/episodes/2020/distributed-consensus

Paper:

On the Significance on Consecutive Ballots in Paxos by: Eli Goldweber, Nuda Zhang, and Manos Kapritsos

Thanks to our sponsor:

Nord VPN : 68% off a 2-year plan and one month free! With NordVPN, all the data you send and receive…