Распределённые данные · проверено по источникам

Выбор лидера

Выбор лидера — протокол, которым группа согласования временно назначает один узел предлагать порядок записей журнала.

Также ищут: Leader election · consensus leader election

Практический смысл

Почему это важно

Лидер упрощает упорядочивание записей, но его полномочия ограничены номером срока и кворумом; направление клиентских запросов не заменяет безопасные выборы.

Доказательная часть

Что подтверждено

  1. В Raft кандидат становится лидером, получив большинство голосов в новом сроке; каждый сервер голосует не более одного раза за срок.

    Граница применимости: Выбор лидера в Raft.

  2. Ограничение выборов не позволяет большинству выбрать кандидата, чей журнал отстаёт от уже зафиксированной истории, сохраняя полноту лидера.

    Граница применимости: Безопасность выборов Raft.

Перед спецификацией

Что проверить

  1. Проверяйте номер срока или эпохи.
  2. Требуйте большинство голосов.
  3. Отклоняйте записи прежнего лидера.
Открытые основания

Первоисточники

  • Первичная публикация

    In Search of an Understandable Consensus Algorithm (Extended Version)

    Stanford University / USENIX · Ongaro and Ousterhout, USENIX ATC 2014 extended paper

    Первичное описание Raft: leader election, replicated log, commit majority и safety.

    Открыть первоисточник
Сообщить об ошибке

Опишите проблему — постараемся исправить как можно скорее.

Спасибо!

Получили ваше сообщение.
Подтвердите действие