The rationale behind the implementa

The rationale behind the implementation is that, since every crashed process is suspected by at least one correct process, at the end, every D(i) of every correct process will contain all the suspects. Henceforth, we will only consider the strong completeness property.
Like completeness, one can define two forms of accuracy:

Strong accuracy: No correct process is ever suspected.
Weak accuracy: There is at least one correct process that is never suspected.

Both versions of accuracy can be further weakened using the attribute eventually. A failure detector is eventually strongly accurate if there exists a time T after which no correct
process is suspected. Before that time, a correct process may be added to and removed from the list of suspects any number of times. Similarly, a failure detector is eventually weakly accurate if there exists a time T after which at least one correct process is no more suspected, although before that time, every correct process could be a suspect. We will use the symbol ◊ (borrowed from temporal logic) to represent the attribute eventually.
By combining the strong completeness property with the four types of accuracy, we can define the following four classes of fault detectors:

Perfect P: (Strongly) Complete and strongly accurate
Strong S: (Strongly) Complete and weakly accurate
Eventually perfect ◊P: (Strongly) Complete and eventually strongly accurate
Eventually strong ◊S: (Strongly) Complete and eventually weakly accurate

Результаты (русский) 1:

Обоснование осуществления является, что, поскольку каждый процесс, разбился подозревается по крайней мере один правильный процесс, в конце концов, каждый D(i) каждого правильного процесса будет содержать все подозреваемые. Отныне мы рассмотрим только свойство сильной полноты.Как и полнота можно определить две формы точности:Сильная точность: не правильный процесс когда-либо подозреваемых.Слабая точность: существует хотя бы один правильный процесс, который никогда не подозревал.Обе версии точность может быть ослаблена далее, в конечном итоге с помощью атрибута. Детектор провал в конечном счете сильно точным, если существует время T, после чего не правильно подозревается в процесс. До этого времени правильный процесс могут быть добавлены и удалены из списка подозреваемых любое количество раз. Аналогично, детектор отказа в конечном итоге слабо точным, если существует время T, после которого по крайней мере один правильный процесс больше не подозревают, хотя до этого времени, каждый правильный процесс может быть подозреваемым. Мы будем использовать символ ◊, (заимствованные из временной логики) для представления атрибута в конечном итоге.Благодаря сочетанию сильной полноты собственности с четырьмя типами точности, мы можем определить следующие четыре класса детекторов ошибок:Perfect р: (сильно) полные и сильно точныеСильная S: (сильно) полной и слабо точнойВ конце концов perfect ◊P: (сильно) полное и в конечном итоге сильно точныеВ конце концов сильный ◊S: (сильно) полное и в конечном итоге слабо точной

Результаты (русский) 3:

логика осуществления, заключается в том, что, поскольку каждый разбился процесса лед подозреваемых в город, по крайней мере, одна из текста процесса до конца, все D (я) каждого текста процесс будет содержать всех подозреваемых.отныне мы будем рассматривать только сильный полнота собственности.как и полноты, можно определить две формы точность:сильные точность: нет текста процесса лед еще подозреваемых.слабой точностью: есть по меньшей мере один правильный процесс, что не подозреваемых.как вариант может быть еще более ослаблена, точность, используя одновременно со временем.провал детектора в конечном итоге решительно точным, если существует время t, после чего нет текстапроцесс, подозреваемых в лед.до этого времени, а правильный процесс может быть добавлен и исключить из списка подозреваемых, любое число раз.аналогичным образом, неспособность детектор в конечном итоге слабо точным, если существует время t, после чего по меньшей мере один правильный процесс больше нет подозреваемых, хотя до этого времени каждый правильный процесс может быть подозреваемым.мы будем использовать обозначение • (заимствованное из темпоральная логика) представлять одновременно, в конце концов.город сочетания сильных полнота собственности с четырех видов точности, мы можем определить следующие четыре категории вина детекторами:идеальный P: (строго) полное и решительно точнойсильные S: (строго) полное и точное слабов конечном итоге идеально • P: (строго) полное и, в конечном счете, решительно точнойв конечном итоге сильный • S: (строго) полное и, в конечном счете, слабо точной