Релиз на 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<const LEN: usize>() -> [bool; LEN] { [false; _] }
• Добавено е ново lint предупреждение «mismatched_lifetime_syntaxes» за решаване на проблема с неочевидното определяне на времето на живот в сигнатурите на функциите при употреба на механизма «lifetime elision» (автоматично определя времето на живот на връзките, позволявайки да се мине без ръчно указване). Предупреждението извършва проверка дали входните и изходните параметри на функцията принадлежат на една и съща група типове. Групите се формират въз основа на поддръжката на явно задаване на времето на живот и възможността за автоматично извеждане на времето на живот от компилатора (например, в типовете «&’a T» и «ContainsLifetime<‘a>» може явно да присъства време на живот, но компилаторът не може автоматично да определи времето на живот, докато в типовете «&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 в экспортируемых Си-функциях (extern «C») допускается, для которых ранее высказывалось предупреждение компилятора «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-пакетов в репозитории main имеют сборочные зависимости по крайней мере с одним пакетом «librust-*». В Debian 12 таких пакетов было 4.5%. Также отмечено, что более 3 тысяч пакетов содержат код на языке Rust, вынесенный в пакеты librust-..-dev, а 150 src-пакетов поставляют скомпилированные исполняемые файлы или библиотеки Rust.

  Среди пакетов, представляющих интерес для Debian, упомянуты sudo-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 от компания Collabora публикува статия за устройства, работещи на ядрото на драйверите за GPU, както и принципите за разработка на такива драйвери на езика Rust.
• Демонстрирано е универсално приложение на езика Rust, което може да работи както на CPU, така и на различни платформи GPU: CUDA за NVIDIA, SPIR-V за GPU, поддържащи Vulkan, Metal за Apple, DirectX 12 за Windows, WebGPU за браузъри.

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