Версия на Rust 1.79. Създаден е консорциум за разработка на високо надеждни системи на Rust

Опубликован релиз языка программирования общего назначения Rust 1.79, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки).

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

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

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

• Добавлена поддержка inline-констант, которые можно указывать прямо в коде при помощи блоков «const { … }», обрабатываемых в контексте констант и позволяющих обойтись без отдельного определения констант. Указанный в блоке «const { … }» код вычисляется на этапе компиляции и используется как константа, без выполнения во время работы программы. В отличие от определения констант через выражение «const ITEM: … = …» в блоках «const { … }» можно не указывать тип, так как в них поддерживается автоматический вывод типов. Например, код с отдельным определением константы

  const EMPTY: Option<Vec<u8>> = None;
  let foo = [EMPTY; 100];

  можно заменить на использование по месту:

  let foo = [const { None }; 100];

• Стабилизирован синтаксис «T: Trait<Assoc: Bounds…>» для задания ограничений в позиции ассоциативного типа, позволяющий сократить определение выражений с вложенными ограничениями типа, которые ранее требовали указания вложенного impl Trait или нескольких условий «where».
• Обеспечено автоматическое продление времени жизни временных значений, которые используются в конструкциях «match» и «if».

  let a = if true {
  ..;
  &temp() // время жизни будет продлено
  } else {
  ..;
  &temp() // время жизни будет продлено
  };

• Стабилизирована возможность импорта функции main из других модулей и crate-пакетов.
• При сборке стандартной библиотеки в компиляторе задействован флаг «-Cforce-frame-pointers=yes», добавляющий данные для реконструкции стека во время профилирования программ.
• В категорията стабилни е преведена нова порция API, като са стабилизирани методите и реализациите на типажите:
  • {integer}::unchecked_add
  • {integer}::unchecked_mul
  • {integer}::unchecked_sub
  • <[T]>::split_at_unchecked
  • <[T]>::split_at_mut_unchecked
  • <[u8]>::utf8_chunks
  • str::Utf8Chunks
  • str::Utf8Chunk
  • <*const T>::is_aligned
  • <*mut T>::is_aligned
  • NonNull::is_aligned
  • <*const [T]>::len
  • <*mut [T]>::len
  • <*const [T]>::is_empty
  • <*mut [T]>::is_empty
  • NonNull::<[T]>::is_empty
  • CStr::count_bytes
  • io::Error::downcast
  • num::NonZero<T>
  • path::absolute
  • proc_macro::Literal::byte_character
  • proc_macro::Literal::c_string
• Признак «const», определящ какво може да се използва в какъвто и да е контекст вместо константи, е приложен във функциите:
  • Atomic*::into_inner
  • io::Cursor::new
  • io::Cursor::get_ref
  • io::Cursor::position
  • io::empty
  • io::repeat
  • io::sink
  • panic::Location::caller
  • panic::Location::file
  • panic::Location::line
  • panic::Location::column
• Стабилизирована
  часть возможностей, которые можно использовать при компиляции в промежуточное представление Webassembly (WASM).
• Реализован третий уровень поддержки для платформ aarch64-apple-visionos, aarch64-apple-visionos-sim и riscv32ima-unknown-none-elf. Третий уровень подразумевает базовую поддержку, но без автоматизированного тестирования, публикации официальных сборок и проверки возможности сборки кода.
• Реализован второй уровень поддержки целевых платформ aarch64-pc-windows-gnullvm, i686-pc-windows-gnullvm и x86_64-pc-windows-gnullvm. Второй уровень поддержки подразумевает гарантию сборки.

Кроме того, организация Rust Foundation, которая курирует связанную с языком Rust экосистему, объявила о создании консорциума «Safety-Critical Rust Consortium», нацеленного на использовании языка Rust в решениях, требующих повышенной надёжности (Safety-Critical Software), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования. К консорциуму присоединились компании ARM, AdaCore, Ferrous Systems, OxidOS, Synopsys, HighTec EDV-Systeme GmbH, TrustInSoft, Veecle и Woven by Toyota. Среди задач, которые будет решать консорциум упоминается написание руководств и разработка библиотек, линтеров и статических анализаторов, а также применение методов формальной верификации надёжности и разработка подмножеств языка для высоконадёжных систем.

Из проектов, связанных с высоконадёжными системами, можно отметить Verus — инструментарий для проверки корректности кода, написанного на языке Rust. Проверка осуществляется путём определения спецификации, описывающей допустимое поведение кода. Во время выполнения исполняемого кода Verus проверяет соответствие спецификации для подтверждения корректности работы.

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