Изменения

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

Теорема Фишера-Линча-Патерсона (FLP)

Нет изменений в размере, 01:00, 21 июня 2020
м
Нет описания правки
При этом даже если разрешить одновременную посылку сообщения сразу нескольким процессам (как в [[Общий порядок сообщений|общем порядке сообщений]]) и тем самым запретить процессу падать при массовой рассылке сообщений, лучше не станет: нет гарантии, в каком порядке и как скоро эти сообщения будут получены и обработаны получателями.
А вот если какую-нибудь гарантию дадим, то получаем [[Переформулировки консенсуса в распределённой системе#Terminating Reliable Broadcast (TRB)|TLBTRB]], из которого сразу выводится консенсус.
== Доказательство ==
442
правки

Навигация