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

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-course Плейлист с лекциями: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZaJ3CJlGo9FxOTA2bS1YyN Плейлист с семинарами: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZTjajkPpwgR29jyx81lMCl