Лекция
Обратите внимание, лекция 1 миникурса "Algorithms for Graph Visualization" не записывалась.
Византийские сбои
Алгоритм PBFT
Верификация распределенных систем, TLA+
От Single-Decree Paxos к Multi-Paxos и RAFT
Алгоритм Single-Decree Paxos
Репликация с помощью Atomic Broadcast. AB, консенсус и FLP
Репликация и линеаризуемость. Алгоритм ABD репликации регистра
Модель распределенной системы. Время