Я пытался понять, как алгоритм Рафта преодолевает теорему ФЛП. Для того чтобы FLP был действительным, согласованный алгоритм должен быть детерминированным, завершающим и асинхронным. Как говорит докторская диссертация об алгоритме консенсуса по Плоту ,
К сожалению, трудно установить ограничение по времени или количеству сообщений, которые получат выборы лидера. Согласно результату невозможности FLP [28], ни один отказоустойчивый консенсусный протокол не может окончательно завершиться в чисто асинхронной модели. Это проявляется в разделении голосов в Плоте, что потенциально может неоднократно препятствовать прогрессу во время выборов лидера. Плот также использует случайные тайм-ауты во время выборов лидера, что делает его анализ вероятностным. Таким образом, мы можем только сказать, что выборы лидера проходят хорошо с высокой вероятностью, и даже тогда только при различных предположениях. Например, серверы должны выбирать тайм-ауты из случайного распределения (они не каким-то образом синхронизированы), часы должны работать с примерно одинаковыми скоростями, а серверы и сети должны быть своевременными (или остановлены). Если эти предположения не будут выполнены в течение некоторого периода времени, кластер не сможет выбрать лидера в течение этого периода (хотя безопасность всегда будет поддерживаться).
Так что, даже если это труднопоставить ограничение на время или количество сообщений, которые примут выборы лидера. Можно ли гарантировать, что в любом случае в конечном итоге будет избран лидер? Если нет, то в каком случае выборы лидера никогда не прекратятся?