Распределённые данные

Выбор лидера

Определение

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

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

Зачем это знать

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

Связи из словаря

Карта понятия

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

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

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

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

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

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

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

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

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

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

  • Исследование1
Карта знаний

Связанные понятия

Из знания — в навык

Курсы по теме

Подтвердите действие