Как классифицировать детектор отказов?

Сначала вам нужно смоделировать синхронность процессов и связей между ними; например: «все процессы могут в конечном итоге взаимодействовать своевременно, сообщения передаются в течение известного срока, а процессы выполняют крайние сроки в пределах известного срока». Как только вы определите такую ​​модель, вы сможете проанализировать конкретный алгоритм и определить его класс (и доказать это).

Различные классы детекторов отказов полезны для инкапсуляции и абстрагирования от таких базовых предположений при разработке алгоритмов более высокого уровня. Их также можно использовать для определения того, какие проблемы (консенсус, широковещательная рассылка, выборы слабого лидера и т. д.) сложнее/легче решить в зависимости от требуемого класса детектора отказов.

В отличие от того, что указано в вашем вопросе, идеальный FD не может быть реализован ни в одной модели системы. Фактически, одна активная область исследований заключается в поиске минимальных требований к синхронности, таких как, например, детектор отказов омега (см. статью «Омега встречает Паксос»).

Вы можете представить различные сценарии, в которых синхронность является лишь частичной, например, некоторые ссылки слишком ненадежны, некоторые процессы защищены брандмауэрами (исходящие сообщения разрешены, но не входящие) и т. д. Когда вы моделируете синхронность конкретных развертываний, а затем отвечаете на вопрос того, какой ФД можно построить на такой модели, вы одновременно отвечаете, какие задачи можно решить в этой модели (и, следовательно, в том развертывании).