Как стать автором
Обновить

Алгоритм Пакcос. Понятная статья о консенсусе в распределенной системе

Время на прочтение 9 мин
Количество просмотров 19K
Всего голосов 24: ↑21 и ↓3 +18
Комментарии 12

Комментарии 12

"Something made simple" — это "Что-то простыми словами", а не "Что-то делал просто".

Не может быть!
Но статью все ж переименовали бы на «Паксос простыми словами». mwizard дело говорит — текущий заголовок реально режет слух, особенно если читающий знает правильный перевод словосочетания «something made simple» (примерно как «я есть Вася»).
Согласен. Спасибо.
А по-моему очень меметично :) Новая формулировка принципа KISS, «спроси себя, как делал бы Пакос».
При асинхронном обмене сообщениями интерфейс коммуникаций может быть более «надежным», если изначально есть единая терминология, общее информационное ядро с постановкой сценария для решения конкретных задач и заданное граничное количество итераций во времени для асинхронного общения для его проверки на достоверность при передачи данных, а далее в общение вовлекается лицо (постановщик задачи) для синхронного решения общей задачи по проверенным данным асинхронного результата с подбором окончательного консенсуса.
Но в любое время и в любой единой информационной сценарной системе (сначала асинхронной, а потом синхронной) уже должен быть плато консенсуса, но распределенное между участниками как-то абсолютно, а потом получаем консенсус относительный, только с разным результатом для каждого, то есть разной степенью сближений по позициям во времени. Собственно так мы все и общаемся.
Как итог: а в задаче конкретные деревья увидели, а границ задач в общем лесе интересов – нет…
Вообще Паксос это островок чуть южнее Корфу. Там рядом ещё и Антипаксос присутствует :)
Ooops… Спасибо
Визайнтийский консенсус это видимо про это.
Нет, не думаю. Я видел ту статью и она близка к тому, что опубликовано в википедии, и лично мне совершенно не помогла приблизится к пониманию. Помогло же индукционное доказательство корректности, это самый важный момент — что требуется доказать (это позволяет понять суть консенсуса) и как это доказать. Этим и хотел поделиться с читателями.
На практике даже данные в пямяти могут быть повреждены с тем же печальным итогом

Поскольку упомянули в статье, есть еще бездисковый (вернее, «does not rely on stable storage») алгоритм выбора лидера. Когда-то писал его реализацию. Но, все ноги растут из Паксоса :)
Зарегистрируйтесь на Хабре , чтобы оставить комментарий

Публикации

Истории