Издаване на език за програмиране Rust 1.64

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

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

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

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

• Повишени са изискванията към Linux средата в компилатора, Cargo пакет мениджъра и стандартната библиотека libstd - минималните изисквания за Glibc са повишени от версия 2.11 на 2.17, а ядрото на Linux от версия 2.6.32 на 3.2. Ограниченията важат и за изпълнимите файлове на приложението Rust, изградени с libstd. Комплектите за разпространение RHEL 7, SLES 12-SP5, Debian 8 и Ubuntu 14.04 отговарят на новите изисквания. Поддръжката за RHEL 6, SLES 11-SP4, Debian 7 и Ubuntu 12.04 ще бъде прекратена. Потребителите, които използват изпълними файлове, изградени от Rust, в среди с по-старо ядро ​​на Linux се насърчават да надстроят своите системи, да останат на по-стари версии на компилатора или да поддържат свой собствен libstd fork със слоеве, за да поддържат съвместимост.

  Сред причините за прекратяване на поддръжката за по-стари Linux системи са ограничените ресурси за продължаване на поддържането на съвместимост с по-стари среди. Поддръжката за наследен Glibc изисква използването на наследени инструменти при проверка в система за непрекъсната интеграция, в лицето на нарастващите изисквания за версия в LLVM и помощните програми за кръстосано компилиране. Увеличаването на изискванията за версия на ядрото се дължи на възможността да се използват нови системни извиквания в libstd, без да е необходимо да се поддържат слоеве, за да се осигури съвместимост с по-стари ядра.

• Характеристиката IntoFuture е стабилизирана, която прилича на IntoIterator, но се различава от последния, като използва цикли „.await“ вместо „for ... in ...“. Когато се комбинира с IntoFuture, ключовата дума ".await" може да очаква не само характеристика Future, но и всякакви други типове, които могат да бъдат преобразувани в Future.
• Помощната програма за анализ на ръжда е включена в колекцията от помощни програми, предоставени с изданията на Rust. Помощната програма също е достъпна за инсталиране с помощта на rustup (компонент rustup добавя анализатор на ръжда).
• Мениджърът на пакети Cargo включва наследяване на работното пространство, за да елиминира дублирането на общи стойности на полета между пакетите, като версии на Rust и URL адреси на хранилища. Също така е добавена поддръжка за изграждане за няколко целеви платформи наведнъж (вече можете да посочите повече от един параметър в опцията „--target“).
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • бъдеще :: IntoFuture
  • num::NonZero*::checked_mul
  • num::NonZero*::checked_pow
  • num::NonZero*::saturating_mul
  • num::NonZero*::saturating_pow
  • num::NonZeroI*::abs
  • num::NonZeroI*::checked_abs
  • num::NonZeroI*::overflowing_abs
  • num::NonZeroI*::saturating_abs
  • num::NonZeroI*::unsigned_abs
  • num::NonZeroI*::wrapping_abs
  • num::NonZeroU*::checked_add
  • num::NonZeroU*::checked_next_power_of_two
  • num::NonZeroU*::saturating_add
  • os::unix::process::CommandExt::process_group
  • os::windows::fs::FileTypeExt::is_symlink_dir
  • os::windows::fs::FileTypeExt::is_symlink_file
• C-съвместими типове, стабилизирани преди това в модула std::ffi, са добавени към ядрото и библиотеката alloc:
  • ядро::ffi::CStr
  • core::ffi::FromBytesWithNulError
  • alloc::ffi::CString
  • alloc::ffi::FromVecWithNulError
  • alloc::ffi::IntoStringError
  • alloc::ffi::NulError
• Типовете C, стабилизирани преди това в модула std::os::raw, са добавени към модулите core::ffi и std::ffi (например типове c_uint и c_ulong са предложени за типовете uint и ulong C):
  • ffi::c_char
  • ffi::c_double
  • ffi::c_float
  • ffi::c_int
  • ffi::c_long
  • ffi::c_longlong
  • ffi::c_schar
  • ffi::c_short
  • ffi::c_uchar
  • ffi::c_uint
  • ffi::c_ulong
  • ffi::c_ulonglong
  • ffi::c_ushort
• Манипулаторите на ниско ниво са стабилизирани за използване с механизма за анкета (в бъдеще се планира да се предостави опростен API, който не изисква използването на структури на ниско ниво като Pull и Pin):
  • бъдеще :: poll_fn
  • задача::готово!
• Атрибутът “const”, който определя възможността за използването му във всеки контекст вместо константи, се използва във функцията slice::from_raw_parts.
• С цел по-компактно съхраняване на данни, оформлението на паметта на структурите Ipv4Addr, Ipv6Addr, SocketAddrV4 и SocketAddrV6 е променено. Възможно е да има проблем със съвместимостта с пакети с единични щайги, които използват std::mem::transmute за манипулиране на структури на ниско ниво.
• Изграждането на rust компилатора за платформата Windows използва PGO оптимизации (профилно ръководена оптимизация), което направи възможно увеличаването на производителността на компилация на код с 10-20%.
• Компилаторът е внедрил ново предупреждение за неизползвани полета в определени структури.

Освен това можете да отбележите доклада за състоянието на разработването на алтернативна реализация на езиковия компилатор Rust, изготвен от проекта gccrs (GCC Rust) и одобрен за включване в GCC. След интегриране на интерфейса, стандартните инструменти на GCC могат да се използват за компилиране на програми на езика Rust, без да е необходимо да инсталирате rustc компилатора, създаден с помощта на разработки на LLVM. Докато развитието върви по план и с изключение на непредвидени проблеми, интерфейсът на Rust ще бъде интегриран в изданието GCC 13, планирано за май следващата година. Внедряването на GCC 13 на Rust ще бъде в бета състояние, все още не е активирано по подразбиране.

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