00:10 Напоминание тем прошлой лекции
02:44 Single Point of Failure
05:57 Replication
10:24 Consistency Model
23:44 Linearizable Fault-tolerant atomic
40:54 Quorum System
57:14 Доказательство линеаризации для одного Writer
1:03:24 Много Writer’ов
1:14:54 Чего не хватает до реальной жизни?
Лекция от
Лектор: Роман Липовский
Снимал: Дмитрий Гусев
Монтировала: Татьяна Миллер