Издаване на езика за програмиране Rust 1.74. Одит на RustVMM. Пренаписване на Binder в Rust

Езикът за програмиране с общо предназначение Rust 1.74, основан от проекта Mozilla, но сега разработен под егидата на независимата организация с нестопанска цел Rust Foundation, беше пуснат. Езикът се фокусира върху безопасността на паметта и предоставя средствата за постигане на висок паралелизъм на работата, като същевременно се избягва използването на събирач на отпадъци и време за изпълнение (времето за изпълнение е намалено до основна инициализация и поддръжка на стандартната библиотека).

Методите за обработка на паметта на Rust спасяват разработчика от грешки при манипулиране на указатели и предпазват от проблеми, които възникват поради обработка на паметта на ниско ниво, като достъп до област на паметта, след като тя е била освободена, дерефериране на нулеви указатели, препълване на буфер и т.н. За разпространение на библиотеки, предоставяне на компилации и управление на зависимости, проектът разработва мениджъра на пакети Cargo. Хранилището crates.io се поддържа за хостване на библиотеки.

Безопасността на паметта е осигурена в Rust по време на компилиране чрез проверка на референции, проследяване на собствеността на обекта, проследяване на продължителността на живот на обекта (обхвати) и оценка на коректността на достъпа до паметта по време на изпълнение на кода. Rust също осигурява защита срещу целочислени препълвания, изисква променливите да бъдат инициализирани преди употреба, обработва грешките по-добре в стандартната библиотека, прилага концепцията за неизменни препратки и променливи по подразбиране и предлага силно статично въвеждане за минимизиране на логическите грешки.

Основни иновации:

• Добавена е възможност за конфигуриране на проверки на мъх през файла Cargo.toml с манифеста на мениджъра на пакети. За да се дефинират настройките на lint, като нивото на отговор (забранява, отказва, предупреждава, разрешава), се предлагат нови секции „[lints]“ и „[workspace.lints]“, промените в които се вземат предвид при вземане на решение за възстановяване. Например, вместо да указвате флаговете „-F“, „-D“, „-W“ и „-A“, когато асемблирате или добавяте „#![forbid(unsafe_code)]“ и „#![deny(clippy :” атрибути към кода) :enum_glob_use)]" вече може да се използва в манифеста на Cargo: [lints.rust] unsafe_code = "забрана" [lints.clippy] enum_glob_use = "deny"
• Мениджърът на пакети Crate добави възможност за удостоверяване при свързване към хранилище. Основната дистрибуция включва поддръжка за поставяне на параметри за удостоверяване в хранилища за идентификационни данни на Linux (базирани на libsecret), macOS (Keychain) и Windows (Windows Credential Manager), но първоначално системата беше направена модулна и ви позволява да организирате работа с различни доставчици за съхранение и генериране на токени, например, е подготвен плъгин за използване на мениджъра на пароли 1Password. Удостоверяването може да се изисква от хранилището за всяка операция, а не само за потвърждение, че пакетите са били публикувани. ~/.cargo/config.toml [registry] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• Поддръжката за проекции на тип връщане (impl_trait_projections) е стабилизирана, позволявайки Self и T::Assoc да бъдат споменавани в типове връщане като "async fn" и "->impl Trait". struct Wrapper<'a, T>(&'a T); // Непрозрачни връщани типове, които споменават `Self`: impl Wrapper<'_, ()> { async fn async_fn() -> Self { /* … */ } fn impl_trait() -> impl Iterator { /* … */ } } trait Trait<'a> { type Assoc; fn new() -> Self::Assoc; } impl Trait<'_> for () { type Assoc = (); fn new() {} } // Непрозрачни връщани типове, които споменават асоцииран тип: impl<'a, T: Trait<'a>> Wrapper<'a, T> { async fn mk_assoc() -> T::Assoc { /* … */ } fn a_few_assocs() -> impl Итератор { /* … */ } }
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
• Атрибутът "const", който определя възможността за използването му във всеки контекст вместо константи, се използва във функции:
  • core::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • core::num::Saturating
  • impl От за std::process::Stdio
  • impl От за std::process::Stdio
  • impl От за std::process::Child{Stdin, Stdout, Stderr}
  • impl От за std::process::Child{Stdin, Stdout, Stderr}
  • std::ffi::OsString::from_encoded_bytes_unchecked
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_unchecked
  • std::ffi::OsStr::as_encoded_bytes
  • std::io::Error::other
  • impl TryFrom за u16
  • импл От<&[T; N]>за Vec
  • импл От<&mut [T; N]>за Vec
  • импл От<[T; N]> за Arc<[T]>
  • импл От<[T; N]> за Rc<[T]>
• Компилаторът, инструментариумът, стандартната библиотека и генерираните изпълними файлове на приложението имат повишени изисквания за платформите на Apple, като сега изискват поне macOS 10.12 Sierra, iOS 10 и tvOS 10, издадени през 2016 г., за да работят.
• Третото ниво на поддръжка е внедрено за платформата i686-pc-windows-gnullvm. Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални компилации или проверка дали кодът може да бъде компилиран.
• Внедрено е второто ниво на поддръжка за целевата платформа loongarch64-unknown-none. Второто ниво на поддръжка включва гаранция за монтаж.

Освен това могат да се отбележат две събития, свързани с езика Rust:

• OSTIF (Фонд за подобряване на технологиите с отворен код), създаден за укрепване на сигурността на проекти с отворен код, публикува резултатите от одит на проекта RustVMM, който предоставя компоненти за създаване на специфични за задачите хипервайзори и монитори за виртуални машини (VMM). В разработката на проекта участват компании като Intel, Alibaba, Amazon, Google, Linaro и Red Hat. Intel Cloud Hypervisor и Dragonball хипервайзори се разработват на базата на RustVMM. Одитът потвърди високото качество на кодовата база и използването на техники в архитектурата и изпълнението, насочени към постигане на максимална сигурност. По време на одита са установени 6 проблема, които не са имали пряко въздействие върху безопасността.
• Google представи нова реализация на механизма за междупроцесна комуникация Binder, пренаписан на езика Rust, в пощенския списък за разработчици на ядрото на Linux. Преработката е извършена като част от проект за укрепване на сигурността, насърчаване на техники за безопасно програмиране и повишаване на ефективността при идентифициране на проблеми при работа с памет в Android (около 70% от всички опасни уязвимости, идентифицирани в Android, са причинени от грешки при работа с памет ). Внедряването на Binder в Rust е постигнало паритет във функционалността с оригиналната версия на езика C, преминава всички тестове на AOSP (Android Open-Source Project) и може да се използва за създаване на работещи издания на фърмуера. Производителността на двете реализации е приблизително на същото ниво (отклонения в рамките на -1.96% и +1.38%).

Източник: opennet.ru