🥇Издание Rust 1.92. Rust проекти за GUI, sandbox изолация и създаване на фърмуер

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

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

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

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

Стабилизацията на типа «never», обозначаван с символа «!», продължава. Той определя изчисления, които никога не връщат стойности (например функцията «exits», макроса «panic!» и безкрайните цикли никога не връщат управлението). В новата версия Lint проверките «never_type_fallback_flowing_into_unsafe» и «dependency_on_unit_never_type_fallback» по подразбиране са превключени от извеждане на предупреждения на генериране на компилационни грешки. Тези проверки сработват при наличие на проблеми в кода, свързани с употребата на типа «never».
По предварителна оценка подобни проблеми съществуват в около 500 crate пакета. Включването на lint проверки ще помогне за подготовката за стабилизацията на типа «never», който в момента се счита за експерименталната възможност. Lint проверките сработват само при пряка компилация на пакети и не се проявяват при компилация на зависимости. Проверките също могат да бъдат деактивирани чрез атрибут «#[allow]».
Променено е поведението на lint проверката «unused_must_use», която сработва при игнориране на връщаната стойност от функция, ако функцията или връщаният тип са маркирани с атрибут «#[must_use]». В новата версия е прекратено извеждането на предупреждения при игнориране на връщаните стойности с типовете Result и ControlFlow, в които състоянието на грешка се определя от типа без стойности («!» или «Infallible»). Например, «fn can_never_fail() -> Result {…}».
Променено е поведението на флага «-Cpanic=abort», при указване на който е включена генерирането по подразбиране на unwind таблици за изпълнение на обратна трасировка (backtrace). За възстановяване на старото поведение е предвидена опцията «-Cforce-unwind-tables=no».
Засилена е проверката на аргументите на атрибута «#[macro_export]». При указване на недопустими атрибути сега ще се извежда грешка, а не предупреждение. Проблемите с «#[macro_export]» ще бъдат проверявани не само при пряка компилация на crate пакет, но и при компилация на зависимости.
В safe-кода е разрешено получаването на raw указатели («&raw [mut | const]») на полета в union типове.
За целевата платформа mips64el-unknown-linux-muslabi64 е реализирана поддръжка за динамично свързване.
Минимално поддържаната версия на външния инструментариум LLVM е повишена до версия LLVM 20.
В категорията стабилни е преведена нова порция API, като са стабилизирани методите и реализациите на типажите:
- NonZero::div_ceil
Признак «const» е приложен в функциите:
- ::rotate_left
- ::rotate_right
В пакетния мениджър Cargo е осигурено повторно изпълнение на операцията «git fetch» в случай на провал на първото запитване. Добавени са компоненти за интеграция с терминален емулатор Ghostty. В ръководството е добавена нова глава за оптимизация на процеса на компилация.

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

Компанията Ferrocene обяви, че е преминала сертификация IEC 61508 (SIL 2) за библиотеката libcore, включваща подмножество от извикванията на стандартната основна библиотека на Rust. Сертификацията потвърдява, че библиотеката отговаря на изискванията за критично важни индустриални системи. Ferrocene е известна с разработването на инструменти за разработка на приложения на Rust за критично важни системи (Safety-Critical Systems) и с поддържането на спецификацията FLS (Ferrocene Language Specification), на базата на която се развива еталонната спецификация на Rust.

Публикувана е версия 0.14 на библиотеката Iced за създаване на графични потребителски интерфейси, използваща реактивен програмистки модел. В Iced е реализирана архитектура, позната на разработчиците, запознати с декларативния интерфейс на Elm. Предлага се готов комплект от уиджети с възможност за създаване на асинхронни обработчици и прилагане на адаптивна компоновка на елементите на интерфейса в зависимост от размера на прозореца и екрана. Предоставят се няколко двигателя за рендериране, които поддържат Vulkan, Metal и DX12. Сред големите проекти, използващи Iced, е работната среда COSMIC.

В новата версия са добавени виджетите «table», «grid», «sensor», «float» и «pin», а също така са разширени възможностите на виджета за работа с Markdown разметка. Реализирани са: режим на реактивно рисуване; появяващи се при необходимост ленти за превъртане; API за работа с анимация; поддръжка на входни методи; headless режим; възможност за извършване на промени без спиране на приложението (hot reloading); паралелизация на декодирането на изображения; инструменти за отстраняване на грешки и профилиране на производителността.

