Dr. TLA+ Series – Byzantine Paxos

In this lecture we will discuss how to tolerate Byzantine faults in achieving consensus. We illustrate through refining Paxos step by step. This should be most fun to those who have become familiar with Paxos-based distributed consensus through the Series. Enough background of Paxos will be covered so the lecture requires no Paxos expertise. We will also explain how Byzantine Paxos is connected with the Practical Byzantine Fault Tolerance (PBFT) protocol, proposed by Castro and Liskov in 1999 to tolerate f byzantine failures with 3f+1 replicas. – Paper and Spec – Byzantizing Paxos by Refinement (http://research.microsoft.com/en-us/um/people/lamport/tla/byzsimple.pdf (opens in new tab)) – Practical Byzantine Fault Tolerance (http://pmg.csail.mit.edu/papers/osdi99.pdf (opens in new tab)) – Byzantine Paxos TLA+ specification (http://research.microsoft.com/en-us/um/people/lamport/tla/byzpaxos.html (opens in new tab))

Date:
Speakers:
Shuai Mu
Affiliation:
New York University