В современных интегральных схемах, включая центральные процессоры, графические ускорители и чипы для искусственного интеллекта, могут присутствовать мельчайшие изъяны. Эти недочеты, зарождающиеся на этапе изготовления или возникающие в ходе эксплуатации, зачастую вызывают системные сбои. Результатом могут стать зависания, появление «синего экрана» или, что еще коварнее, неверные результаты вычислений. К примеру, процессор может ошибиться в элементарной арифметике, выдав вместо суммы 4 результат 5. Более того, программы не способны распознать подобные искажения, обрабатывая некорректные данные как истинные.
Осложнение ситуации подчеркнули многочисленные инспекции серверного оборудования, проведенные ведущими технологическими корпорациями. Статистика выявила, что каждый тысячный процессор подвержен генерации скрытых ошибок. Для масштабных центров обработки данных это может означать сотни некорректных вычислений ежедневно. Пользовательские устройства также не застрахованы от подобных опасностей, хотя их последствия, как правило, менее критичны.
Профессиональные и исследовательские круги находят различные подходы к решению данной проблемы. Полное искоренение дефектов при производстве признано экономически невыгодным из-за существенного удорожания компонентов. В связи с этим акцент смещается на разработку параллельных стратегий. К ним относятся внедрение систем непрерывного надзора за состоянием чипов в дата-центрах и создание специализированного программного обеспечения, предназначенного для верификации корректности вычислений.