Проектът Ribir развива библиотека за създаване на многоплатформени приложения с графичен интерфейс, позволяваща използването на обща кодова база за формирование на графични приложения за различни платформи (Linux, Windows, macOS, с планове за Android и iOS). Достъпен е декларативен език за изграждане на интерфейса, основаващ се на Rust макроси, над 20 виджета, теми за оформление, рендер на база wgpu.

Представен е инструментът Island, предназначен за изолирано стартиране на приложения. За sandbox изолация е използван механизмът Landlock. Island позволява създаването на правила в TOML формат и прилагането им за изолация на съществуващи изпълними файлове с помощта на Landlock, без нужда от модификации в кода. За разлика от Firejail, инструментът Island не изисква права на root и специални привилегии.

Компанията Google представи инструмента Wasefire, написан на Rust, за разработка на защитени фърмуери. Основната идея е да се стартират в средата на базовата фърмуера (платформа) отделни изолирани обработчици (аплета). Разработката на фърмуера не е обвързана с програмни езици — компонентите на фърмуера могат да се предоставят под формата на WebAssembly с разширения WASI (WebAssembly System Interface) и да се изпълняват с помощта на Wasmtime.

Публикувана е версията на UEFI фърмуера Patina 18, написана на Rust. Patina предлага замяна на основните компоненти на UEFI фърмуера и може да се използва за постепенен преход на съществуващите фърмуери, написани на C, към използването на Rust.

Проектът Brimstone развива нов JavaScript двигател, написан от нулата на езика Rust. В настоящия си вид вече поддържа над 97% от възможностите на ECMAScript 2026. Виртуалната машина за изпълнение на байткод е създадена с оглед на архитектурата на двигателя V8.

Проект Catten развива ядро за експерименталната операционна система CharlotteOS, написана на Rust. Ядрото поддържа управление на достъпа на база на 'capability' (по подобие на Fuchsia) и използва разпределена йерархия на ресурсите, подобна на Plan 9, с адресация на файлови пътища чрез URI.

Публикувана е версия 4.2.0 на интерактивната командна обвивка Fish (friendly interactive shell). Клонът 4.x е забележителен с напълния превод на кодовата база от C++ на Rust.

Компанията Cloudflare разкри кода на Rust библиотеката tokio-quiche, за вграждане на поддръжка за протоколите QUIC и HTTP/3 в асинхронно работещи приложения на базата на фреймворка Tokio.

Проектът Tor публикува версии Arti 1.7 и 1.8, реализации на инструмента Tor, написан на Rust. Когато кодът на Arti достигне ниво, способно напълно да замени версията на C, разработчиците на Tor възнамеряват да дадат на Arti статус на основна реализация на Tor и постепенно да прекратят поддръжката на C версията.

В новата версия е стабилизирана реализацията на ограничени onion услуги с използване на клиентска авторизация ('restricted-discovery'). В допълнение към SOCKS прокси е добавена поддръжка за HTTP прокси, използващ метода CONNECT. Реализирано е адаптивно управление на таймаутите залежно от натоварването. Добавена е експериментална поддръжка за tokio-console. Продължава развитието на функционалността за релеевите и сървъри директории (Directory Authority). Добавена е команда 'arti hsc ctor-migrate' за прехвърляне на ключове от C клиента в хранилището на ключове Arti. Добавени са настройки за управление на стартирането на onion услуги.

Публикувана е СУБД RustDB, разработена на Rust под влиянието на PostgreSQL. Поддържат се основни SQL операции (CREATE/DROP TABLE/VIEW, INSERT, SELECT, UPDATE, DELETE, SHOW TABLES, EXPLAIN, VACUUM), транзакции, MVCC, WAL (Write-Ahead Log), индекси, свързване чрез PostgreSQL съвместим протокол. При разработката на RustDB е използван AI.

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

Издание на Rust 1.92. Rust проекти за GUI, sandbox изолация и създаване на фърмуер