Исследователи MIT написали ОС Fractal с нуля и использовали её для поиска аппаратных багов в процессорах. Первый громкий результат уже есть: система помогла обнаружить ранее неизвестную уязвимость в Apple M1. Для русскоязычной IT-аудитории это важный сигнал: всё больше проблем живёт не в приложениях и не в контейнерах, а глубже — на уровне самого чипа, куда обычные средства защиты почти не дотягиваются.
О проекте, как сообщает Habr / Новости, команда MIT рассказала после майского выступления на IEEE Symposium on Security and Privacy. Идея Fractal выглядит почти провокационно: исследователи сознательно убрали из операционной системы привычные защитные и сервисные механизмы, чтобы не «лечить» поведение процессора, а наблюдать его в максимально чистом виде. Обычная ОС полезна пользователю, но мешает безопаснику, который пытается понять, как именно микросхема хранит данные, переупорядочивает операции и ведёт себя в пограничных сценариях.
Проблема как раз в том, что современная ОС неизбежно добавляет шум. Вытесняющая многозадачность, виртуальная память, системные прерывания, оптимизации планировщика, служебные процессы — всё это отлично для нормальной работы машины, но плохо для эксперимента, где важна повторяемость на уровне тактов и адресов. Если исследователь пытается поймать аппаратный сбой или подтвердить побочный канал, ему нужен не «умный» слой между кодом и железом, а почти лабораторный стенд. ОС Fractal как раз и сделана в логике такого стенда: минимум абстракций, максимум контроля над исполнением.
Систему разрабатывал аспирант Лаборатории компьютерных наук и искусственного интеллекта MIT Джозеф Равичандран. По данным источника, он начал работу в июне 2024 года и писал Fractal на ассемблере, C и C++. Повод был вполне прикладной: во время исследований уязвимости Pacman, раскрытой для Arm-процессоров в 2022 году, приходилось патчить ядро и собирать временные обходные решения, чтобы хоть как-то добраться до нужного поведения железа. Fractal предлагает другой путь — не приспосабливать массовую ОС под нужды исследователя, а заменить её на минимальную среду, где всё заточено под один вопрос: что реально делает процессор, если ему не мешать.
Самая тяжёлая часть проекта, судя по описанию, была не в архитектуре, а в отладке. На неподдерживаемом железе быстро выясняется неприятная правда: любимые инструменты разработчика остаются за дверью. Нет привычного дебаггера, нет комфортной телеметрии, нет гарантии, что код вообще стартовал. В какой-то момент единственным признаком жизни, как говорится в публикации, был светодиод питания на корпусе Mac. Для индустрии это, кстати, хороший контраст с привычным разговором про «прозрачность» платформ: чем ниже уровень исследования, тем быстрее исчезают красивые интерфейсы и остаётся старая инженерная школа — смотреть на косвенные признаки и упрямо сводить эксперимент к воспроизводимому состоянию.
У Fractal три ключевых механизма, и именно они делают систему интересной не как лабораторную игрушку, а как рабочий инструмент. Первый — многопривилегированная конкурентность: один и тот же тест можно гонять на разных уровнях привилегий, не меняя остальные условия. Второй — кооперативная многозадачность, где порядок исполнения контролирует исследователь, а не планировщик, решивший внезапно «помочь». Третий — собственная система памяти gmap, которая убирает ещё одну мешающую переменную: нестабильное отображение виртуальных адресов на физическую память между запусками. Для тех, кто занимался низкоуровневой диагностикой, ценность тут очевидна: если вы не можете дважды получить одинаковые условия, значит, вы исследуете не уязвимость, а погоду.
Чтобы показать практическую пользу системы, исследователи нацелили её на Apple M1 — просто потому, что этот чип оказался под рукой. Именно там ОС Fractal впервые подтвердила, что Apple Silicon тоже подвержен разновидности Phantom-спекуляции. Ранее этот класс поведения уже демонстрировали на AMD и Intel, но для M1 такой результат, по данным публикации, никто не показывал. Сценарий выглядит неприятно: атакующий в отдельных случаях может на короткий момент направить процессор по выбранному пути исполнения. Впрочем, здесь есть важная оговорка, без которой новость легко превратить в лишнюю панику: на M1 такие выборки наблюдаются, но сами инструкции, насколько известно, не исполняются. То есть речь идёт не о готовом массовом эксплойте, а о подтверждённой аппаратной особенности, которую раньше не удавалось увидеть. Информацию об уязвимости передали в Apple.
Отдельно показательно, что Fractal не замкнута на одной платформе. Система, по данным источника, работает не только на M1, но и на ряде ПК с Intel и AMD, на Raspberry Pi и на более новых чипах вроде M4. Код ядра опубликован под лицензией MIT. Для отрасли это, вероятно, не менее важно, чем сам кейс с Apple: у исследователей появляется открытый инструмент для работы с «кремниевыми» уязвимостями без необходимости каждый раз собирать самодельную инфраструктуру с нуля. А это снижает порог входа в аппаратную безопасность, где раньше многое держалось на штучной экспертизе и большом запасе терпения.
Для разработчиков, продуктовых команд и IT-руководителей из этой истории следует довольно приземлённый вывод. Безопасность всё хуже описывается формулой «обновили ОС, закрыли CVE, пошли дальше». Если проблема возникает на уровне микроархитектуры, её могут не видеть ни EDR, ни сканеры конфигураций, ни корпоративные политики доступа. Особенно неприятно это для облаков, edge-устройств и смешанной инфраструктуры, где один и тот же класс процессорных эффектов способен проявляться по-разному в зависимости от платформы и гипервизора. Поэтому рост интереса к инструментам вроде ОС Fractal выглядит логичным: бизнесу нужен не ещё один дашборд, а более трезвая картина того, что происходит под слоем привычного софта.
На этом фоне главный вопрос уже не в том, найдут ли исследователи новые аппаратные сюрпризы, а в том, насколько быстро индустрия перестроит процессы под реальность, где уязвимости живут ниже операционной системы. Чем доступнее становятся такие инструменты, тем меньше шансов у производителей делать вид, что сложное поведение чипа — это академическая экзотика, а не часть повседневной модели риска.