Издание на Rust 1.95. Добавяне на Rust към дисплейния сървър Mir. Анализатор на трафик AyaFlow в Rust.

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

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

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

Основни иновации:

• Добавен е макросът "cfg_select!", който може да се използва вместо пакета "cfg-if" за обработка на множество условия за компилация в стила на блок "match", без да се дефинира верига от условни изрази с конструкцията "#[cfg]". cfg_select! { unix => { fn foo() { /* unix */ } } target_pointer_width = "32" => { fn foo() { /* не-unix, 32-битова */ } } _ => { fn foo() { /* не е unix и не е 32-битова */ } } }
• Възможността за задаване на изрази "if let" в блокове "match" за създаване на условно съпоставяне на шаблони е стабилизирана. Преди това поддръжката за задаване на множество изрази "let" с помощта на оператора "&&" беше стабилизирана за блокове "if" и "while". match value { Some(x) if let Ok(y) = compute(x) => { println!("{}, {}", x, y); } _ => {} }
• Стабилизирана поддръжка на вграден асемблер за архитектури PowerPC и PowerPC64.
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • MaybeUninit<[T; N]>: От<[MaybeUninit Н]>
  • Може биUninit<[T; N]>: AsRef<[Може биUninit Н]>
  • Може биUninit<[T; N]>: AsRef<[Може биUninit ]>
  • Може биUninit<[T; N]>: AsMut<[Може биUninit Н]>
  • Може биUninit<[T; N]>: AsMut<[Може биUninit ]>
  • [Може биUninit ; N]: От
  • Клетка<[T; N]>: AsRef<[Клетка Н]>
  • Клетка<[T; N]>: AsRef<[Клетка ]>
  • Клетка<[T]>: AsRef<[Клетка ]>
  • bool: TryFrom<{цяло число}>
  • AtomicPtr::актуализация
  • AtomicPtr::try_update
  • AtomicBool::актуализация
  • AtomicBool::try_update
  • AtomicIn::актуализация
  • AtomicIn::try_update
  • AtomicUn::актуализация
  • AtomicUn::try_update
  • cfg_select!
  • мод ядро::диапазон
  • ядро::диапазон::ВключващДиапазон
  • core::range::RangeInclusiveIter
  • ядро::намек::студен_път
  • <*const T>::as_ref_unchecked
  • <*mut T>::as_ref_unchecked
  • <*mut T>::as_mut_unchecked
  • Vec::push_mut
  • Vec::insert_mut
  • VecDeque::push_front_mut
  • VecDeque::push_back_mut
  • VecDeque::insert_mut
  • Свързан списък::push_front_mut
  • Свързан списък::push_back_mut
  • Оформление::visiaci_ptr
  • Оформление::повторение
  • Оформление::repeat_packed
  • Оформление::extend_packed
• Знакът "const" се използва във функции:
  • fmt::from_fn
  • ControlFlow::is_break
  • ControlFlow::is_continue
• В стабилните версии на инструментариума е премахната поддръжката за предаване на спецификации на целевата платформа на компилатора.
• Целевите платформи powerpc64-unknown-linux-musl, aarch64-apple-tvos, aarch64-apple-tvos-sim, aarch64-apple-watchos, aarch64-apple-watchos-sim, aarch64-apple-visionos и aarch64-apple-visionos-sim са преместени към ниво на поддръжка 2, което включва гаранция за компилация, но не и гаранция за успешно преминаване на тестовия пакет.

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

• Canonical представи дисплейния сървър Mir 2.26, който предоставя набор от библиотеки за създаване на композитни изображения. сървъри Базиран на протокола Wayland и включващ типичната функционалност на мениджърите на прозорци и сървърите за показване, Mir се използва в проекти като мениджъра за композитинг Miracle, уеб киоск обвивката на Ubuntu Frame и потребителската среда Miriway.

  Новата версия е забележителна с добавянето на възможността за разработване на компоненти в Rust. В Rust е внедрена алтернативна подсистема за управление на входа, evdev-rs, и е започнала работа по базиран на Rust фронтенд, wayland-rs, за Wayland. Промените в Mir, които не са свързани с Rust, включват поддръжка за протоколите на Wayland ext_image_copy_capture_v1 и input-triggers.

• Публикувана е първата версия на анализатора на трафик ayaFlow. Той е написан на Rust и използва подсистемата eBPF на ядрото на Linux, за да прихваща мрежови пакети (IPv4/TCP/UDP) и Ethernet рамки с минимално въздействие върху производителността. Поддържа задълбочена проверка на протоколи на приложно ниво (L7), като например извличане на TLS SNI и DNS заявки при анализ на криптиран трафик. Системата поддържа таблица с текущите състояния на връзките във формат DashMap, съхранява история в SQLite и предоставя статистика чрез REST API на Prometheus.
• Реализирана е възможността за създаване на многонишкови приложения на езика Rust, използващи функции std::thread и изпълнявани от страна на графичния процесор.

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