Изменения

Перейти к: навигация, поиск

Paxos

2 байта добавлено, 13:36, 23 июня 2020
м
Наблюдения про корректность
Тогда получаем, что $P$ сначала в голосовании $k$ принял от лидера предложение $v$, а потом в голосовании $k' > k$ сообщил об этом лидеру, но тот всё равно выбрал не $v$, а $v'$.
Значит, $v'$ было получено от какого-то принимающего с комментарием : "я Я принял его в голосовании $k'' k_1 > k$."
== Модификации ==
442
правки

Навигация