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-ზე ცვლის გამოყენებით და ამატებთ let mut x: u64 = 4; სახიფათო { asm!( "mov {tmp}, {x}", "shl {tmp}, 1", "shl {x}, 2", "add {x}, {tmp}", x = inout(reg ) 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 }; ამტკიცებს_ეკ!([1, 2, 1, 4, 5], [a, b, c, d, e]);
• უზრუნველყოფილია კონსტ გენერიკებისთვის ნაგულისხმევი მნიშვნელობების დაზუსტების შესაძლებლობა: struct ArrayStorage {arr: [T; N], } იმპლ ArrayStorage { fn new(a: T, b: T) -> ArrayStorage { ArrayStorage { arr: [a, b], } } }
• Cargo-ის პაკეტის მენეჯერი გაფრთხილებს აწვდის არასწორი სტრუქტურების გამოყენებას დამოკიდებულებებში, რომლებიც დამუშავებულია შემდგენელში არსებული შეცდომების გამო (მაგალითად, შეცდომის გამო, შეფუთული სტრუქტურების ველებს დაშვებული ჰქონდათ ნასესხები უსაფრთხო ბლოკებში). ასეთი კონსტრუქციები აღარ იქნება მხარდაჭერილი Rust-ის მომავალ ვერსიაში.
• Cargo-ს და rustc-ს აქვთ ჩაშენებული შესაძლებლობა გენერირონ შესრულებადი ფაილები, რომლებიც ამოღებულნი არიან გამართვის მონაცემებისგან (strip = "debuginfo") და სიმბოლოებისგან (strip = "symbols"), ცალკე უტილიტის გამოძახების საჭიროების გარეშე. დასუფთავების პარამეტრი ხორციელდება Cargo.toml-ში „strip“ პარამეტრის მეშვეობით: [profile.release] strip = „debuginfo“, „symbols“
• ნაგულისხმევად გამორთულია დამატებითი კომპილაცია. ამბობენ, რომ მიზეზი არის დროებითი გამოსავალი შემდგენელში არსებული ხარვეზის გამო, რომელიც იწვევს ავარიას და დესერიალიზაციის შეცდომებს. ხარვეზის გამოსწორება უკვე მომზადებულია და შემდეგ გამოშვებაში შევა. დამატებითი კომპილაციის დასაბრუნებლად შეგიძლიათ გამოიყენოთ გარემოს ცვლადი RUSTC_FORCE_INCREMENTAL=1.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • std::thread::available_parallelism
  • შედეგი:: დაკოპირებულია
  • შედეგი::კლონირებული
  • arch::ასმ!
  • arch::global_asm!
  • ops::ControlFlow::is_break
  • ops::ControlFlow::is_continue
  • TryFrom u8-ისთვის
  • char::TryFromCharError (კლონი, გამართვა, ჩვენება, PartialEq, კოპირება, Eq, შეცდომა)
  • iter::zip
  • NonZeroU8:: არის_ორი_ძალა
  • NonZeroU16:: არის_ორი_ძალა
  • NonZeroU32:: არის_ორი_ძალა
  • NonZeroU64:: არის_ორი_ძალა
  • NonZeroU128:: არის_ორი_ძალა
  • DoubleEndedIterator ToLowercase სტრუქტურისთვის
  • DoubleEndedIterator ToUppercase სტრუქტურისთვის
  • TryFrom<&mut [T]> [T; N]
  • UnwindSafe for Once სტრუქტურა
  • RefUnwindSafe ერთხელ
  • armv8 ნეონის მხარდაჭერის ფუნქციები ჩაშენებულია კომპილატორში aarch64-ისთვის
• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციებში:
  • mem::MaybeUninit::as_ptr
  • mem::MaybeUninit::assume_init
  • mem::MaybeUninit::assume_init_ref
  • ffi::CStr::from_bytes_with_nul_unuled

წყარო: opennet.ru