Издаване на езика за програмиране Rust 1.59 с поддръжка за вмъквания на асемблиране

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

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

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

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

• Възможно е да се използват вложки на асемблерен език, които са търсени в приложения, които трябва да контролират изпълнението на ниско ниво или да могат да използват специализирани машинни инструкции. Монтажните вложки се добавят с помощта на макроси "asm!" и "global_asm!" използване на синтаксис за форматиране на низове за именуване на регистри, подобен на този, използван за замествания на низове в Rust. Компилаторът поддържа инструкции за асемблиране за x86, x86-64, ARM, AArch64 и RISC-V архитектури. Пример за вмъкване: използвайте std::arch::asm; // Умножете x по 6, като използвате shifts и добавяне let mut x: u64 = 4; unsafe { asm!( "mov {tmp}, {x}", "shl {tmp}, 1", "shl {x}, 2", "добавете {x}, {tmp}", x = inout(рег. ) x, tmp = out(reg) _, ); } assert_eq!(x, 4 * 6);
• Добавена е поддръжка за деструктурирани (паралелни) присвоявания, при които няколко черти, срезове или структури са посочени от лявата страна на израза. Например: нека (a, b, c, d, e); (a, b) = (1, 2); [c, .., d, _] = [1, 2, 3, 4, 5]; Структура { e, .. } = Структура { e: 5, f: 3 }; assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
• Възможно е да се зададат стойности по подразбиране за const генерични: struct ArrayStorage { arr: [T; N], } impl ArrayStorage { fn new(a: T, b: T) -> ArrayStorage { ArrayStorage { arr: [a, b], } } }
• Мениджърът на пакети Cargo предоставя предупреждения за използването на невалидни структури в зависимости, които се обработват поради грешки в компилатора (например, поради грешка, полета на опаковани структури бяха разрешени да бъдат заети в безопасни блокове). Такива конструкции вече няма да се поддържат в бъдеща версия на Rust.
• Cargo и rustc имат вградена възможност за генериране на изпълними файлове без данни за отстраняване на грешки (strip = "debuginfo") и символи (strip = "symbols"), без да е необходимо да извиквате отделна помощна програма. Настройката за почистване се изпълнява чрез параметъра „strip“ в Cargo.toml: [profile.release] strip = „debuginfo“, „symbols“
• Инкременталното компилиране е деактивирано по подразбиране. Твърди се, че причината е временно решение за грешка в компилатора, която води до сривове и грешки при десериализация. Корекция на грешки вече е подготвена и ще бъде включена в следващото издание. За да върнете инкрементална компилация, можете да използвате променливата на средата RUSTC_FORCE_INCREMENTAL=1.
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • std::thread::available_parallelism
  • Резултат::копиран
  • Резултат::клониран
  • arch::asm!
  • arch::global_asm!
  • ops::ControlFlow::is_break
  • ops::ControlFlow::is_continue
  • Опитайте от за u8
  • char::TryFromCharError (Clone, Debug, Display, PartialEq, Copy, Eq, Error)
  • iter::zip
  • NonZeroU8::is_power_of_two
  • NonZeroU16::is_power_of_two
  • NonZeroU32::is_power_of_two
  • NonZeroU64::is_power_of_two
  • NonZeroU128::is_power_of_two
  • DoubleEndedIterator за ToLowercase структура
  • DoubleEndedIterator за ToUppercase структура
  • TryFrom за [T; Н]
  • UnwindSafe за структурата Once
  • RefUnwindSafe за веднъж
  • armv8 neon поддържа функции, вградени в компилатора за aarch64
• Атрибутът "const", който определя възможността за използването му във всеки контекст вместо константи, се използва във функции:
  • mem::MaybeUninit::as_ptr
  • mem::MaybeUninit::assume_init
  • mem::MaybeUninit::assume_init_ref
  • ffi::CStr::from_bytes_with_nul_unchecked

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