Fault Tolerance

siiky

2023/03/13

2023/03/13

2023/03/13

course,distributed,programming

Linearizability

A program/system is linearizable if the results it produces could have been produced by a sequential program.

Distributed Consensus

Algorithms of distributed consensus:

(Paxos) Leslie Lamport, "The Part-time Parliament"

(Paxos) Leslie Lamport, "Paxos Made Simple"

raft.gmi

(HotStuff) "HotStuff: BFT Consensus in the Lens of Blockchain"

leslie_lamport.gmi