292
правки
Изменения
Нет описания правки
[[Категория:Параллельное программирование]]
Теорема Фишера, Линча и Патерсона (FLP, 1985 год): невозможно достичь даже необоснованного [[Консенсус в распределённой системе|консенсуса]] $N>2$ процессами даже на одном бите при следующих условиях:
* Алгоритм должен завершиться за конечное время.
* Алгоритм должен быть детерминирован.
Если разрешаем незавершаемость в случае отказов, есть [[Paxos]] и [[Raft]].
Если отказов нет, есть [[Консенсус в распределённой системе#Решение при отсутствии отказов|простой алгоритм]].
Если система синхронна, то есть [[консенсус в синхронных системах]].