Грег Кроа-Хартман, который курирует стабильные и «staging» ветки ядра Linux и является мэйнтейнером 16 подсистем, выступил на конференции Rust Week 2026. В своем докладе он подробно разобрал, как внедрение языка Rust помогает бороться с критическими уязвимостями, возникающими из-за ошибок разработчиков при работе с памятью, блокировками и внешними данными.
Роль Rust в повышении безопасности ядра
Основное преимущество Rust, по мнению Грега, заключается в переносе проверки кода с этапа ручного рецензирования на этап сборки. Компилятор способен выявить целый пласт ошибок, которые раньше проходили через фильтры человеческого внимания. При этом разработчик подчеркнул: никто не планирует полностью переписывать ядро на Rust — переход будет эволюционным, через написание новых драйверов и подсистем на этом языке.
В качестве наглядных примеров Кроа-Хартман привел два инцидента, которых можно было избежать:
- Ошибка в подсистеме Bluetooth, остававшаяся скрытой 15 лет из-за разыменования указателя без предварительной проверки.
- Проблема в гипервизоре Xen, где разработчик забыл снять блокировку в обработчике ошибок.
Автоматизация контроля и работа с памятью
Rust-абстракции для блокировок в ядре Linux устроены так, что доступ к внутренним структурам становится возможен только после захвата блокировки, которая затем снимается автоматически. Это исключает возможность «забыть» открыть ресурс. По оценкам Грега, такие механизмы позволили бы предотвратить до 60% типичных ошибок, с которыми сейчас борются сопровождающие.
Внедрение Rust дает и косвенный эффект: общий уровень Си-кода в ядре растет, так как разработчики перенимают лучшие практики, например, реализуют блокировки с ограниченной областью видимости. Система типов Rust также позволяет строго разделять данные на «доверенные» и «недоверенные», упрощая работу с входящими потоками от оборудования.
Статус Rust в Linux
На сегодняшний день команда безопасности ядра ежедневно обрабатывает огромное количество отчетов об уязвимостях — порой их число исчисляется сотнями в сутки. Грег Кроа-Хартман уверен, что Rust — это реальный инструмент для снижения этого потока ошибок. Напомним, что поддержка языка в ядре Linux уже давно вышла из стадии эксперимента и в конце прошлого года получила статус штатной возможности.
