292
правки
Изменения
Нет описания правки
По этому поводу мы обычно жертвуем завершением за конечное время: алгоритм [[Paxos]].
Однако на практике могут возникать дополнительные сложности с тем, что узлы у нас не падают навсегда, а временно уходят и поднимаются обратно (т.е. [[Иерархия ошибок в распределённых системах|с точки зрения теории]] у нас , строго говоря, ненадёжная доставка сообщений), а нам надо консенсус запускать несколько раз и ещё как-то доносить старые решения до вернувшихся узлов (чтобы на них тоже получилось корректное состояние).
В алгоритме [[Raft]] это отдельно разбирается.
По факту применяются и [[Paxos]], и [[Raft]] и все живут.