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