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

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

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

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

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

• Към документацията е добавен отделен раздел, описващ съвместимостта на различни типове аргументи и типове връщани функции на ниво ABI. В сравнение с предишните версии, съвместимостта е гарантирана на ниво ABI на типовете "char" и "u32", които имат идентичен размер и подравняване.
• В допълнение към наличното по-рано повикване "any::type_name::". ()”, който връща описание на низ за типа, посочен в параметъра „T”, е добавена функцията „type_name_of_val(&T)”, която ви позволява да получите информация за типа въз основа на всяка неименувана препратка. fn get_iter() -> impl Итератор { [32, 1, 2].into_iter() } fn main() { let iter = get_iter(); нека iter_name = std::any::type_name_of_val(&iter); нека сума: i3 = iter.sum(); println!("Сумата на `{iter_name}` е {sum}."); } Резултатът е: Сумата от `core::array::iter::IntoIter ` е 32.
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • Arc::unwrap_or_clone
  • Rc::unwrap_or_clone
  • Резултат :: проверка
  • Резултат::inspect_err
  • Опция :: проверка
  • тип_име_на_вал
  • std::hash::{DefaultHasher, RandomState}
  • ptr::{from_ref, from_mut}
  • ptr::addr_eq
• Третото ниво на поддръжка е внедрено за платформите {x86_64,i686}-win7-windows-msvc, aarch64-apple-watchos, arm64e-apple-ios и arm64e-apple-darwin. Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални компилации или проверка дали кодът може да бъде компилиран.

Освен това можем да отбележим демонстрацията на експерименталния планировчик на задачи scx_rustland, написан на езика Rust и изпълнен в потребителско пространство (прехвърлянето на логиката за планиране на задачи от ядрото към потребителското пространство се реализира с помощта на инструментариума sched-ext, използващ BPF). Планировчикът е оптимизиран, за да увеличи приоритета на интерактивните задачи пред задачите, изискващи интензивно използване на процесора. Например, в тест за стартиране на приложение за игри едновременно с изграждането на ядрото, планировчикът scx_rustland ни позволи да постигнем по-висок FPS в играта, отколкото когато използваме стандартния планировчик EEVDF.

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