Атомарная широковещательная рассылка: различия между версиями

Компонент (канал или процессор) считается исправным, если его поведение соответствует спецификации, и сбойным в противном случае. Далее рассматриваются три класса отказов компонентов, а именно: пропуски, ошибки синхронизации и византийские ошибки.

• Пропуск имеет место, когда сбойный компонент не способен выдать заданный выходной результат (примером может служить потеря сообщения).

• Ошибка синхронизации имеет место, когда сбойный компонент пропускает выдачу заданного результата либо выдает его слишком рано или слишком поздно.

• Византийская ошибка [ ] (также известная как «задача византийских генералов») имеет место в случае, когда компонент ведет себя не в соответствии со своей спецификацией – например, предоставляет выходной результат, отличный от заданного. В частности, рассматриваются обнаруживаемые с помощью аутентификации византийские ошибки, то есть такие, которые можно обнаружить с помощью протокола аутентификации сообщений, такого как коды исправления ошибок или цифровые подписи.

Каждый процессор p имеет доступ к локальным часам Cp, обладающим следующими свойствами: (1) два отдельных показания часов дают разные значения; (2) часы "-синхронизированы, что означает, что в любое реальное время t отклонение в показаниях часов любых двух процессоров p и q составляет не более ".

Кроме того, задержки при передаче и обработке данных, измеренные по часам исправного процессора, ограничены известной константой 8. Это ограничение учитывает не только задержки при передаче и обработке, но и задержки, связанные с составлением расписания, перегрузкой, дрейфом или корректировкой часов. Такая модель называется моделью синхронной системы.

Временем рассеяния dS называется время, необходимое для распространения информации до всех корректных процессов в сохранившейся сети диаметром d при наличии не более ж отказов процессоров и A отказов каналов связи.