💾 Archived View for siiky.srht.site › wiki › class.ft.gmi captured on 2023-03-20 at 18:10:30. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
siiky
2023/03/13
2023/03/13
2023/03/13
course,distributed,programming
A program/system is linearizable if the results it produces could have been produced by a sequential program.
Algorithms of distributed consensus:
(Paxos) Leslie Lamport, "The Part-time Parliament"
(Paxos) Leslie Lamport, "Paxos Made Simple"
(HotStuff) "HotStuff: BFT Consensus in the Lens of Blockchain"