292
правки
Изменения
→Алгоритм
У принимающего есть две независимых компоненты состояния: кому он что-нибудь ''пообещал'' (только лидер и номер голосования) и какое предложение он ''принял'' (от какого лидера, номер голосования, какое значение).
'''Фаза 1a (подготовка)''': лидер посылает сообщение $(1a, k)$ кворуму принимающих всем принимающим (или вообще всем, а и ждёт ответа от кворума?на второй фазе). Пока никаких предложений нет.
'''Фаза 1b (обещание)''': каждый принимающий начинает выбирать предложение с максимальным номером:
