«Друга людина в Linux» Грег Кроа-Хартман висловив свою думку про інтеграцію Rust в ядро

Грег Кроа-Хартман — мейнтейнер, який відповідає за підтримку стабільної гілки ядра Linux, висловив свою думку навколо проблеми інтеграції в ядро компонентів, написаних на мові Rust. У стрічці обговорення на kernel.org він написав, що більшість помилок в ядрі викликані особливостями мови С (corner case), які повністю виключені в коді Rust.

На думку Кроа-Хартмана, при використанні Rust можна залишити в минулому такі помилки, типові для C, як простий перезапис пам’яті, очищення шляху помилок, перевірка значення помилок та помилки використання після звільнення.

«Ось чому я хочу бачити Rust в ядрі, ці типи проблем просто зникають, надаючи розробникам і тим, хто займається підтримкою, більше часу, щоб зосередитися на РЕАЛЬНИХ помилках, що трапляються (тобто проблеми з логікою, стану гонки тощо)», — пише Кроа-Хартман.

Щодо наявного старого коду на мові С, то, за словами мейнтейнера, він нікуди не подінеться, а ось для нового коду та нових драйверів використання Rust дозволить суттєво підняти якість. Впровадження Rust також дасть можливість структурувати внутрішні програмні інтерфейси ядра таким чином, що будуть практично виключені помилки використання внутрішнього API — адже в ядрі Linux накопичилося дуже багато складних і заплутаних API, які створюють велике навантаження на супроводжуючих у їхній роботі з перевірки.

Грег не вважає Rust чарівною «срібною кулею», яка дозволить вирішити всі проблеми в ядрі, але ця мова точно допоможе у величезній кількості ситуацій. Підтримка Rust також задовольнить потребу розробників драйверів, які сподіваються отримати інструмент, що дозволяє писати для них код без багатьох типових помилок.

Що стосується поєднання кількох мов, то Кроа-Хартман не бачить у цьому великої проблеми: на його думку, в минулому розробники ядра справлялися і з більш серйозними завданнями, і немає підстав відмовлятися від просування в ядро ​​нових добрих ідей, які допоможуть забезпечити успіх проекту на наступні 20+ років.