Исследователи разрабатывают Bip-блокирующий чип-монитор

Исследователи из Мичиганского университета разработали технологию, которая может оградить микропроцессорные ошибки и не позволит им захватить ПК.

В течение последних двух лет они работали над тем, что они называют «семантическим опекуном». Это крошечный монитор, который живет на микропроцессоре, проверяя его, чтобы узнать, попросили ли чип сделать что-то, чего его разработчики не предсказали при проверке качества.

Компании, такие как Intel и Advanced Micro Devices, тестируют свои продукты строго, но в реальном мире чипы часто просят сделать новые вещи, которые могут вызвать крушение. Семантический опекун может идентифицировать эти непроверенные состояния, а затем замедлять работу процессора, вставляя его в безопасный режим, когда многие из улучшающих производительность колоколов и свистов отключены.

Это замедляет работу компьютера на незначительную часть во-вторых, но это также делает его гораздо менее вероятным для краха, сказала Валерия Бертакко, доцент кафедры информатики университета.

Ее команда построила семантический хранитель в программном чип-симуляторе и сейчас пытается получить он запускается и запускается на программируемой микросхеме, называемой программируемой пользователем матрицей ворот. В их нынешнем дизайне монитор занимает около 3 процентов от стоимости недвижимости чипа, но они ожидают, что он будет намного меньше, если когда-либо будет коммерчески развиваться. «Если какая-либо коммерческая компания решит это сделать, это будет намного меньше 1 процента», - сказал Бертакко.

Производители чипов часто заканчивают обнаружение сотен ошибок, называемых ошибками в отрасли, в их продуктах после их доставки. Эти ошибки могут быть устранены в обновлениях BIOS, но если недостаток является достаточно серьезным, он может сорвать планы продуктов компании. В прошлом году четырехъядерный процессор AMD Opteron под кодовым названием «Барселона» был отложен почти на полгода, когда после официального выпуска чипа был обнаружен серьезный недостаток.

Аналитик Insight 64 Натан Бруквуд не убежден в том, что семантический опекун будет иметь помогли AMD с ее проблемой в Барселоне. По его словам, по этому подходу существует как минимум две большие проблемы: во-первых, было бы сложно отслеживать все тестируемые состояния на коммерческом процессоре. «Существует очень много легитимных состояний, поэтому я действительно сомневаюсь в том, что это то, что когда-либо можно было сделать практическим решением», - сказал он.

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

«Думаю, на самом деле это не поймало бы действительно тонкие вещи, которые появляются и которые пойманы в поле», - сказал он. «Оставьте меня скептиком».

Но проблемы безопасности могут вскоре заставить производителей чипов внимательно ознакомиться с работой Университета штата Мичиган. Это связано с тем, что некоторые эксперты по безопасности считают, что ошибки микропроцессора могут позволить новую волну хакерских атак.

В следующем месяце, например, исследователь безопасности Kris Kaspersky планирует продемонстрировать способы атаки на процессоры Intel с использованием вредоносного кода JavaScript и сетевых пакетов. «Это всего лишь вопрос времени, прежде чем мы начнем видеть, что эти … атаки используются более разрушительными способами через Интернет», - писал он в описании беседы, которую он собирался дать на конференции «Хак в коробке» в Куала-Лумпуре.

Бертакко считает, что проблемы безопасности могут сделать ее семантического опекуна более привлекательным для производителей чипов. «Широкая общественность гораздо более чувствительна к безопасности», - сказала она.