Pumed argraffiad o glytiau ar gyfer y cnewyllyn Linux gyda chefnogaeth i'r iaith Rust

Мигель Охеда (Miguel Ojeda), автор проекта Rust-for-Linux, предложил для рассмотрения разработчиками ядра Linux пятый вариант компонентов для разработки драйверов устройств на языке Rust. Поддержка Rust рассматривается как экспериментальная, но уже включена в ветку linux-next и достаточно развита для начала работы по созданию слоёв абстракции над подсистемами ядра, а также для написания драйверов и модулей. Разработка финансируется компанией Google и организацией ISRG (Internet Security Research Group), которая является учредителем проекта Let’s Encrypt и способствует продвижению HTTPS и развитию технологий для повышения защищённости интернета.

Dwyn i gof bod y newidiadau arfaethedig yn ei gwneud hi'n bosibl defnyddio Rust fel ail iaith ar gyfer datblygu gyrwyr a modiwlau cnewyllyn. Cyflwynir cefnogaeth rust fel opsiwn nad yw'n cael ei alluogi yn ddiofyn ac nad yw'n arwain at gynnwys Rust ymhlith y dibyniaethau adeiladu gofynnol ar gyfer y cnewyllyn. Bydd defnyddio Rust i ddatblygu gyrwyr yn caniatáu ichi greu gyrwyr mwy diogel a gwell heb fawr o ymdrech, yn rhydd o broblemau fel cyrchu man cof ar ôl iddo gael ei ryddhau, dadgyfeirio awgrymiadau nwl, a gor-redeg byffer.

Darperir diogelwch cof yn Rust ar amser llunio trwy wirio cyfeiriadau, cadw golwg ar berchnogaeth gwrthrych ac oes gwrthrych (cwmpas), yn ogystal â thrwy werthuso cywirdeb mynediad cof wrth weithredu cod. Mae Rust hefyd yn darparu amddiffyniad rhag gorlifiadau cyfanrif, yn gofyn am ymgychwyn gorfodol o werthoedd amrywiol cyn ei ddefnyddio, yn trin gwallau yn well yn y llyfrgell safonol, yn cymhwyso'r cysyniad o gyfeiriadau a newidynnau digyfnewid yn ddiofyn, yn cynnig teipio statig cryf i leihau gwallau rhesymegol.

В новом варианте патчей продолжено устранение замечаний, высказанных в процессе обсуждения первой, второй, третьей и четвёртой редакций патчей. В новой версии:

• В систему непрерывной интеграции на базе поддерживаемого компанией Intel бота 0DAY/LKP добавлена проверка компонентов для поддержки Rust и началась публикация отчётов о тестировании. Готовится интеграция поддержки Rust в систему автоматизированного тестирования KernelCI. Тестирование на базе GitHub CI переведено на использование контейнеров.
• Модули ядра на Rust избавлены от необходимости определения crate-атрибутов «#![no_std]» и «#![feature(…)]».
• Добавлена поддержка единичных сборочных целей (.o, .s, .ll и .i).
• В рекомендациях по оформлению кода определены правила в отношении разделения комментариев («//») и документирования кода («///»).
• Переработан скрипт is_rust_module.sh.
• Добавлена поддержка статических (глобальных общих переменных) примитивов синхронизации, основанных на реализации «CONFIG_CONSTRUCTORS».
• Упрощено управление блокировками: Guard и GuardMut объединены и один параметризованный тип.
• Предоставлена возможность определения дополнительных параметров при регистрации устройств.
• Добавлена абстракция «RwSemaphore», выступающая в роли обвязки над Си-структурой rw_semaphore.
• Для использования mmap добавлен новый модуль mm и абстракция VMA (обвязка над структурой vm_area_struct).
• Драйвер GPIO PL061 переведён на использование макроса «dev_*!».
• Cafodd y cod ei lanhau'n gyffredinol.

Ffynhonnell: opennet.ru