Rust – это язык программирования, известный своей безопасностью и надёжностью. Тем не менее, в нём есть специальное ключевое слово “unsafe”, которое позволяет разработчикам использовать небезопасный код. Порой это бывает необходимо, особенно при работе с ядром Linux. И чтобы упорядочить работу с таким кодом, недавно был предложен новый стандарт документации.
Бенно Лоссин предложил обновление, которое вводит универсальный стандарт безопасности для Rust в ядре Linux. Он объясняет, что небезопасный код в ядре должен иметь документацию, чтобы гарантировать его правильность. Сейчас нет единого способа писать такую документацию, что вызывает путаницу. Авторы кода не всегда знают, как правильно описать свои намерения, а другие разработчики, читающие код – как понять эти описания.
Чтобы решить эту проблему и улучшить качество документации, новый стандарт предлагает единый способ её написания. Создание стандарта для всех возможных случаев – сложная задача, поэтому начать предлагается с малого. Лоссин надеется, что его инициатива вызовет больше обсуждений и поможет найти лучший способ документирования кода в ядре.
Первая версия стандарта безопасности включает обзор, примеры кода, требования безопасности, обоснования и другие элементы, которые будут дополняться в будущем. Желающие узнать больше о новом стандарте могут ознакомиться с предложенными изменениями и предварительной документацией.