TFTDS / Лекция 5 / Single-Decree Paxos

00:00:00 - Recap 00:07:21 - Part-Time Parliament 00:14:00 - История публикации 00:22:40 - Paxos Made Simple 00:24:15 - Paxos и Raft 00:31:04 - Single-Decree Paxos. Роли 00:39:15 - Формальное описание алгоритма 00:51:55 - Разбор случаев 01:07:06 - Интуиция 01:09:50 - Достаточное условие выбора 01:20:00 - Док-во свойства agreement 01:31:48 - Лайвлок: дуэль proposer-ов Дата лекции: 2 октября 2021 Лектор: Роман Липовский Съёмка и монтаж: Дмитрий Купцов Плейлист с лекциями:    • TFTDS (лекции, 3 курс, осень 2021) - Липов...   Плейлист с семинарами:    • TFTDS (семинары, 3 курс, осень 2021) - Лип...