Пускането на Rust 1.90. Инструментариум за създаване на Windows драйвери на Rust.

Публикувано е изданието на програмен език Rust 1.90, който е основан от проекта Mozilla, но в момента се развива под патронажа на независима неправителствена организация Rust Foundation. Езикът е фокусиран върху безопасната работа с паметта и предоставя средства за постигане на висок паралелизъм при изпълнението на задачи, без да използва garbage collector и runtime (runtime се свежда до основно инициализиране и поддържане на стандартната библиотека).

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

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

Основни нововъведения:

• В Linux на компютри с архитектура x86_64 за динамична свързаност на crate-пакети по подразбиране се използва компилаторът LLD от проекта LLVM. Използването на LLD в сравнение с компилатора BFD доведе до повишаване на производителността при свързването на големи изпълними файлове и проекти с обширна отладъчна информация, както и до ускоряване на инкременталната повторна компилация. В повечето случаи LLD е обратно съвместим с BFD. В случай на проблеми можете да се върнете към BFD, като зададете в променливата на средата RUSTFLAGS флага «-C linker-features=-lld» или добавите в конфигурационния файл .cargo/config.toml: [target.x86_64-unknown-linux-gnu] rustflags = [«-Clinker-features=-lld»]
• В пакетния мениджър cargo в командата «publish» е реализирана опция «—workspace», позволяваща автоматично да се публикуват всички пакети от избраното работно пространство (набор от пакети, който използва един файл Cargo.lock и общ каталог за резултатите от компилацията), като се запазва реда на пакетите и се вземат предвид зависимостите между тях.
• В категорията стабилни е преведена нова порция API, като са стабилизирани методите и реализациите на типажите:
  • u{n}::checked_sub_signed
  • u{n}::overflowing_sub_signed
  • u{n}::saturating_sub_signed
  • u{n}::wrapping_sub_signed
  • impl Copy for IntErrorKind
  • impl Hash for IntErrorKind
  • impl PartialEq<&CStr> for CStr
  • impl PartialEq<CString> for CStr
  • impl PartialEq<Cow<CStr>> for CStr
  • impl PartialEq<&CStr> for CString
  • impl PartialEq<CStr> for CString
  • impl PartialEq<Cow<CStr>> for CString
  • impl PartialEq<&CStr> for Cow
  • impl PartialEq<CStr> for Cow
  • impl PartialEq<CString> for Cow
• Признак «const» е приложен в функциите:
  • <[T]>::reverse
  • f32::floor
  • f32::ceil
  • f32::trunc
  • f32::fract
  • f32::round
  • f32::round_ties_even
  • f64::floor
  • f64::ceil
  • f64::trunc
  • f64::fract
  • f64::round
  • f64::round_ties_even
• За целевите платформи, базирани на библиотеката Musl, които са на третото ниво на поддръжка, динамичната свързаност е включена по подразбиране: mips64-unknown-linux-muslabi64, powerpc64-unknown-linux-musl, powerpc-unknown-linux-musl, powerpc-unknown-linux-muslspe, riscv32gc-unknown-linux-musl, s390x-unknown-linux-musl и thumbv7neon-unknown-linux-musleabihf.
• Целевата платформа «x86_64-apple-darwin» е преместена от първо ниво на поддръжка на второ (Apple планира да спре поддръжката на архитектурата x86_64). Първото ниво на поддръжка обозначава изграждане на бинарни сборки, извършване на детайлно тестване и предоставяне на най-висока гаранция за поддръжка на платформата — всяка промяна в компилатора се проверява чрез изпълнение на пълен набор от тестове. Второто ниво на поддръжка осигурява гаранция за изграждане, но без гаранции при преминаването на тестовия набор.

Допълнително може да се отбележи развитието на инструменти от компанията Microsoft за разработка на Windows-драйвери на езика Rust. В GitHub вече е публикуван набор от crate-пакети за създаване на драйвери, базирани на WDM (Windows Driver Kit), KMDF (Kernel-Mode Driver Framework) и UMDF (User-Mode Driver Framework), а също и услуги Win32, подходящи за използване в Windows 11. Целта на проекта е да предостави на разработчиците на Rust библиотеки и функции, аналогични на тези, предлагани в инструментария WDK за разработчици на драйвери на езика C. В момента инструмента за разработка на драйвери на Rust използва голям брой unsafe-викпове при взаимодействие с подсистемите на Windows, но в бъдеще се планира да бъдат подготвени безопасни абстракции за структури на ядрото и DDI (Device Driver Interface). Разработките на проекта се разпространяват под лицензиите MIT и Apache 2.0.

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