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

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

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

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

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

• Добавена е поддръжка за inline-константи, които могат да се задават директно в кода чрез блокове „const { … }“, обработвани в контекста на константи и позволяващи да се мине без отделно определение на константи. Кодът в блока „const { … }“ се изчислява на етапа на компилация и се използва като константа, без да се изпълнява по време на работа на програмата. За разлика от определянето на константи чрез израза „const ITEM: … = …“, в блоковете „const { … }“ не е необходимо да се указва тип, тъй като в тях се поддържа автоматично извеждане на типове. Например, код с отделно определение на константа

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

  може да бъде заменен с употреба на място:

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

• Стабилизирана е синтаксисът „T: Trait“ за задаване на ограничения в позицията на асоциативен тип, позволяваща съкращаване на определението на изрази с вградени ограничения на тип, които преди изискваха указване на вграден 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
  • ::split_at_unchecked
  • ::split_at_mut_unchecked
  • ::utf8_chunks
  • str::Utf8Chunks
  • str::Utf8Chunk
  • ::is_aligned
  • ::is_aligned
  • NonNull::is_aligned
  • ::len
  • ::len
  • ::is_empty
  • ::is_empty
  • NonNull::::is_empty
  • CStr::count_bytes
  • io::Error::downcast
  • num::NonZero
  • 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