292
правки
Изменения
→Выбор лидера
== Сведения ==
=== Выбор лидера ===
Задачи: $n$ процессам требуется выбрать лидера, при этом все должны прийти к решению, кто именно лидер.
Сведение: если у нас есть выбор лидера, то консенсус получить легко: выбрали лидера, через него договорились.
Сведение: если у нас есть необоснованный консенсус на битах, то из него можно сделать необоснованный консенсус на натуральных числах от 1 до $n$ (запустив несколько раз алгоритм) и так выбрать номер процесса-лидера.
Замечание: лидер в процессе выборов может упасть, но мы от этого никак не защитимся: нельзя гарантировать состояние системы "сейчас", лидер может с таким же успехом упасть сразу после выборов.
Поэтому если лидер падает, то в дальнейшем алгоритме надо это как-то обнаруживать и обрабатывать.
=== Terminating Reliable Broadcast (TRB) ===
