Как компьютеры приходят к согласию: протокол Paxos

Краткий обзор Paxos, алгоритма консенсуса, который обеспечивает согласованность распределенных систем даже при сбоях некоторых серверов. Это сложный алгоритм, который не удавался некоторым из лучших умов в области распределенных систем (премию Тьюринга не зарабатывают просто так!), поэтому не стесняйтесь часто ставить на паузу и перематывать! Для получения более подробной информации ознакомьтесь с этими ресурсами: Paxos в упрощенном виде: https://lamport.azurewebsites.net/pub... Ошибка в Paxos в упрощенном виде (подготовка, а затем запрос подтверждения от разных участников может привести к тому, что система «отменит» выбор, поскольку на практике участники отслеживают только свой последний голос для каждого слота): https://brooker.co.za/blog/2021/11/16... Алгоритм Paxos, или как получить премию Тьюринга: https://lamport.azurewebsites.net/tla... Paxos в умеренно сложном виде: https://paxos.systems Paxos в действии: http://web.mit.edu/geofft/Public/paxo... Лекция по Paxos (исследование пользователей Raft):    • Paxos lecture (Raft user study)   Paxos против Raft (аналогичный алгоритм консенсуса): Достигли ли мы консенсуса в распределенном консенсусе?:    • Paxos vs Raft: Have we reached consensus o...   Эл Вермеулен о Paxos:    • AWS re:Invent 2014 | (SPOT302) Under the C...   === ссылки === Twitter: https://x.com/jentgent Поддержите меня: https://buymeacoffee.com/jentgent === главы === 00:00 Проблема 01:33 Голосование 04:18 Заказ, подготовка и обещание 07:33 Выход из тупика 09:55 Доказательство 14:33 Много Paxos 15:59 Спасибо за просмотр