Издавање на програмскиот јазик Rust 1.75 и unikernel Hermit 0.6.7

Објавено е објавувањето на програмскиот јазик за општа намена Rust 1.75, основан од проектот Mozilla, но сега развиен под покровителство на независната непрофитна организација Rust Foundation. Јазикот се фокусира на безбедноста на меморијата и обезбедува средства за постигнување на висок паралелизам на работните места, притоа избегнувајќи употреба на собирач на ѓубре и време на работа (времето на работа е сведено на основна иницијализација и одржување на стандардната библиотека).

Методите за ракување со меморијата на Rust го спасуваат развивачот од грешки при манипулирање со покажувачите и го штитат од проблеми што се јавуваат поради ракување со меморијата на ниско ниво, како што се пристап до мемориската област откако ќе се ослободи, дереференцирање на нула покажувачи, пречекорувања на баферот итн. За да се дистрибуираат библиотеки, да се обезбедат градби и да управуваат со зависности, проектот го развива менаџерот на пакети Cargo. Репозиториумот crates.io е поддржан за хостирање библиотеки.

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

Главните иновации:

• Додадена е можност за користење „async fn“ и ознаката „->impl Trait“ во приватни карактеристики. На пример, користејќи „->impl Trait“ можете да напишете метод на особина што враќа итератор: trait Container { fn items(&self) -> impl Iterator; } impl Container for MyContainer { fn items(&self) -> impl Iterator {self.items.iter().cloned() } }

  Можете исто така да креирате карактеристики со помош на „async fn“: trait HttpService { async fn fetch(&self, url: Url) -> HtmlBody; // ќе се прошири на: // fn fetch(&self, url: Url) -> impl Future; }

• Додадено е API за пресметување на поместувања на бајти во однос на покажувачите. Кога работите со голи покажувачи („*const T“ и „*mut T“), може да бидат потребни операции за додавање на поместување на покажувачот. Претходно, за ова беше можно да се користи конструкција како „::add(1)“, додавајќи го бројот на бајти што одговараат на големината на „size_of::()“. Новиот API ја поедноставува оваа операција и овозможува манипулирање со поместувања на бајти без претходно да се префрлат типовите на „*const u8“ или „*mut u8“.
  • покажувач::byte_add
  • покажувач::byte_offset
  • покажувач::byte_offset_from
  • покажувач::byte_sub
  • покажувач::wrapping_byte_add
  • покажувач::wrapping_byte_offset
  • покажувач::wrapping_byte_sub
• Продолжена работа за зголемување на перформансите на компајлерот rustc. Додаден е оптимизатор BOLT, кој работи во фазата на пост-врска и користи информации од претходно подготвен профил за извршување. Користењето на BOLT ви овозможува да го забрзате извршувањето на компајлерот за околу 2% со менување на распоредот на кодот на библиотеката librustc_driver.so за поефикасно користење на кешот на процесорот.

  Вклучено е градење на компајлерот rustc со опцијата „-Ccodegen-units=1“ за подобрување на квалитетот на оптимизацијата во LLVM. Извршените тестови покажуваат зголемување на перформансите во случајот на изградбата „-Ccodegen-units=1“ за приближно 1.5%. Додадените оптимизации се стандардно овозможени само за платформата x86_64-unknown-linux-gnu.

  Претходно споменатите оптимизации беа тестирани од Google за да се намали времето на градење на компонентите на Android платформата напишани во Rust. Користењето на „-C codegen-units=1“ при изградбата на Андроид ни овозможи да ја намалиме големината на комплетот алатки за 5.5% и да ги зголемиме неговите перформанси за 1.8%, додека времето на градење на самиот комплет со алатки речиси двојно се зголеми.

  Овозможувањето на собирање ѓубре во време на врска („--gc-секции“) донесе зголемување на перформансите до 1.9%, овозможувајќи оптимизација за време на врска (LTO) до 7.7% и оптимизации базирани на профили (PGO) до 19.8%. Во финалето, оптимизациите беа применети со помош на алатката BOLT, што овозможи зголемување на брзината на градење на 24.7%, но големината на комплетот алатки се зголеми за 10.9%.

  

• Нов дел од API е преместен во категоријата стабилни, вклучувајќи ги и методите и имплементацијата на карактеристиките се стабилизирани:
  • Атомски*::од_ptr
  • FileTimes
  • FileTimesExt
  • Датотека::set_modified
  • Датотека::set_times
  • IpAddr::to_canonical
  • Ipv6Addr::to_canonical
  • Опција::as_slice
  • Опција::as_mut_slice
  • покажувач::byte_add
  • покажувач::byte_offset
  • покажувач::byte_offset_from
  • покажувач::byte_sub
  • покажувач::wrapping_byte_add
  • покажувач::wrapping_byte_offset
  • покажувач::wrapping_byte_sub
• Атрибутот „const“, кој ја одредува можноста да се користи во кој било контекст наместо константи, се користи во функции:
  • Ipv6Addr::to_ipv4_mapped
  • МожебиUninit::assume_init_read
  • Можеби Uninit::zeroed
  • мем::дискриминаторски
  • мем::нула
• Третото ниво на поддршка е имплементирано за платформите csky-unknown-linux-gnuabiv2hf, i586-unknown-netbsd и mipsel-unknown-netbsd. Третото ниво вклучува основна поддршка, но без автоматско тестирање, објавување официјални изданија или проверка дали кодот може да се изгради.

Дополнително, можеме да забележиме нова верзија на проектот Hermit, кој развива специјализирано јадро (unikernel), напишано на јазикот Rust, обезбедувајќи алатки за градење самостојни апликации кои можат да работат на врвот на хипервизор или гол хардвер без дополнителни слоеви и без оперативен систем. Кога е изградена, апликацијата е статички поврзана со библиотека, која независно ја имплементира целата потребна функционалност, без да биде поврзана со кернелот на ОС и системските библиотеки. Проектниот код е дистрибуиран под лиценците Apache 2.0 и MIT. Собранието е поддржано за самостојно извршување на апликации напишани во Rust, Go, Fortran, C и C++. Проектот исто така развива сопствен подигнувач кој ви овозможува да го стартувате Hermit користејќи QEMU и KVM.

Извор: opennet.ru