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-მდე. შეზღუდვები ასევე ვრცელდება libstd-ით აგებულ Rust აპლიკაციის შესრულებად ფაილებზე. RHEL 7, SLES 12-SP5 და სხვა დისტრიბუციები შეესაბამება ახალ მოთხოვნებს. Debian 8 და Ubuntu 14.04. RHEL 6-ის, SLES 11-SP4-ის მხარდაჭერა შეწყდება. Debian 7 და Ubuntu 12.04. მომხმარებლებისთვის, რომლებიც იყენებენ Rust toolchain-ით შექმნილ შესრულებად ფაილებს გარემოში, სადაც გამოყენებულია ძველი ბირთვი. Linux, თავსებადობის შესანარჩუნებლად რეკომენდებულია მათი სისტემების განახლება, კომპილატორის ძველ ვერსიებზე დარჩენა ან საკუთარი libstd ფილიალის დამოუკიდებლად შენარჩუნება შუალედური ფენებით.

  ძველი მხარდაჭერის დასრულების მიზეზებს შორის Linux-სისტემები ახსენებენ შეზღუდულ რესურსებს ძველ გარემოებთან თავსებადობის შესანარჩუნებლად. ძველი Glibc-ის მხარდაჭერა მოითხოვს ძველი ინსტრუმენტების გამოყენებას უწყვეტი ინტეგრაციის სისტემაში შემოწმებისას, LLVM-ისა და ჯვარედინი კომპილაციის ინსტრუმენტების გაზრდილი ვერსიის მოთხოვნების გათვალისწინებით. ბირთვის ვერსიის გაზრდილი მოთხოვნები განპირობებულია libstd-ში ახალი სისტემური ზარების გამოყენების შესაძლებლობით, შუამავლების შენარჩუნების საჭიროების გარეშე, ძველ ბირთვებთან თავსებადობის უზრუნველსაყოფად.

• IntoFuture მახასიათებელი სტაბილიზირებულია, რომელიც IntoIterator-ს წააგავს, მაგრამ ამ უკანასკნელისგან განსხვავდება „.await“-ის გამოყენებით „for ... in ...“ ციკლების ნაცვლად. IntoFuture-თან შერწყმისას, „.await“ საკვანძო სიტყვას შეუძლია დაელოდოს არა მხოლოდ Future მახასიათებელს, არამედ ნებისმიერ სხვა ტიპსაც, რომელთა გარდაქმნაც Future-ში შეიძლება.
• Rust-analyzer-ის პროგრამა შედის Rust-ის ვერსიებთან ერთად მოწოდებულ პროგრამულ უზრუნველყოფათა კრებულში. პროგრამა ასევე ხელმისაწვდომია ინსტალაციისთვის rustup-ის საშუალებით (rustup component add rust-analyzer).
• Cargo-ს პაკეტების მენეჯერი ახლა მხარს უჭერს სამუშაო სივრცის მემკვიდრეობას, რათა თავიდან იქნას აცილებული პაკეტებს შორის საერთო ველის მნიშვნელობების დუბლირება, როგორიცაა Rust-ის ვერსიები და საცავის URL-ები. ის ასევე ამატებს მხარდაჭერას ერთდროულად რამდენიმე სამიზნე პლატფორმისთვის შექმნისთვის ("--target" ოფცია ახლა ერთზე მეტ პარამეტრს იძლევა).
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • მომავალი::მომავალში
  • 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::ფაილის ტიპიExt::is_symlink_dir
  • os::windows::fs::ფაილის ტიპიExt::is_symlink_file
• C-თავსებადი ტიპები, რომლებიც ადრე std::ffi მოდულში იყო სტაბილიზებული, დაემატა ბირთვსა და alloc ბიბლიოთეკას:
  • ბირთვი::ffi::CStr
  • core::ffi::FromBytesWithNulError
  • alloc::ffi::CString
  • alloc::ffi::FromVecWithNulError
  • alloc::ffi::IntoStringError
  • alloc::ffi::NulError
• ძირითადი::ffi და std::ffi მოდულები განახლდა C ტიპებით, რომლებიც ადრე სტაბილიზირებული იყო std::os::raw მოდულში (მაგალითად, 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
• Poll მექანიზმთან გამოსაყენებლად დაბალი დონის დამმუშავებლები სტაბილიზირებულია (მომავალში იგეგმება გამარტივებული 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 პროგრამების კომპილაციისთვის LLVM-ის გამოყენებით აგებული rustc კომპილატორის ინსტალაციის გარეშე. ჯერჯერობით, შემუშავება გეგმის მიხედვით მიმდინარეობს და, თუ გაუთვალისწინებელი პრობლემები არ წარმოიქმნება, Rust ენის ფრონტენდი ინტეგრირებული იქნება GCC 13-ის გამოშვებაში, რომელიც დაგეგმილია მომავალი წლის მაისისთვის. GCC 13-ში Rust-ის იმპლემენტაციას ექნება ბეტა ვერსიის სტატუსი, რომელიც ჯერ ნაგულისხმევად არ არის ჩართული.

წყარო: opennet.ru