Гармония или диссонанс? Rust переписывает партитуру Linux

Rust — это язык программирования, известный своей безопасностью и надёжностью. Тем не менее, в нём есть специальное ключевое слово «unsafe», которое позволяет разработчикам использовать небезопасный код. Порой это бывает необходимо, особенно при работе с ядром Linux. И чтобы упорядочить работу с таким кодом, недавно был предложен новый стандарт документации.

Бенно Лоссин предложил обновление, которое вводит универсальный стандарт безопасности для Rust в ядре Linux. Он объясняет, что небезопасный код в ядре должен иметь документацию, чтобы гарантировать его правильность. Сейчас нет единого способа писать такую документацию, что вызывает путаницу. Авторы кода не всегда знают, как правильно описать свои намерения, а другие разработчики, читающие код — как понять эти описания.

Чтобы решить эту проблему и улучшить качество документации, новый стандарт предлагает единый способ её написания. Создание стандарта для всех возможных случаев — сложная задача, поэтому начать предлагается с малого. Лоссин надеется, что его инициатива вызовет больше обсуждений и поможет найти лучший способ документирования кода в ядре.

Первая версия стандарта безопасности включает обзор, примеры кода, требования безопасности, обоснования и другие элементы, которые будут дополняться в будущем. Желающие узнать больше о новом стандарте могут ознакомиться с предложенными изменениями и предварительной документацией.