TFTDS / Лекция 7 / RAFT

00:00:00 - Recap: Multi-Paxos 00:06:35 - Статья о RAFT, недостатки Paxos 00:18:44 - Алгоритм. Выбор лидера 00:32:21 - Алгоритм. Выбор лидера. Иллюстрация 00:34:40 - Алгоритм. Репликация лога 00:44:16 - Алгоритм. Правильный выбор лидера 00:51:10 - Алгоритм. Применение команд из лога 00:59:19 - Доказательство корректности. Leader completeness 01:14:22 - Доказательство корректности. State machine safety 01:17:33 - Liveness. PreVote, CheckQuorum 01:29:04 - Сравнение с Paxos Дата лекции: 16 октября 2021 Лектор: Роман Липовский Съёмка и монтаж: Дмитрий Купцов Плейлист с лекциями:    • TFTDS (лекции, 3 курс, осень 2021) - Липов...   Плейлист с семинарами:    • TFTDS (семинары, 3 курс, осень 2021) - Лип...