Конференция завершена. Ждем вас на HighLoad++ в следующий раз!

Паксос в картинках Бэкенд, теория программирования

Доклад принят в программу конференции
Константин Осипов
ScyllaDB

Разработчик СУБД.

Тезисы

Паксос — алгоритм принятия решений в распределённых системах, лежащий в основе многих современных инструментов — Consul, Zookeeper, etcd и других. Только сам автор Лесли Лампорт сделал много попыток объяснить, как работает алгоритм — в работах "Part time parliament", "Paxos made simple", многочисленных выступлениях. Неавторских интерпретаций тысячи. Большинству из нас это мало помогает понять алгоритм. В одном из своих выступлений Лесли признаётся, что в нескольких известных ему реализациях есть ошибки. В презентации я попробую объяснить Паксос с помощью картинок. Цель доклада не прикладная — я попробую объяснить принципы и ограничения, лежащие в основе алгоритма.

Другие доклады секции Бэкенд, теория программирования