연구원들이 버그 차단 칩 모니터 개발

미시간 대 (University of Michigan)의 연구원들은 마이크로 프로세서 버그를 차단하고 PC 점유를 막을 수있는 기술을 개발했다.

지난 2 년 동안 그들은 "의미 론적 후견인 (semantic guardian)"으로 일하고 있었다. 마이크로 프로세서에 장착 된 작은 모니터로, 설계자가 품질 보증 테스트에서 예상하지 못한 것을 수행하도록 요청되었는지 여부를 확인합니다.

Intel 및 Advanced Micro Devices와 같은 회사는 자사 제품을 테스트합니다 엄밀히 말하면, 현실 세계에서 칩은 종종 잠재적으로 충돌을 일으킬 수있는 새로운 일을하도록 요청받습니다. 시맨틱 가디언은 이러한 테스트되지 않은 상태를 식별 한 다음 프로세서의 성능 향상 종소리와 휘파람을 사용할 수 없게 만드는 안전 모드로 프로세서를 천천히 속도를 늦출 수 있습니다.

이렇게하면 프로세서를 두 번째이지만 대학 컴퓨터 과학과 조교수 발레리아 베르 타코 (Valeria Bertacco)는 말했다.

그녀의 팀은 의미 기반 보호자를 소프트웨어 기반 칩 시뮬레이터에 내장하여 현재 필드 프로그래머블 게이트 어레이 (field-programmable gate array)라고 불리는 프로그래머블 마이크로 칩 (programmable microchip)에서 작동한다. 현재 설계에서 모니터는 칩의 부동산 중 약 3 %를 차지하지만 상업적으로 개발되면 모니터의 크기가 훨씬 작아 질 것으로 기대합니다. Bertacco는 "어떤 상업 회사가이 결정을 내린다면 1 % 미만이 될 것"이라고 지적했다. 칩 제조업체는 출하 후 제품에서 에라타 (errata)라고 불리는 수백 가지 버그를 발견하게된다. 이러한 버그는 BIOS 업데이트에서 해결할 수 있지만 결함이 심각하면 회사의 제품 계획을 탈선시킬 수 있습니다. 작년에 바르셀로나의 코드 명 바르셀로나 (Barcelona)라는 쿼드 코어 Opteron 프로세서는 칩의 공식 출시 이후 심각한 결함이 발견 된 지 거의 반년 가까이 지연되었습니다.

Insight 64의 분석가 Nathan Brookwood는 의미 론적 후견인이 바르셀로나 문제로 AMD를 도왔다. 이 연구원에 따르면이 접근 방식에는 적어도 두 가지 큰 문제가 있습니다. 첫째, 상용 프로세서에서 테스트 한 모든 상태를 추적하는 것이 어려울 것입니다. 그는 "합법적 인 주들이 매우 많기 때문에 실용적인 해결책이 될 수있는 것이 있는지 의문을 제기한다"고 말했다.

두 번째 문제는 많은 설계 작업이 필요하다는 것이다. 실제 작동했던 슬림화 된 프로세서 안전 모드를 만들었습니다. ""내 생각에 현장에 나타나고 현장에 잡힌 정말 미묘한 것들을 잡지 않습니다. " "회의론에 시달린다."그러나 보안 문제로 인해 곧 칩 제조업체들은 미시건 대학교 (University of Michigan)의 작업을 자세히 살펴볼 수있다. 일부 보안 전문가들은 마이크로 프로세서 버그로 인해 새로운 해킹 공격이 발생할 수 있다고 생각하기 때문입니다.

예를 들어, 보안 연구원 인 Kris Kaspersky는 다음 달에 악의적 인 JavaScript 코드와 네트워크 패킷을 사용하여 인텔 프로세서를 공격하는 방법을 보여줄 계획입니다. 쿠알라 룸푸르의 Hack in the Box 컨퍼런스에서 발표 할 이야기에 대한 설명에서 "인터넷을 통해 더욱더 파괴적인 방식으로이 공격이 사용 된 것을 보는 것은 시간 문제 일뿐입니다."

Bertacco는 보안 문제로 인해 의미 론적 보호자가 칩 제조업체에게 더욱 매력적으로 다가 갈 수 있다고 생각합니다. "일반 대중은 보안에 훨씬 더 민감하다"고 말했다.