Meltdown (уязвимость) (Meltdown (rx[fnbkvm,))

Перейти к навигации Перейти к поиску
Логотип уязвимости

Meltdown — аппаратная уязвимость категории утечка по стороннему каналу, обнаруженная в ряде микропроцессоров, в частности, производства Intel и архитектуры ARM. Meltdown использует ошибку реализации спекулятивного выполнения команд в некоторых процессорах Intel и ARM (но не AMD[1][2]), из-за которой при спекулятивном выполнении инструкций чтения из памяти процессор игнорирует права доступа к страницам.

Уязвимость позволяет локальному атакующему (при запуске специальной программы) получить несанкционированный доступ на чтение к привилегированной памяти (памяти, используемой ядром операционной системы)[3][4][5].

Атаке был выделен CVE-идентификатор уязвимости CVE-2017-5754[6].

Об уязвимости в процессорах Intel ещё в 2008 году сообщал Крис Касперски[7]. Лишь спустя годы, атака Meltdown была независимо обнаружена исследователями из Google Project Zero[англ.], Cyberus Technology, и Грацского технического университета в середине 2017 года и несколько месяцев находилась на стадии закрытого обсуждения и исправления. Публикация подробной информации и исправлений была запланирована на 9 января 2018 года, но детали уязвимости были обнародованы 4 января 2018 года одновременно с атакой Spectre, из-за публикаций журналистов The Register[8], которые узнали об исправлениях KAISER/KPTI из списка рассылки ядра Linux[9].

Краткое описание

[править | править код]

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

  • Глубокое спекулятивное выполнение операций, в том числе чтения из оперативной памяти без проверки прав доступа процесса к читаемым областям. Если в итоге спекулятивное исполнение будет признано ошибочным, то исключение по доступу к запретной области памяти не генерируется, а результаты загрузки данных в регистры просто отменяются.
  • Отсутствие очистки кэша от результатов ошибочного спекулятивного исполнения (подобная очистка, вероятно, снизила бы скорость работы процессора). Формально содержимое кэша недоступно программе напрямую; но анализ времени доступа к отдельным ячейкам оперативной памяти может косвенно указать, есть ли конкретные данные в кэше или нет (в данном случае — были ли эти данные загружены при спекулятивном выполнении команд).
  • Ядро операционной системы держит свои данные в адресном пространстве процесса, защищая их от доступа уровнем привилегий. Данная технология позволяет быстрее исполнять системные вызовы. При таких вызовах повышается уровень привилегий, а при возврате обратно уровень привилегий снова понижается, при этом не требуется перезагружать таблицу страничных дескрипторов.

Современные высокопроизводительные микропроцессоры имеют возможность исполнять новый код, не дожидаясь окончания исполнения предыдущих действий. Например, если инструкция ветвления ожидает получения данных из оперативной памяти для принятия решения, простаивающий процессор может заняться исполнением одного из направлений ветвления (а в некоторых архитектурах — даже обеих ветвей) в надежде иметь готовый результат вычислений к тому моменту, когда результат ветвления станет известен. Эта техника называется спекулятивным исполнением. В случае успешного угадывания, спекулятивно исполненный код изменяет видимые значения регистров (архитектурное состояние), и исполнение продолжится. Если же ветка исполнения была предположена неверно, команды из неё не меняют видимого состояния процессора, и фактическое исполнение будет возвращено к точке ветвления.

Из-за особенностей ряда реализаций, во время спекулятивного исполнения доступ к памяти фактически осуществляется независимо от прав доступа исполняемого процесса к этой памяти; это позволяет исполнять команды, не дожидаясь ответа от контроллера памяти. Если впоследствии эта ветка спекулятивного исполнения окажется правильной, то будет сгенерировано исключение ошибочного доступа к памяти. Если же ветку отбросят как ошибочную, то исключение сгенерировано не будет; но переменные, загруженные в кэш в процессе исполнения ветки, останутся в кэше. Соответственно, авторами атаки был предложен метод анализа наличия данных в кэше (на основании времени доступа к ним), что при правильном построении атаки может дать представление о том, что происходило в отброшенной ветке спекулятивного исполнения и о содержимом более привилегированной памяти.

Атака может быть проведена примерно следующим образом.[10]

Для того, чтобы прочитать бит 0 из защищённой области памяти Ap, атакующий:

  1. Очищает кеш для адресов A0u и A1u (из адресного пространства атакующего, доступного для чтения/записи)
  2. Выполняет ветвление по условию, заведомо известному атакующему
  3. В ветке кода, которая, по условию, никогда выполняться не должна (но будет выполнена при спекулятивном выполнении):
  4. Читает значение V(Ap) из защищённой области памяти по адресу Ap
  5. Посредством выполнения побитовой операции над значением V(Ap) получает адрес A0u либо A1u
  6. Читает память по полученному адресу (A0u или A1u)

При обычном выполнении шаг 4 вызывает ошибку защиты, однако на этапе спекулятивного выполнения на уязвимых архитектурах эта ошибка временно игнорируется, продолжая выполнение шагов 5 и 6. В результате в кеш загружается одно из значений — с адреса A0u или A1u. Выяснив условие ветвления, процессор аннулирует все результаты выполнения шагов 4, 5 и 6, но состояние кеша остается неизменным.

После этого атакующему достаточно прочитать «свои» адреса A0u и A1u, измеряя время доступа к ним. И на основании замеров определить, какой бит (0 или 1) был прочитан из защищённой области памяти Ap.

Повторяя этот алгоритм для других битов значения V(Ap), можно получить всё содержимое защищённой области памяти целиком.

По мнению исследователей, «любой микропроцессор корпорации Intel, реализующий внеочередное исполнение, потенциально подвержен атаке, то есть любой процессор с 1995 года (за исключением Intel Itanium и Intel Atom, выпущенных до 2013 года).»[11]

Уязвимость, как ожидается, может затронуть крупнейших мировых облачных провайдеров, в частности, Amazon Web Services (AWS)[12], Google Cloud Platform, Microsoft Azure. Облачные провайдеры позволяют различным пользователям запускать свои приложения на общих физических серверах. Так как программы могут обрабатывать конфиденциальные данные пользователей, используются меры защиты и изоляции, предоставляемые процессором, для предотвращения несанкционированного доступа к привилегированной памяти (используемой ядром ОС). Атака Meltdown при использовании на системах, не реализующих программной защиты (патчей), позволяет обойти некоторые меры изоляции памяти и получить доступ на чтение к памяти операционной системы.

Один из авторов публикации об уязвимости указывает, что системы паравиртуализации (Xen) и контейнерные системы (Docker, LXC, Openvz, и т. п.) также подвержены атаке[13]. Системы с полной виртуализацией позволяют пользовательским приложениям читать лишь память гостевого ядра, но не память хост-системы.

Программные исправления

[править | править код]

Существует надежный программный способ борьбы с атакой, при котором в таблице страниц пользовательских процессов не отображаются страницы памяти ядра ОС (за исключением небольшого количества служебных областей памяти ядра), технология Kernel page-table isolation (KPTI). При этом несколько замедляются вызовы со сменой уровня привилегий (в частности, системные вызовы), так как им приходится дополнительно переключаться на другую таблицу страниц, описывающую всю память ядра ОС.

В некоторых случаях исправление может снижать производительность ряда функций, например, приложений, очень часто выполняющих системные вызовы. В то же время тесты Phoronix показывают отсутствие замедления в играх, запущенных на Linux с KPTI-патчем[18][19].

Примечания

[править | править код]
  1. Gleixner, Thomas x86/cpu, x86/pti: Do not enable PTI on AMD processors (3 января 2018). Дата обращения: 4 января 2018. Архивировано 28 июня 2020 года.
  2. Lendacky, Tom [tip:x86/pti] x86/cpu, x86/pti: Do not enable PTI on AMD processors. lkml.org. Дата обращения: 3 января 2018. Архивировано 3 августа 2020 года.
  3. Metz, Cade; Perlroth, Nicole (2018). "Researchers Discover Two Major Flaws in the World's Computers". The New York Times (англ.). ISSN 0362-4331. Архивировано 3 января 2018. Дата обращения: 3 января 2018. {{cite news}}: Указан более чем один параметр |accessdate= and |access-date= (справка)
  4. "Intel's processors have a security bug and the fix could slow down PCs". The Verge. Архивировано 3 января 2018. Дата обращения: 3 января 2018. {{cite news}}: Указан более чем один параметр |accessdate= and |access-date= (справка)
  5. Linux Gaming Performance Doesn't Appear Affected By The x86 PTI Work - Phoronix (англ.). www.phoronix.com. Дата обращения: 3 января 2018. Архивировано 20 февраля 2021 года.
  6. CVE-2017-5754 Systems with microprocessors utilizing speculative execution and indirect branch prediction may allow unauthorized disclosure of information to an attacker with local user access via a side-channel analysis of the data cache. Дата обращения: 6 января 2018. Архивировано из оригинала 6 января 2018 года.
  7. HITBSecConf2008 - Malaysia » Kris Kaspersky (Independent Network Security Researcher / Author for Xakep Magazine). Дата обращения: 23 ноября 2022. Архивировано 23 ноября 2022 года.
  8. Архивированная копия. Дата обращения: 4 января 2018. Архивировано 7 апреля 2018 года.
  9. Understanding Meltdown & Spectre: What To Know About New Exploits That Affect Virtually All CPUs. Дата обращения: 6 января 2018. Архивировано 6 января 2018 года.
  10. Meltdown (PDF). Meltdown and Spectre 8 sec. 5.1. Дата обращения: 4 января 2018. Архивировано 4 января 2018 года.
  11. Meltdown and Spectre: Which systems are affected by Meltdown? (англ.). meltdownattack.com. Дата обращения: 3 января 2018. Архивировано 3 января 2018 года.
  12. Processor Speculative Execution Research Disclosure (англ.). Amazon Web Services, Inc.. Дата обращения: 3 января 2018. Архивировано 4 января 2018 года.
  13. Cyberus Technology Blog - Meltdown. Дата обращения: 4 января 2018. Архивировано 4 января 2018 года.
  14. Warren, Tom Microsoft issues emergency Windows update for processor security bugs. The Verge. Vox Media, Inc.. Дата обращения: 3 января 2018. Архивировано 3 января 2018 года.
  15. "Kernel-memory-leaking Intel processor design flaw forces Linux, Windows redesign". The Register (англ.). Архивировано 7 апреля 2018. Дата обращения: 3 января 2018. {{cite news}}: Указан более чем один параметр |accessdate= and |access-date= (справка)
  16. Corbet, Jonathon KAISER: hiding the kernel from user space. LWN (15 ноября 2017). Дата обращения: 3 января 2018. Архивировано 8 декабря 2020 года.
  17. Corbet, Jonathon The current state of kernel page-table isolation. LWN (20 декабря 2017). Дата обращения: 3 января 2018. Архивировано 4 января 2018 года.
  18. NVIDIA Gaming Performance Minimally Impacted By KPTI Patches — Phoronix
  19. Linux KPTI Tests Using Linux 4.14 vs. 4.9 vs. 4.4 — Phoronix