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

Обявен е релиз на програмния език Rust 1.92, който беше разработван от проекта Mozilla, а в момента се развива под шапката на независима неправителствена организация Rust Foundation. Язикът е фокусиран върху безопасното управление на паметта и предоставя средства за постигане на висока степен на паралелно изпълнение на задачи, без да се използва сборщик на боклук и 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 е известна със създаването на инструменти за разработка на приложения за критично важни системи (Safety-Critical Systems) на Rust, както и поддържането на спецификацията FLS (Ferrocene Language Specification), на базата на която се развива еталонната спецификация на Rust.

Публикувана е версия 0.14 на библиотеката Iced за създаване на графични потребителски интерфейси с използване на модела на реактивно програмиране. В Iced е реализирана архитектура, позната на разработчиците, запознати с езика за декларативно изграждане на интерфейси Elm. Предлага се готов набор от widgets с възможност за създаване на асинхронни обработващи функции и прилагане на адаптивно подреждане на елементите на интерфейса в зависимост от размера на прозореца и екрана. Предоставят се няколко двигателя за рендериране, поддържащи 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.

Издаден е интерактивният команден интерпретатор Fish 4.2.0 (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, изолиране на пясъчна среда и създаване на фърмуер