Rust спасёт Linux от проблем с AI-кодом, считает Грег Кроа-Хартман

Грег Кроа-Хартман, стабильный мейнтейнер ядра Linux, считает Rust критически важным для будущей безопасности операционной системы. При этом он подчёркивает: Rust — это не волшебство, а прагматичное решение для устранения целого класса уязвимостей.

Rust в ядре

Linux Rust уже несколько лет проникает в исходный код Linux ядра, и интеграция ускоряется. Кроа-Хартман видит это как стратегическую необходимость, а не как моду. Rust позволяет разработчикам писать системный код с гораздо более сильными гарантиями безопасности, чем С — язык, на котором написано большинство ядра.

Защита от AI-уязвимостей Новая угроза — это код, генерируемый нейросетями.

Когда ChatGPT или другие LLM создают функции для Linux, они часто содержат классические ошибки: buffer overflows, use-after-free, race conditions. Человеческая проверка не всегда их ловит. Rust же просто не позволит скомпилировать такой код — язык вынудит разработчика переписать опасные конструкции. Это не означает, что AI-код будет идеальным. Но целый класс самых серьёзных уязвимостей, которые в С-коде требуют кропотливого code review'а, попросту не скомпилируются на Rust'е.

Как это работает

Rust достигает безопасности через несколько механизмов: Ownership и borrowing — система, которая гарантирует, что память всегда безопасно управляется No null pointers — Rust не имеет нулевых указателей; вместо этого используется Option тип Type system — строгая типизация отлавливает логические ошибки на этапе компиляции Panic вместо undefined behavior — вместо молчаливого повреждения памяти, Rust паникует и логирует ошибку Всё это значит, что целый класс уязвимостей просто невозможен на Rust'е. Не потому что язык волшебный, а потому что его дизайн заставляет разработчика думать о безопасности с самого начала.

«Rust заставляет вас написать правильный код с первой попытки», — таков принцип в сообществе, и это именно то, что нужно

Linux.

Масштаб интеграции Кроа-Хартман не говорит о переписывании всего ядра на Rust.

Это нереально и ненужно. Вместо этого стратегия — постепенное добавление новых подсистем на Rust там, где это критично: драйверы, файловые системы, сетевые стеки. Старый С-код будет жить рядом, но новые компоненты получат преимущества языка.

Что это значит

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