TFTDS. Семинар 6. Алгоритм RAFT

Опубликовано: 11 Октябрь 2020
на канале: Лекторий ФПМИ

1,265

0:00:00 - Начало. Что не так с Paxos?
0:04:13 - План RAFT
0:09:28 - Литература по RAFT
0:13:53 - Термы. Выбор лидера. Election Safety.
0:23:33 - Репликация Log.
0:25:52 - Matching property. Log consistency. Leader Append-Only property
0:34:26 - Поправки в алгоритм выбора лидера
0:41:07 - Неправильное определение коммита команды, контрпример
0:45:03 - Определение коммита, Log completeness property
0:58:08 - Где контрпример расходится с доказательством
1:02:46 - Сравнение RAFT и Paxos
1:04:31 - Декомпозиция задачи в алгоритме RAFT
1:06:28 - Проще ли RAFT?

Снимал: Димитрис Голяр
Монтировал: Максимелиан Мумладзе

Семинарист: Роман Липовский

Дата лекции: 10.10.2020

Репозиторий курса: https://gitlab.com/Lipovsky/distsys-c...
Плейлист с лекциями: • TFTDS (лекции, 3 курс, осень 2020), л...
Плейлист с семинарами: • TFTDS (семинары, 3 курс, осень 2020),...