Теория распределенных вычислений

1. Время. Синхронизация часов
2. Репликация и модель согласованности. Алгоритм ABD.
Теория распределённых вычислений 2, Семинар.
3. Репликация, Atomic Broadcast и его эквивалентность консенсусу
4. Невозможность консенсуса
5. Singe Decree Paxos
6. State Machine Replication, Multi-Decree Paxos.
7. Paxos Made Live
8. Формальные методы. TLA+
9. Формальные методы, TLA+ (продолжение)

https://www.youtube.com/watch?v=6D8w_jtncac&feature=emb_title

#video #gtd