Издаване на 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» за обработване на множество условия за компилация в стил блок «match», без да е необходимо определяне на верига от условни изрази с конструкция «#[cfg]». cfg_select! { unix => { fn foo() { \/ * unix *\/ } } target_pointer_width = «32» => { fn foo() { \/ * не-unix, 32-бит *\/ } } _ => { fn foo() { \/ * не unix и не 32-бит *\/ } } }
• Стабилизирана е възможността за указване на изрази «if let» в блокове «match» за създаване на условни съвпадения по шаблон. Подкрепата за указване на множество изрази «let» с използване на оператора «&&» вече бeше стабилизирана за блоковете «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