Понятия сбоев и отказов

Здесь самое время сказать, что электронные устройства приходят в состояние отказа очень редко. Значительно чаще (примерно в 10 000 раз, это число, разумеется, зависит от конкретного устройства, но порядок именно такой) происходят случайные сбои. Сбой отличается от отказа тем, что если «поймать» сбойную ситуацию и повторить последнее действие, с большой вероятностью всё будет в порядке

Мажоритар – это схема голосования. Если все три входа имеют одинаковое значение (1 или 0), то на вход выдаётся то же значение, если же два входа имеют значение 1, а третий вход имеет значение 0, то, во-первых, на выход будет выдана 1, во-вторых, в супервизор аварийных ситуаций пойдёт сообщение, что в устройстве, которое выдало результат, не совпадающий с его соседями, произошёл сбой.

Пример встроенной системы реального времени – станция правительственной связи «ФОБОС К» (на основе троированного Самсона):

"Самсон" – троированный. Является устройством, имеющим больший уровень надёжности, чем все остальные.

Если что-то не работает (аппаратная синхронизация):

5. проверить, не сломалась ли сеть (для этого послать групповое сообщение)

6. обнаружив неисправный узел, протестировать его

7. ремонт

8. вернуть узел на место (постепенное выравнивание памяти)

Постепенное выравнивание памяти

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

Если падают РМО (программная синхронизация):

УВК всегда посылает данные на два РМО (основной и резервный). Таким образом, гарантируем, что пользователь потеряет не более одной команды. Единственный плохой случай, когда упало во время работы с базой данных.