Грэг Кроа-Хартман поддерживает использование Rust в ядре Linux

Анонимный читатель сайта Slashdot поделился следующим отчетом с Phoronix:

Второй по значимости руководитель Linux Грег Кроа-Хартман также является сторонником использования кода на Rust в ядре. В своем последнем сообщении на почтовом списке Linux он обозначил преимущества Rust и призвал писать новые модули и драйверы на этом языке, а не на C. Грег KH считает, что большинство ошибок в ядре связано с "незначительными деталями в C, которые полностью отсутствуют в Rust."

Как человек, который за последние 15+ лет видел почти каждый исправленный баг и проблему безопасности в ядре... и кто знаком со всеми CVE, выпущенными для ядра, думаю, у меня есть право высказываться на эту тему," начал Кроа-Хартман. Вот несколько цитат из его выступления. Указав на проблемы как перезапись памяти, неправильные пути очистки ошибок, использование после освобождения и забытые проверки значений ошибок, Кроа-Хартман сказал, что он "за... то, чтобы сделать эти типы проблем невозможными.

Вот почему ему хочется видеть Rust в ядре: подобные проблемы просто исчезают, позволяя разработчикам и поддерживателям уделять больше времени решению настоящих багов (например, логических ошибок, гонок и так далее). "Для новых модулей / драйверов, написание их на Rust, где такие ошибки просто не могут возникнуть (или возникают намного реже), это выигрыш для всех нас. Почему бы нам этого не сделать...? Rust — это не панацея от всех проблем, но он точно поможет в многих местах. Поэтому для новых вещей в будущем, почему бы нам не захотеть этого?"

Да, кодовые базы на смешанных языках сложны и непросты для поддержки, но мы — разработчики ядра дьявола, мы поддерживаем и улучшаем Linux дольше, чем кто-либо мог себе представить. Мы превратили нашу модель разработки в хорошо отлаженный инженерный шедевр, создав что-то, чего никто другой не смог достичь. Добавление нового языка действительно не должно быть проблемой: мы справляемся с гораздо худшими вещами в прошлом и сейчас не должны отказываться от желания обеспечить успех нашего проекта на следующие 20+ лет. Когда сталкиваемся с новыми хорошими идеями, нам нужно продолжать двигаться вперед и приветствовать тех, кто готов помочь сделать так, чтобы мы все вместе добились успеха.

Кроа-Хартман подчеркнул позже, что "большая часть глупых вещей, которые мы делаем на C, просто не происходит при реализации кода на Rust (например, утечки памяти, очистка путей ошибок, проверка возвращаемых значений и так далее).

Полная нить сообщений содержит более 140 ответов — включая замечание Линуса Торвальдса о том, что "pragma — это полный мусор и никогда не должен использоваться."