1632
правки
Изменения
м
Отличие TRB от обычного broadcast: часть может получить и обработатьКаждый процесс рассылает всем остальным своё предложение.Каждый процесс ждёт предложения остальных, а посылающий упалпосле чего детерминированной функцией выбирает элемент из множества.У других нет гарантий про тоостальных процессов получилось такое же множество, такая же функция, следовательно, такой же результат.Работает даже в асинхронной системе, получили ли остальные сообщения$N^2$ сообщений.
rollbackEdits.php mass rollback
[[Категория:Параллельное программирование]]
{{Определение
|definition=
'''Задача консенсуса''': есть N процессов, у каждого есть некие данные — предложение (proposal), они должны выполнить некоторый распределённый алгоритм и прийти к решению (decision). Требуется:
* Согласие (agreement): все не отказавшие (не упавшие навсегда) процессы должны завершиться с решением (decide) и все эти решения должны совпадать.
* Нетривиальность (non-triviality): должны быть варианты исполнения, приводящие к разным решениям(возможно, просто с разными исходными предложениями или разным исходным состоянием процессов).
}}
Также можно требовать завершение (termination): протокол должен завершиться за конечное время.
Формальное доказательство, опять же, опущено.
== Выбор лидера == == Terminating Reliable Broadcast (TRB) Решение при отсутствии отказов ==
