Комментарии 20
Интересно, но жаль нет хотя бы ссылок на практические реализации
http://zookeeper.apache.org, наверное, самый известный проект. Это не совсем paxos, но близкий алгоритм.
Есть формальные спецификации Paxos (+ разновидности) и Raft на TLA+: https://github.com/tlaplus/DrTLAPlus
А если интересна практическая реализация близкого Raft, то можно обратить внимание на etcd которая используется в kubernetes
Вы имеете в виду ссылки на репозитории с кодом практических имплементаций алгоритма или про использование большими компаниями?
Если второе, то я натыкался на несколько статей, например, блог MySQL High Availability и блог Apache Cassandra, правда там совсем старая статья, не знаю, что используется сейчас.
Если второе, то я натыкался на несколько статей, например, блог MySQL High Availability и блог Apache Cassandra, правда там совсем старая статья, не знаю, что используется сейчас.
Было бы круто в такие статьи для наглядности анимации вкладывать. Ролик в конце с примерами такого голосования, например
Есть протокол Raft с восхитительным сайтом и визуализациями. А ещё у них там есть ссылка на интерактивное введение в протокол и консенсус.
а расскажите про PoS в картинках?
Статья очень интересная, спасибо!
По этой теме есть еще супер-интересная книга Designing Data-Intensive Applications, Martin Kleppmann, советую :)
Автору еще раз спасибо.
Спасибо большое за статью! Для тех, кто хочет погрузиться в «математику» распределенных систем, можно еще порекомендовать классическую книгу Gerard Tel «Introduction to Distributed Algorithms».
НЛО прилетело и опубликовало эту надпись здесь
В этом и состоит красота данной задачи. У нее еще есть любопытные вариации:
1) Например, гонцы ходят двумя дорогами, южная и северная. Причем генерал А1 — посылает гонца всегда южной дорогой, а А2 — всегда северной. Оппонент выставляет стражу на одну из дорог и случайно может перехватить, а может и не перехватить одного гонца.
2) Те же условия, что и в (1), но оппонент кидает монетку в самом начале, выбирает направление и всегда пытается поймать только на этом направлении.
3) Те же условия, что и в (2), но оппонент гарантированно ловит гонца на выбранном направлении.
В каких из этих кейсов генералы могут договориться, а в каких нет?
1) Например, гонцы ходят двумя дорогами, южная и северная. Причем генерал А1 — посылает гонца всегда южной дорогой, а А2 — всегда северной. Оппонент выставляет стражу на одну из дорог и случайно может перехватить, а может и не перехватить одного гонца.
2) Те же условия, что и в (1), но оппонент кидает монетку в самом начале, выбирает направление и всегда пытается поймать только на этом направлении.
3) Те же условия, что и в (2), но оппонент гарантированно ловит гонца на выбранном направлении.
В каких из этих кейсов генералы могут договориться, а в каких нет?
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Кот Шрёдингера без коробки: проблема консенсуса в распределённых системах