Нов подход за стабилност на чиповете

Изследователи от мичиганския университет са разработили нов подход за справяне с бъговете на компютърните чипове. Системата, известна като Семантичен пазител, позволява на чиповете да работят само по начини, които са тествани от производителя. Всички други вариации се изключват автоматично, за да се осигури гладката работа на компютъра.

"Компаниите изразходват много усилия, време и пари, опитвайки се да създадат възможно най-добър чип преди да го изкарат на пазара", казва Валерия Бертако, професор по компютърни науки. Но производителите на чипове нямат време да тестват всеки възможен сценарий, така че някои редки конфигурации понякога не се взимат под внимание. "Винаги се появяват някои допълнителни и неочаквани бъгове след излизането на пазара", казва Бертако. Тези бъгове могат да доведат до забиване на компютъра, а също носят риск на сигурността.

Новата система е тествана и дава много добри резултати. Ако процесорът тръгне да работи по начин, който не е тестван Семантичният пазител насочва чипа към предварително одобрен режим на работа. Чипът работи за кратко в safe mode докато процесът завърши, след което се връща в режим на нормална функция. Изследователите уверяват, че Семантичния пазител не пречи на производителността на процесора докато работи в нормален режим и съвсем леко забавя работата докато се справи с появилия се бъг.

Текст: Михаил Гужгулов