Издание на Rust 1.89. Около 8% от src-пакетите в Debian Sid зависят от Rust

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

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

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

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

• Позволено е използването на символа «_» като аргумент на обобщени параметри с етикет «const», за да се изведат стойностите на тези параметри, основани на контекста. pub fn all_false() -> [bool; LEN] { [false; _] }
• Добавено е ново lint предупреждение «mismatched_lifetime_syntaxes» за решаване на проблема с неочевидното определяне на времето на живот в сигнатурите на функции при използване на механизма «lifetime elision» (автоматично определя времето на живот на указатели, позволявайки да се избегне ръчното посочване). Предупреждението проверява, че входните и изходните параметри на функцията принадлежат към една и съща група типове. Групите се формират въз основа на поддържането на явно задаване на времето на живот и възможността за автоматично извеждане на времето на живот от компилятора (например, в типовете «&’a T» и «ContainsLifetime» може да присъства явно време на живот, но компилаторът не може да определи автоматично времето на живот, а в типовете «&T», «&’_ T» и «ContainsLifetime» се допуска както явно задаване, така и автоматично определяне).
• В атрибута «target_feature» за x86 системи е реализирана възможността за проверка на поддръжката на разширените набори от инструкции sha512, sm3, sm4, kl и widekl, както и отделни функции avx512. #[target_feature(enable = «avx512bw»)] pub fn cool_simd_code(/* .. */) -> /* … */ { /* … */ }
• Осигурен е старта на doctest (тестове, вградени в документацията) не само за текущата целева платформа, но и за други платформи, посочени при стартиране на пакетния менеджер «cargo» («cargo test —doc —target other_target»).
• За функции ‘extern «C»‘ при компилация за целевата платформа «wasm32-unknown-unknown» е реализиран стандартен C ABI за WebAssembly.
• С определени условия, свързани с съвместимостта на типовете, е разрешено използването на типовете i128 и u128 във външни C функции (extern "C"), за които преди това е показано предупреждение при lint "improper_ctypes_definitions".
• Нов набор от API е преведен в категорията стабилни, включително стабилизирани методи и реализации на типажи:
  • Много вградени функции на компилатора (Intrinsics) за процесори x86, включително функции за AVX512, SHA512, SM3 и SM4.
  • NonZero
  • File::lock
  • File::lock_shared
  • File::try_lock
  • File::try_lock_shared
  • File::unlock
  • NonNull::from_ref
  • NonNull::from_mut
  • NonNull::without_provenance
  • NonNull::with_exposed_provenance
  • NonNull::expose_provenance
  • OsString::leak
  • PathBuf::leak
  • Result::flatten
  • std::os::linux::net::TcpStreamExt::quickack
  • std::os::linux::net::TcpStreamExt::set_quickack

  Признак «const» приложен в функциите:

  • ::as_mut_slice
  • ::eq_ignore_ascii_case
  • str::eq_ignore_ascii_case
• Започна процес на миграция на целевата платформа "x86_64-apple-darwin" от първо ниво на поддръжка към второ (Apple планира да прекрати поддръжката на архитектурата x86_64). Първото ниво на поддръжка подразбира генериране на бинарни сборки, задълбочено тестване и предоставяне на най-висока гаранция за поддръжка на платформата — всяка промяна в компилатора се проверява чрез изпълнение на пълен тестов комплект. Второто ниво на поддръжка предполага гаранция за успешно изграждане, но без гаранции при изпълнението на тестовия комплект.
• Осъществи се трето ниво на поддръжка за платформите "loongarch32-unknown-none" и "loongarch32-unknown-none-softfloat". Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални сборки и проверка на възможностите за изграждане на код.

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

• Публикуван е доклад относно състоянието на пакетите на Rust в Debian. Отбелязва се, че в клона Debian Unstable (Sid) около 8% от src-пакетите в основния репозиторий са свързани с зависимостите на поне един пакет "librust-*". В Debian 12 подобни пакети са 4.5%. Също така е отбелязано, че над 3000 пакета включват код на Rust, който е изнесен в пакети librust-..-dev, а 150 src-пакета доставят компилирани изпълними файлове или библиотеки Rust.

  От споменатите пакети с интерес за Debian, споменават seudo-rs, ntpd-rs, uutils, Sequoia, rpgp, hickory (DNS), Rustls, rav1d и fish. Опционалната поддръжка на Rust е внедрена в APT, QEMU (virtiofsd), ядрото на Linux и Mesa, като се очаква и в LibreOffice. За преобразуването на crate-пакетите в src-пакети Debian е разработен инструментариум debcargo.

• Представен е проектът tmux-rs, който развива клон на терминалния мултиплексор tmux (мениджър на конзолни прозорци), пренаписан от Си на Rust.
• Разработчик на драйвера Tyr от компанията Сollabora публикува статия за устройствата, работещи на ниво ядрени драйвери за GPU и принципите на разработка на такива драйвери на езика Rust.
• Демонстрирано универсално приложение на езика Rust, което може да се изпълнява както на CPU, така и на различни платформи GPU: CUDA за NVIDIA, SPIR-V за GPU със поддръжка на Vulkan, Metal за Apple, DirectX 12 за Windows, WebGPU за браузъри.

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