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

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

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

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

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

• Добавен е макросът «cfg_select!», който може да се използва вместо пакета «cfg-if» за обработка на множество условия за компилация в стил block «match», без да се определя верига от условни изрази с конструкцията «#[cfg]». cfg_select! { unix => { fn foo() { unix * } } target_pointer_width = «32» => { fn foo() { не-unix, 32-bit * } } _ => { fn foo() { не unix и не 32-bit * } } }
• Стабилизирана е възможността за указване на изрази «if let» вътре в блоковете «match» за създаване на условни сопоставяния по шаблон. Преди това поддръжката на указването на множество изрази «let» с използване на оператора «&&» беше стабилизирана за блокове «if» и «while». match value { Some(x) if let Ok(y) = compute(x) => { println!(«{}, {}», x, y); } _ => {} }
• Стабилизирана е поддръжката на inline асемблер за архитектурите PowerPC и PowerPC64.
• Нов набор от API е преведен в категорията стабилни, включително стабилизирани методи и реализации на типажи:
  • MaybeUninit<[T; N]>: From<[MaybeUninit<T>; N]>
  • MaybeUninit<[T; N]>: AsRef<[MaybeUninit<T>; N]>
  • MaybeUninit<[T; N]>: AsRef<[MaybeUninit<T>]>
  • MaybeUninit<[T; N]>: AsMut<[MaybeUninit<T>; N]>
  • MaybeUninit<[T; N]>: AsMut<[MaybeUninit<T>]>
  • [MaybeUninit<T>; N]: From<MaybeUninit<[T; N]>
  • Cell<[T; N]>: AsRef<[Cell<T>; N]>
  • Cell<[T; N]>: AsRef<[Cell<T>]>
  • Cell<[T]>: AsRef<[Cell<T>]>
  • bool: TryFrom<{integer}>
  • AtomicPtr::update
  • AtomicPtr::try_update
  • AtomicBool::update
  • AtomicBool::try_update
  • AtomicIn::update
  • AtomicIn::try_update
  • AtomicUn::update
  • AtomicUn::try_update
  • cfg_select!
  • mod core::range
  • core::range::RangeInclusive
  • core::range::RangeInclusiveIter
  • core::hint::cold_path
  • <*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
  • LinkedList::push_front_mut
  • LinkedList::push_back_mut
  • Layout::dangling_ptr
  • Layout::repeat
  • Layout::repeat_packed
  • Layout::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 са преместени на второ ниво на поддръжка, което предполага гаранция за изграждане, но без гаранции при преминаване на тестов набор.

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

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

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

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

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