Dr. TLA+ Series - Byzantine Paxos

Опубликовано 3 февраля 2017, 20:13

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 (research.microsoft.com/en-us/u... - Practical Byzantine Fault Tolerance (pmg.csail.mit.edu/papers/osdi9... - Byzantine Paxos TLA+ specification (research.microsoft.com/en-us/u...

See more on this video at microsoft.com/en-us/research/v...